Matteo Manighetti dabd0d669c Merge attemp

2023-05-17 11:15:20 +02:00

..

array

Initial bulk upgrade of z3

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

bintree

update sessions, including prover upgrade Alt-Ergo 2.0.0 -> 2.1.0 when possible

2023-04-05 13:48:22 +02:00

byte_string

Add "remove_unused:dependency" to int.ComputerDivision

2022-09-21 20:15:46 +00:00

for_drivers

Simplify euclidean to computer division

2020-03-02 12:29:07 +01:00

list

fix sessions

2023-04-09 18:33:02 +02:00

mach/c

Initial bulk upgrade of z3

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

pigeon

upgrade proofs with Z3 4.6.0 to 4.7.1

2023-04-07 09:37:36 +00:00

pqueue

Initial bulk upgrade of z3

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

stringCheck

fix sessions

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

tagset

separate transformations for intros, dequant, and remove_unused

2023-04-25 12:20:08 +00:00

witness

separate transformations for intros, dequant, and remove_unused

2023-04-25 12:20:08 +00:00

stringCheck.mlw

String theory: change [] to s_at (at is a why3 reserved keyword)

2020-01-24 15:43:50 +01:00