why3/tests at 23.0 - why3

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

prover can now parse TPTP files (but still cannot run on them...)

2015-08-27 11:27:54 +02: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

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