Loïc Correnson e2afddb11d Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

..

compiler

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

imp

Resolve "Remove axioms in Z3 and CVC4 drivers"

2023-09-01 15:47:33 +00:00

logic

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

specs

Resolve "Add injectivity for type invariant"

2024-01-31 13:02:13 +00:00

state

Add a initial comment in shapes files

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

vm

Resolve "Remove axioms in Z3 and CVC4 drivers"

2023-09-01 15:47:33 +00: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