8 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
Claude Marche	58f515c5d3	fix sessions	2024-02-19 08:27:06 +01:00
Jean-Christophe Filliatre	6e107d06dc	split_string example updated ... change type of limit from peano to int63	2024-01-25 21:49:21 +01:00
Jean-Christophe Filliatre	3f641ba4fd	split_string with machine arithmetic	2024-01-24 14:50:53 +01:00
Jean-Christophe Filliatre	519c9b94b2	new example: split string	2024-01-23 20:59:33 +01:00