| #
e9664990 |
|
14-Oct-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
then should be written as >>
|
| #
7d1f4b96 |
|
14-Oct-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
missing spaces before in
|
| #
a78d98c0 |
|
14-Oct-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing trailing white spaces
|
| #
9498f6d4 |
|
14-Oct-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
tactictoe theory indepedent (loading)
|
| #
5ead18b9 |
|
07-Aug-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
tactictoe: fixed caching error
|
| #
4eb88ca6 |
|
16-Jul-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
remove trailing whitespaces
|
| #
5f6b592e |
|
20-May-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
explicit timeout during the parsing of tactical strings
|
| #
a221d22c |
|
13-May-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
remove trailing whitespaces
|
| #
93fa3b74 |
|
13-May-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
simplifying tactictoe/holyhammer/AI debugging scheme
|
| #
87e1d31e |
|
08-May-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
tactictoe search without references
|
| #
ca5889b7 |
|
26-Apr-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
starting to update TacticToe: starting to update tttSearch using algorithm in psMCTS
|
| #
3c0f945f |
|
02-Jun-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
minimized tactictoe example and longer time for reconstruction and search
|
| #
d2703720 |
|
13-Feb-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Rationalise eq fns in boolLib to have _eq suffix
Exception is Teq and Feq, which are not eq functions (binary
relations), but are actually unary predicates on terms.
|
| #
b351c993 |
|
02-Feb-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix a bunch of breakages caused by assuming term to be an eqtype
|
| #
d11bd0d1 |
|
11-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
modifying some filenames
|
| #
f3ab0deb |
|
10-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
refactoring tactictoe proof search
|
| #
ee685bd4 |
|
09-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
tactictoe/holyhammer refactoring in progress
|