ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
why3/examples/prover
History
Claude Marche 1558726fcb proper renaming of E prover 2.6
2025-12-11 13:58:58 +01:00
..
BacktrackArray
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Choice
Add a initial comment in shapes files
2021-08-25 10:49:04 +00:00
Firstorder_formula_impl
fis sessions
2024-11-16 09:41:34 +01:00
Firstorder_formula_list_impl
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_formula_list_spec
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_formula_spec
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_semantics
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_symbol_impl
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_symbol_spec
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_tableau_impl
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_tableau_spec
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_term_impl
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Firstorder_term_spec
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
FormulaTransformations
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Functions
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
ISet
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
macro_generator
porting example prover, in progress
2018-05-15 10:58:35 +02:00
Nat
proper renaming of E prover 2.6
2025-12-11 13:58:58 +01:00
OptionFuncs
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Predicates
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Prover
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
ProverMain
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
ProverTest
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
Sum
Add a initial comment in shapes files
2021-08-25 10:49:04 +00:00
Unification
Upgrade sessions to use Alt-Ergo 2.6.0
2025-01-14 19:48:35 +01:00
BacktrackArray.mlw
Ity: in cty, remove writes which are invalidated by resets
2019-01-18 18:26:34 +01:00
Choice.mlw
WhyML: "use/clone T" imports by default (in absence of "as")
2018-06-15 16:45:58 +02:00
Firstorder_formula_impl.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_formula_list_impl.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_formula_list_spec.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_formula_spec.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_semantics.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_symbol_impl.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_symbol_spec.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_tableau_impl.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_tableau_spec.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_term_impl.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Firstorder_term_spec.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
FormulaTransformations.mlw
Fix occurrences of "occurences".
2023-11-23 19:04:11 +01:00
Functions.mlw
Repair discriminate2
2021-04-08 12:26:07 +00:00
ISet.mlw
Repair discriminate2
2021-04-08 12:26:07 +00:00
Makefile
Switch to zarith (fix #298).
2024-11-08 22:05:42 +01:00
Nat.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
OptionFuncs.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Predicates.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
Prover.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
ProverMain.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
ProverTest.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00
run.ml
Fix compilation of examples/prover and add it to the bench.
2023-03-22 11:26:55 +01:00
Sum.mlw
move example Prover into the nightly bench
2017-11-27 14:55:35 +01:00
Unification.mlw
stdlib, examples: remove redundant "import"
2018-06-15 16:45:58 +02:00