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

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

..

compiler

Upgrade sessions to use Alt-Ergo 2.6.0

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

imp

Upgrade sessions to use Alt-Ergo 2.6.0

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

logic

Upgrade sessions to use Alt-Ergo 2.6.0

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

specs

Upgrade sessions to use Alt-Ergo 2.6.0

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

state

Add a initial comment in shapes files

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

vm

Upgrade sessions to use Alt-Ergo 2.6.0

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

compiler.mlw

stdlib, examples: remove redundant "import"

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

imp.why

stdlib, examples: remove redundant "import"

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

logic.mlw

stdlib, examples: remove redundant "import"

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

specs.mlw

stdlib, examples: remove redundant "import"

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

state.why

example double-wp: use strong invariant instead of correctness predicates

2017-06-07 18:13:39 +02:00

vm.mlw

stdlib, examples: remove redundant "import"

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