Jacques-Henri Jourdan
1b9ff7667a
Fix session timings on moloch
2023-10-23 09:18:45 +02:00
Matteo Manighetti
d31c53d53c
Move CVC4 proofs to CVC5
2023-08-28 14:31:08 +02:00
Claude Marche
e38489deed
get rid of Eprover 1.4, Alt-Ergo 0.95, CVC4-1-5 "alt"
2023-04-11 11:42:24 +02:00
Guillaume Melquiond
525321b0f2
Remove CVC4 1.0 to 1.3 from the examples.
2022-10-24 11:13:37 +02:00
Guillaume Melquiond
dada254134
Update sessions.
2020-02-11 23:47:40 +01:00
Sylvain Dailler
32d7cfe8de
Rerun all sessions to update the file formats
...
This also updates some of the "VC name" to "name'VC" that were never
updated.
2019-09-24 17:58:31 +02:00
Sylvain Dailler
1b71ca59c5
Update session and shapes
2019-05-20 17:09:01 +02:00
Claude Marche
c4366cb352
update sessions
2019-05-06 22:35:38 +02:00
Andrei Paskevich
1de56fdb50
update the shapes to v5 in regtests
...
not updated:
- stdlib/array - the proof is broken
- ring_decision/ - not replayed, proof broken
- in_progress/, util/, prover/bench/ - not replayed
2018-09-23 22:49:56 +02:00
Claude Marche
fff44850e1
fix remaining sessions
2018-09-10 12:33:10 +02:00
Guillaume Melquiond
035ba52ec4
Clean some session files.
2018-04-04 11:50:21 +02:00
Claude Marche
931cb8e974
update obsolete sessions
2017-05-19 16:44:13 +02:00
Andrei Paskevich
0f9ded381b
examples: reconstruct sessions
...
still problematic:
tests-provers/div
tests-provers/div_real
check-builtin/int
bts/fsetint
logic/bitvectors
logic/einstein
logic/genealogy
bitvectors/power2
bellman_ford
knuth_prime_numbers
vstte12_combinators
hoare_logic/blocking_semantics5
known issues:
- Timeout is not always recognized
- why3 tactic does not work: ENOENT on connect()
- temporary output files are created in the curdir
- temporary output files are sometimes not erased
- socket file is created in the curdir
2016-04-14 23:34:13 +02:00
Claude Marche
f62c3a6425
more sessions updated
2015-08-22 07:19:35 +02:00
Claude Marche
8fb416d303
updated sessions using the new combined checksum for theories
2014-09-16 08:53:47 +02:00
Andrei Paskevich
0ee272e696
update sessions
2014-09-03 17:07:36 +02:00
Claude Marche
f5fc33ec2f
updated sessions after running a full replay with forced save
2014-09-01 17:34:10 +02:00
Claude Marche
e5442abb4b
update session
2014-08-27 11:31:28 +02:00
Claude Marché
1a8008ea30
a few more simple examples and tests
2014-08-26 14:47:48 +02:00
