Benjamin Jorge 763b4f7f75 Expose bug

2025-03-13 15:53:52 +01:00

..

split_vc

Expose bug

2025-03-13 15:53:52 +01:00

booleans.mlw

programs: lazy operators

2010-06-24 12:28:19 +00:00

complex_arg_1.mlw

programs: more benchmarks

2010-06-03 13:39:52 +00:00

complex_arg_2.mlw

programs: more benchmarks

2010-06-03 13:39:52 +00:00

division.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

exns.mlw

bench: valid goals in bench/valid/ (a non-deterministic bug may occur)

2010-06-01 14:43:15 +00:00

for.mlw

the tests for the 'for' loop are included in the set of tests for valid VCs

2010-10-26 16:43:20 +00:00

list.mlw

programs: wp for match/with

2010-07-06 15:26:58 +00:00

loops.mlw

programs: new bench loops.mlw

2010-06-10 09:30:53 +00:00

misfix.why

several changes in syntax

2011-06-29 19:13:18 +02:00

numbers.why

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

oldify.mlw

programs: more benchmarks

2010-06-03 13:39:52 +00:00

poly.mlw

programs: more benchmarks

2010-06-03 13:39:52 +00:00

recfun.mlw

programs: recursive functions

2010-06-24 12:55:12 +00:00

see.mlw

programs: more benchmarks

2010-06-03 13:39:52 +00:00

set.mlw

programs: more tests

2010-06-24 13:01:11 +00:00

type_invariant.mlw

Parser: emit a warning on redundant "import"

2018-06-15 17:08:09 +02:00

wpcalls.mlw

programs: new bench; WP for loop (in progress)

2010-06-03 14:24:12 +00:00