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

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

..

main.ml

stdlib: update Regexp to use sequences

2024-03-20 18:13:00 +01:00

Makefile

Switch to zarith (fix #298).

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

residual.drv

stdlib: update Regexp to use sequences

2024-03-20 18:13:00 +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