Search results

Automatically deduce ConstraintSymbolT in search

Status: Open.

#104 In morxa/tacos;

· morxa opened on Jul 27, 2021

Consider using Rationals for clock valuations

Status: Open.

#90 In morxa/tacos;

· morxa opened on May 11, 2021

Hard-coded symbol type std::string in automata

Status: Open.

#40 In morxa/tacos;

· morxa opened on Feb 19, 2021

Move ostream operators into separate files

Status: Open.

#36 In morxa/tacos;

· morxa opened on Feb 9, 2021

Merge all maxed partitions when computing time successor

Status: Open.

#35 In morxa/tacos;

· morxa opened on Feb 9, 2021

Separate words into vectors of tuples

Status: Open.

#33 In morxa/tacos;

· modass opened on Feb 8, 2021

Allow for clock-dependent K-constant

enhancementNew feature or requestNew feature or request

Status: Open.

#31 In morxa/tacos;

· modass opened on Feb 1, 2021

Add function to determine the constant K from TA

Status: Open.

#30 In morxa/tacos;

· modass opened on Feb 1, 2021

Give Clock a name and use Clock consistently

Status: Open.

#24 In morxa/tacos;

· morxa opened on Jan 8, 2021