Claude Marche 7d669f1054 fix bench rac oracle

2025-03-26 19:31:07 +01:00

..

alt-ergo-models

Initial bulk upgrade of z3

2023-04-13 09:43:18 +00:00

bv-smtlib-realization

fix sessions

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

func_literals

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

ignore

upgrade bench scripts with CVC5 from 1.0.0 to 1.0.5, upgrade sessions

2023-07-11 15:13:50 +02:00

lemma_functions

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

partial

do not allow implicit inference of partial

2024-10-31 15:27:09 +01:00

replay

Update bench.

2024-11-13 19:04:53 +01:00

test_elim

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

test_projections

Initial bulk upgrade of z3

2023-04-13 09:43:18 +00:00

times2float

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01: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

c_extraction.mlw

Merge branch 'c_extraction_global_variables' into 'master'

2024-10-02 19:26:07 +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

ignore.mlw

support for SMTLIB's minimize command

2023-07-03 16:19:46 +00: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

partial.mlw

do not allow implicit inference of partial

2024-10-31 15:27:09 +01: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

Add meta compute_max_steps in rac.mlw to avoid

2022-11-08 15:05:09 +01:00

rac.oracle

fix bench rac oracle

2025-03-26 19:31:07 +01:00

random-test.mlw

stdlib, examples: remove redundant "import"

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

regexp-test.why

stdlib: update Regexp to use sequences

2024-03-20 18:13:00 +01: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

test_projections.mlw

Add test.

2023-01-09 09:18:55 +01:00

times2float.mlw

move basic example into tests directory

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