Claude Marche db96723fd9 fix sessions

2022-07-07 15:49:23 +02:00

..

BacktrackArray

fix sessions

2022-07-07 15:49:23 +02:00

bench

…

Choice

Add a initial comment in shapes files

2021-08-25 10:49:04 +00:00

Firstorder_formula_impl

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_formula_list_impl

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_formula_list_spec

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_formula_spec

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_semantics

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_symbol_impl

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_symbol_spec

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_tableau_impl

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_tableau_spec

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_term_impl

fix sessions

2022-07-07 15:49:23 +02:00

Firstorder_term_spec

fix sessions

2022-07-07 15:49:23 +02:00

FormulaTransformations

fix sessions

2022-07-07 15:49:23 +02:00

Functions

fix sessions

2021-09-03 11:59:11 +02:00

ISet

fix sessions

2022-07-07 15:49:23 +02:00

macro_generator

…

Nat

fix sessions

2022-07-07 15:49:23 +02:00

OptionFuncs

fix sessions

2021-09-03 11:59:11 +02:00

Predicates

fix sessions

2021-09-03 11:59:11 +02:00

Prover

fix sessions

2022-07-07 15:49:23 +02:00

ProverMain

fix sessions

2022-07-07 15:49:23 +02:00

ProverTest

fix sessions

2022-07-07 15:49:23 +02:00

Sum

Add a initial comment in shapes files

2021-08-25 10:49:04 +00:00

Unification

fix sessions

2022-07-07 15:49:23 +02:00

BacktrackArray.mlw

…

bench2.sh

…

bench.sh

…

Choice.mlw

…

drinker.p

…

Firstorder_formula_impl.mlw

…

Firstorder_formula_list_impl.mlw

…

Firstorder_formula_list_spec.mlw

…

Firstorder_formula_spec.mlw

…

Firstorder_semantics.mlw

…

Firstorder_symbol_impl.mlw

…

Firstorder_symbol_spec.mlw

…

Firstorder_tableau_impl.mlw

…

Firstorder_tableau_spec.mlw

…

Firstorder_term_impl.mlw

…

Firstorder_term_spec.mlw

…

FormulaTransformations.mlw

…

Functions.mlw

Repair discriminate2

2021-04-08 12:26:07 +00:00

ISet.mlw

Repair discriminate2

2021-04-08 12:26:07 +00:00

Makefile

Tentatively fix nightly bench.

2020-03-29 13:16:56 +02:00

Nat.mlw

…

OptionFuncs.mlw

…

Predicates.mlw

…

Prover.mlw

…

ProverMain.mlw

…

ProverTest.mlw

…

run.ml

fix extraction of examples/prover

2019-10-25 10:27:02 +02:00

Sum.mlw

…

test_binders.p

…

Unification.mlw

…