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

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

..

bitvector

unused dependencies on Euclidean div/mod

2024-10-23 15:10:58 +02:00

double

Upgrade sessions to use Alt-Ergo 2.6.0

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

double_of_int

Upgrade sessions to use Alt-Ergo 2.6.0

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

neg_as_xor

Upgrade sessions to use Alt-Ergo 2.6.0

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

power2

Upgrade sessions to use Alt-Ergo 2.6.0

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

bitvector.why

stdlib, examples: remove redundant "import"

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

double_of_int.why

stdlib, examples: remove redundant "import"

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

double.why

stdlib, examples: remove redundant "import"

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

neg_as_xor.why

stdlib, examples: remove redundant "import"

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

power2.why

stdlib, examples: remove redundant "import"

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