#
bb48c8f2 |
|
11-Aug-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing trailing whitespaces
|
#
49510e97 |
|
30-Jul-2020 |
Thibault Gauthier <email@thibaultgauthier.fr> |
tactictoe: preparsing of theorems and tactics
|
#
d959966a |
|
28-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
timeout now actually raises FunctionTimeout
|
#
64a6a953 |
|
28-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
transform captured interrupt into FunctionTimeout
|
#
4f2e2761 |
|
28-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
reverting the changes to smlTimeout as RL_Goal_manager depends on it
|
#
f0608b0b |
|
26-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
holyhammer: catching Interrupt exception raised by minimization
|
#
87f60d35 |
|
10-Jan-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
holyhammer: updating interrupt attributes
|
#
1a290820 |
|
09-Jan-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
tactictoe: timeout fix
|
#
835aaa47 |
|
09-Jan-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
timeout function: tests
|
#
f5dcd151 |
|
09-Jan-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
trailing whitespaces
|
#
ef63a0bc |
|
09-Jan-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
tactictoe: leave a small time before killing thread (fixes recording)
|
#
920a1eaa |
|
10-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
refactored tactictoe: successfully running on the core libraries
|
#
af21a515 |
|
10-Nov-2018 |
thibault <thibault_gauthier@hotmail.fr> |
tactictoe: loads now after refactoring
|
#
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
|