- Jan 08, 2019
-
-
Gijs van Cuyck authored
-
Gijs van Cuyck authored
filtered out all machines with just one state as they are irrelevant and gave weird results for some other filters
-
- Jan 05, 2019
-
-
Gijs van Cuyck authored
-
Gijs van Cuyck authored
added more command line options. created analysis code for analyzing the results and stats gathered by the main algorithm.
-
- Nov 30, 2018
-
-
Gijs van Cuyck authored
this was required because running compare results on the entire benchmark set generates gigabytes of data.
-
- Nov 28, 2018
-
-
Gijs van Cuyck authored
line option to use it in addition to the regular code and compare the results. the results of the comparison get added to a different file that can be changed through command line options.
-
- Nov 27, 2018
-
-
Gijs van Cuyck authored
wrapped all the hybrid ads code in the hybrid namespace and all the complete ads code in the complete namespace to prevent ambiguity and unintended interactions. added an extra command line option to calculate a test suite using both sets of code and then compare the results. WIP.
-
- Nov 20, 2018
-
-
Gijs van Cuyck authored
separating family as state identifiers. No testing has been done as of yet.
-
- Nov 07, 2018
-
-
Gijs van Cuyck authored
-
Gijs van Cuyck authored
created readme for batch file. added benchmark folder for use with batch file. created 1 extra benchmark.
-
Gijs van Cuyck authored
static linking introduced errors on some pc's, so i included a dll file in the bin directory instead.
-
- Nov 04, 2018
-
-
Gijs van Cuyck authored
This removes support for machine definitions that aren't fully reachable.
-
- Nov 03, 2018
-
-
Gijs van Cuyck authored
removed finished todos. removed unused code. created batch script to run the algorithm on a set of files sequentialy.
-
- Oct 31, 2018
-
-
Gijs van Cuyck authored
-
- Oct 30, 2018
-
-
Gijs van Cuyck authored
-
- Oct 29, 2018
-
-
Gijs van Cuyck authored
-
Gijs van Cuyck authored
-
Gijs van Cuyck authored
created test method for checking validity of separating_family. removed a bunch of old, unneeded code.
-
- Oct 26, 2018
-
-
Gijs van Cuyck authored
-
- Oct 25, 2018
-
-
Gijs van Cuyck authored
results still very buggy. further testing needed before use.
-
- Oct 21, 2018
-
-
Gijs van Cuyck authored
-
- Oct 20, 2018
-
-
Gijs van Cuyck authored
algorithm. changed the old algorithm to the point where it can do everything it used to do with the new datatypes.
-
- Oct 18, 2018
-
-
Gijs van Cuyck authored
instead of the internal integer labels. Created a way to print the readable splitting tree to a file in an organized way to compare it with expected results.
-
- Oct 14, 2018
-
-
Gijs van Cuyck authored
-
Gijs van Cuyck authored
-
Gijs van Cuyck authored
-