#
6654a228 |
|
14-Nov-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing trailing whitespaces
|
#
76950a3c |
|
14-Nov-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
fix threads used in training neural networks
|
#
c52dd1dd |
|
11-Nov-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
writing argument of each parallel call independently
|
#
9580e9e7 |
|
09-Nov-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing global reference from smlParallel
|
#
59e0074a |
|
25-Jul-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing unused parallel functions + parallel eprover evaluation
|
#
fa604bf5 |
|
25-Jul-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
remove trailing whitespaces
|
#
d9a39fc6 |
|
25-Jul-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
before removing external parallelism training failed experiment
|
#
e6922732 |
|
18-Jul-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
batch external parallelization
|
#
9c884537 |
|
14-Jul-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
nicer external parallelism interface
|
#
1ac7ba04 |
|
28-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing trailing whitespaces
|
#
d2a2dbe2 |
|
25-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
better constraints on external parallelization
|
#
aeb7bc97 |
|
25-May-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
removing trailing whitespaces + fix cache errors in term generation
|
#
82f0647c |
|
28-Apr-2019 |
Thibault Gauthier <email@thibaultgauthier.fr> |
making generic external parallel calls (wip)
|