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

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

..

proofs

Upgrade sessions to use Alt-Ergo 2.6.0

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

abstract_heap.mlw

stdlib, examples: remove redundant "import"

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

bag_of_integers.why

stdlib, examples: remove redundant "import"

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

elements.why

stdlib, examples: remove redundant "import"

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

heap_implem.mlw

stdlib, examples: remove redundant "import"

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

heap_model.why

stdlib, examples: remove redundant "import"

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

heap.why

no more libraries appmap and impmap

2020-02-11 17:56:34 +01:00

heapsort.mlw

Matrix: add the pure "update" function for applicative updates

2018-07-02 17:15:42 +02:00

test_harness.mlw

stdlib, examples: remove redundant "import"

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