6 Commits

Author SHA1 Message Date
Matteo Manighetti
7ae65be566 Upgrade sessions to use Alt-Ergo 2.6.0 2025-01-14 19:48:35 +01:00
Claude Marche
2e1d53f51b fix sessions and CE oracles 2024-11-14 14:48:30 +01:00
MARCHE Claude
4d04b4f698 add metas for unused-dependencies on sequences
also fix split_full that was losing metas for unused dependency
2024-10-29 16:12:46 +01:00
MARCHE Claude
9161acda8e Add metas for unused dependencies in generated axioms 2024-10-25 18:34:29 +02:00
Jean-Christophe Filliatre
8a0c430844 cleaning up 2023-12-14 20:01:43 +01:00
Jean-Christophe Filliatre
22c5e19a7b new example: search algorithms 2023-11-29 21:54:55 +01:00