Loïc Correnson e2afddb11d Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

..

array

Fix sessions for nightly bench.

2023-10-22 15:49:03 +02:00

bintree

Resolve "Remove axioms in Z3 and CVC4 drivers"

2023-09-01 15:47:33 +00:00

byte_string

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

list

Remove axiom CompatOrderMult from Int theory of CVCx and Z3 drivers.

2023-09-07 18:05:01 +00:00

mach/c

Initial bulk upgrade of z3

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

pigeon

Resolve "Remove axioms in Z3 and CVC4 drivers"

2023-09-01 15:47:33 +00:00

pqueue

Fix sessions for nightly bench.

2023-10-22 15:49:03 +02:00

stringCheck

Fix session timings on moloch

2023-10-23 09:18:45 +02:00

tagset

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

ufloat

Forward propagation of rounding errors

2024-01-18 10:31:14 +00:00

witness

Resolve "Remove axioms in Z3 and CVC4 drivers"

2023-09-01 15:47:33 +00:00

stringCheck.mlw

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

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