Matteo Manighetti 7ae65be566 Upgrade sessions to use Alt-Ergo 2.6.0

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

…

alt-ergo-models.why

…

array-test.mlw

…

bitvector-test.why

…

bv-smtlib-realization.why

…

c_extraction.mlw

Merge branch 'c_extraction_global_variables' into 'master'

2024-10-02 19:26:07 +02:00

execute-tests.mlw

…

func_literals.mlw

…

hashtbl-test.mlw

…

ignore.mlw

support for SMTLIB's minimize command

2023-07-03 16:19:46 +00:00

int32-test.mlw

…

lemma_functions.mlw

…

matrix-test.mlw

…

partial.mlw

do not allow implicit inference of partial

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

pqueue-test.mlw

…

queue-test.mlw

…

rac.mlw

Add meta compute_max_steps in rac.mlw to avoid

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

rac.oracle

fix realizations

2024-11-13 19:10:42 +01:00

random-test.mlw

…

regexp-test.why

stdlib: update Regexp to use sequences

2024-03-20 18:13:00 +01:00

replay.mlw

…

stack-test.mlw

…

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

…