- Dec 11, 2013
-
-
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
-
Vladimír Štill authored
(I have no idea where it come from, but it breaks win builds.)
-
- Dec 07, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
(to fix comptilation on windows/mingw)
-
Vladimír Štill authored
To overcome bug in mingw/gcc 4.7 on windows http://stackoverflow.com/questions/12975341/to-string-is-not-a-member-of-std-says-so-g
-
Vladimír Štill authored
-
Vladimír Štill authored
(Windows does not define asm/byteorder.h)
-
Vladimír Štill authored
-
- Dec 06, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 30, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 29, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 20, 2013
-
-
Vladimír Štill authored
-
Vladimír Štill authored
-
- Nov 29, 2013
-
-
Vladimír Štill authored
There was an error compiling compile.cpp.
-
Vladimír Štill authored
To get copy constructor and assignment operator.
-
Petr Rockai authored
-
- Nov 27, 2013
-
-
Petr Rockai authored
-
- Nov 26, 2013
-
-
Petr Rockai authored
-
Petr Rockai authored
-
Petr Rockai authored
-