History log of /seL4-l4v-master/HOL4/examples/AI_tasks/mleCombinProve.sml
Revision Date Author Comments
# 77e1dfbd 03-Mar-2020 Thibault Gauthier <email@thibaultgauthier.fr>

code for processing results
# bcd916d1 21-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

complete README + update build sequence
# 75ecbffc 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

remove trailing white spaces
# 0cc0b07d 20-Feb-2020 Thibault Gauthier <email@thibaultgauthier.fr>

verification of the solutions