Claude Marche c8614700f3 Reimplement the transf in two phases and tail recursive functions

2022-07-07 12:24:42 +02:00

..

alt-ergo-models

removed usage of theory checksum (see issue #81)

2018-02-05 15:30:53 +01:00

bv-smtlib-realization

fix sessions

2021-06-25 10:26:57 +02:00

func_literals

fix sessions

2021-06-25 10:26:57 +02:00

lemma_functions

fix sessions

2021-06-25 10:26:57 +02:00

replay

Reimplement the transf in two phases and tail recursive functions

2022-07-07 12:24:42 +02:00

test_elim

Reimplement the transf in two phases and tail recursive functions

2022-07-07 12:24:42 +02:00

times2float

fix sessions

2021-06-25 10:26:57 +02:00

alt-ergo-models.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

alt-ergo-models.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

array-test.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

bitvector-test.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

bv-smtlib-realization.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

execute-tests.mlw

fix pinterp output and update benchs

2020-06-25 09:27:21 +02:00

func_literals.mlw

function literals examples

2020-11-13 10:04:04 +01:00

hashtbl-test.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

int32-test.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

lemma_functions.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

matrix-test.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

pqueue-test.mlw

library: several changes in pqueue

2019-07-02 17:07:21 +02:00

queue-test.mlw

updated proof sessions

2019-06-05 17:55:47 +02:00

rac.mlw

Fix type instantiation in execution of variant constructors

2021-05-16 21:54:37 +02:00

rac.out

Resolve "wish: use a multi-line format for source locations"

2022-06-22 18:17:43 +00:00

random-test.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

regexp-test.why

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

replay.mlw

avoid warning "axiom does not contains abstract local symbols"

2020-08-26 10:33:54 +02:00

stack-test.mlw

stdlib, examples: remove redundant "import"

2018-06-15 16:45:58 +02:00

test_elim.mlw

more dependency metas

2022-06-02 09:44:06 +02:00

times2float.mlw

move basic example into tests directory

2020-08-25 13:34:56 +02:00