- Aug 17, 2020
-
- Jul 10, 2020
-
-
erwan authored
also, start the first step at 0 instead of 1. Otherwise, with -cd, we get more steps than moves. Indeed, the first step is not really a step; it just contain the initial state values.
- Jun 25, 2020
- Jun 23, 2020
-
-
erwan authored
- Jun 09, 2020
- May 12, 2020
- May 11, 2020
- Apr 27, 2020
- Apr 10, 2020
-
-
erwan authored
+ oracle enhancements in test/coloring
- Apr 06, 2020
- Mar 18, 2020
-
-
erwan authored
-
- Mar 17, 2020
-
-
erwan authored
-
- Mar 14, 2020
-
- Mar 13, 2020