| #
4778f606 |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete trailing whitespace in src/
|
| #
3b740aa3 |
|
23-May-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: abstracting + exporting theorem values for list of theorems
|
| #
f879a99b |
|
27-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: always timing out parsing of tactics + parsing during proof search
|
| #
1f518758 |
|
26-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
Tactictoe: training + search time and tactic time as flags
|
| #
b2e49acd |
|
23-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: including abstraction during recording
|
| #
1e6d0852 |
|
22-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: changing how flags work + starting decomposition into recording/training/evaluation.
|
| #
2b238455 |
|
07-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
remove trailing white spaces
|
| #
42f7f51e |
|
06-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: improved recording mechanism re-using existing Holmakefiles
|
| #
541b720d |
|
01-Mar-2018 |
Thibault Gauthier <thibault.gauthier@uibk.ac.at> |
tactictoe: renaming hhs prefix to ttt (rebuild necessary)
|