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
26.1
why3/tests
History
Guillaume Melquiond 35601b77e7 Switch to zarith (fix #298).
2024-11-08 22:05:42 +01:00
..
add_list
simple examples and tests
2014-08-26 14:26:55 +02:00
computation
updated sessions
2014-06-22 07:45:09 +02:00
demo-itp
fix sessions
2021-06-25 10:26:57 +02:00
example-add
removed deprecated transformations split_*_wp
2018-05-14 13:41:40 +02:00
infer
remove redundant tests
2020-08-31 15:01:30 +02:00
jessie
meilleur version : prouvé dans why2 par simplify (<1s) Z3 (monoinst) et alt-ergo sauf la po5 en moins de 100s
2010-05-12 10:45:37 +00:00
label
removed deprecated transformations split_*_wp
2018-05-14 13:41:40 +02:00
old
simple examples and tests
2014-08-26 14:26:55 +02:00
PGCD
fix sessions
2021-06-25 10:26:57 +02:00
test_args_parsing
Trying to catch errors for transformations with arguments. It raises
2017-06-29 12:38:56 +02:00
test_compute
fix sessions
2021-06-25 10:26:57 +02:00
test_itp
fix sessions
2021-06-25 10:26:57 +02:00
test_merge
fix sessions
2021-06-25 10:26:57 +02:00
test_smoke
fix sessions
2021-06-25 10:26:57 +02:00
test-ind
a few tests
2012-10-20 07:59:52 +02:00
test-settheory
rename 0.95-dev to 0.95 in the proof sessions
2013-01-15 13:35:32 +01:00
test-shape
simple examples and tests
2014-08-26 14:26:55 +02:00
test-smoke-detector
Add a test for smoke detector
2012-01-18 13:56:34 -06:00
add_list.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
array_eq.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
bug-transf.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
computation.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
course2.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
demo-itp.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
dubious_axioms.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
example-add.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
extract_ghost.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
label.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
multiassign.mlw
example of multiple assignment
2017-03-29 14:10:27 +02:00
my_cosine.c
new debug flag print_locs to display source locations
2011-09-10 15:08:41 +02:00
my_cosine.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
old.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
PGCD.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
SimpleDBPath.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
SimpleDBPathSansListes.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
sort++.py
moved micro-C/Python examples from tests/ to examples/
2021-02-05 20:01:48 +01:00
sum_list00.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_args_parsing.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_argument.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_argument.whyitp
Adding rewrite. To be tested.
2016-11-03 10:20:36 +01:00
test_compute.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_exec.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_foreach.mlw
Apply suggestion to tests/test_foreach.mlw
2020-02-11 11:59:57 +01:00
test_ghost.mlw
added and ignored files
2014-04-26 07:45:58 +02:00
test_itp.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_loc.why
a few more simple examples and tests
2014-08-26 14:47:48 +02:00
test_merge.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_ne.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_range.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_rewrite.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test_smoke.mlw
Ressurect 'smoke detection' feature of why3replay
2018-06-18 14:16:45 +02:00
test_theory_expl.why
Cleaning, add a few tests in the repository
2015-08-20 17:45:09 +02:00
test_tptp.ml
Switch to zarith (fix #298).
2024-11-08 22:05:42 +01:00
test-and.why
a new splitting for match-with: experimental, untested, and unused
2013-02-12 19:18:44 +01:00
test-bobot.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-claude.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-claude.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-div-cvc3.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-eval.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-gappa2.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-ghost.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-ind.why
a few tests
2012-10-20 07:59:52 +02:00
test-literals.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-match.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-poly.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-polyrec.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-settheory.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-shape.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-smoke-detector.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test-zenon.why
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
test.py
micro-Python: added by and so connectives
2022-11-14 14:40:52 +01:00
tests-boolean.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00
tests-uint32.mlw
Parser: emit a warning on redundant "import"
2018-06-15 17:08:09 +02:00