- Apr 17, 2019
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- Apr 16, 2019
-
-
Hans-Peter Deifel authored
This makes it more obvious what one would have to do to reproduce the results: First generate the input files, then run CoPaR on it.
-
- Apr 12, 2019
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- Apr 11, 2019
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- Apr 10, 2019
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- Apr 09, 2019
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
Same rationale as for the `run` command
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This divides the time to bisect by five.
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
This just multiplies `--out-degree` with `--states` to compute the transitions parameter and thus makes it easier to execute the `run` command with the same parameters as `bisect`
-
- Apr 08, 2019
-
-
Hans-Peter Deifel authored
This still passes --transitions to the generator but calculates the number of transitions based on the number of states and a desired number of edges per state.
-
Hans-Peter Deifel authored
It doesn't make much sense for powerset, so now it's possible to omit it.
-
Hans-Peter Deifel authored
This allows to call the generator not only with --zero-frequency, but also with --transitions.
-
Hans-Peter Deifel authored
-
- Apr 03, 2019
-
-
Hans-Peter Deifel authored
-
Hans-Peter Deifel authored
-
- Mar 27, 2019
-
-
Hans-Peter Deifel authored
-