- Dec 12, 2013
-
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
Currently runs global constructors (priority ordering and destructors to be done) and calls exit() with main's return value.
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
- Dec 11, 2013
-
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
- Dec 10, 2013
-
-
Petr Rockai authored
-
- Dec 09, 2013
-
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
- Dec 08, 2013
-
-
Petr Rockai authored
-
Vladimír Štill authored
Use --simulate-counterexample option.
-
Vladimír Štill authored
Simulate is now able to interactively handle CE traces from other algorithms. New features: - trace can be read from meta - it is shown if vertex is in CE, if it is accepting - CE can be followed one step, multiple steps or to the end - it is possible to print remaining CE
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-