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

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

..

main.ml

split_string: extraction to OCaml

2024-01-24 19:52:46 +01:00

Makefile

Switch to zarith (fix #298).

2024-11-08 22:05:42 +01:00

split_string.drv

split_string: extraction to OCaml

2024-01-24 19:52:46 +01:00

why3session.xml

Upgrade sessions to use Alt-Ergo 2.6.0

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

why3shapes.gz

fix sessions and CE oracles

2024-11-14 14:48:30 +01:00