4 Commits (f621dda0bec872d8338c7c0c8f700f63a28d0848)

Author SHA1 Message Date
Jules Villard b1841c6699 [checkers] make all models and tests use checkers
7 years ago
Jules Villard 588142c908 [checkers] enable biabduction by default + docs and logs improvements
7 years ago
Jules Villard 3ab6c43fb6 [tests] awesomize make output
8 years ago
Jules Villard 5ffd9e3a7b [tests] port gradle test to a Makefile
8 years ago