| #
7cd3f80f |
|
21-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: reverting to e94 commit + adding semicolon fix (untested)
|
| #
49f2af67 |
|
21-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: fixing special case for bool + automatically saving generated scripts for debugging
|
| #
1cf23e83 |
|
21-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: different name for its theory
|
| #
2b238455 |
|
07-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
remove trailing white spaces
|
| #
541b720d |
|
01-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: renaming hhs prefix to ttt (rebuild necessary)
|