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

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

..

avl

Upgrade sessions to use Alt-Ergo 2.6.0

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

key_type

Add a initial comment in shapes files

2021-08-25 10:49:04 +00:00

monoid

Upgrade sessions to use Alt-Ergo 2.6.0

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

preorder

Upgrade sessions to use Alt-Ergo 2.6.0

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

priority_queue

Upgrade sessions to use Alt-Ergo 2.6.0

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

ral

Upgrade sessions to use Alt-Ergo 2.6.0

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

tables

Upgrade sessions to use Alt-Ergo 2.6.0

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

avl.mlw

Fix documentation.

2022-04-29 15:53:59 +02:00

key_type.mlw

examples/avl: portage vers le nouveau système

2017-05-19 11:01:13 +02:00

monoid.mlw

Fix documentation.

2023-03-07 12:37:43 +01:00

preorder.mlw

stdlib, examples: remove redundant "import"

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

priority_queue.mlw

Fix occurrences of "occurences".

2023-11-23 19:04:11 +01:00

ral.mlw

Resolution of the issue #384: now, results and parameters can't have the same names.

2019-11-12 10:12:37 +01:00

tables.mlw

Generalization of check_unused_vars to logic and program decl

2019-08-20 15:48:44 +02:00