History log of /seL4-l4v-master/HOL4/src/AI/machine_learning/mlNearestNeighbor.sig
Revision Date Author Comments
# 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)


# 4eb88ca6 16-Jul-2020 Thibault Gauthier <email@thibaultgauthier.fr>

remove trailing whitespaces


# ab8c288a 13-Jul-2020 Thibault Gauthier <email@thibaultgauthier.fr>

removing tactic term


# fbac46de 23-Jun-2020 Thibault Gauthier <email@thibaultgauthier.fr>

exporting examples for the policy network + reordering tactic during search according to the policy network


# bbc44797 09-Jun-2020 Thibault Gauthier <email@thibaultgauthier.fr>

timers for profiling nearest neighbor predictor


# 95c05a75 21-May-2020 Thibault Gauthier <email@thibaultgauthier.fr>

removing thmlintac and ttt_exl + updating thmdata and tacdata


# da69fb5f 20-Oct-2019 Thibault Gauthier <email@thibaultgauthier.fr>

AI directory: removing trailing whitespaces


# 64f57357 07-Oct-2019 Thibault Gauthier <email@thibaultgauthier.fr>

final test for RL rewrite experiment


# 84c9e91d 27-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

minor


# db55972c 11-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

benchmark functions for holyhammer and tactictoe


# f3ab0deb 10-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

refactoring tactictoe proof search


# 4257dcbc 10-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

finalize holyhammer refactoring, continuing with tactictoe


# ee685bd4 09-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

tactictoe/holyhammer refactoring in progress


# 0733c652 08-Nov-2018 thibault <thibault_gauthier@hotmail.fr>

refactoring tactictoe/holyhammer (wip)