MARCHE Claude 133497c0d9 some metas may need to be kept when at least one of their args is used

2023-05-05 18:55:50 +00:00

..

check-ce

some metas may need to be kept when at least one of their args is used

2023-05-05 18:55:50 +00:00

encoding

Discriminate algebraic types.

2023-01-31 01:46:10 +01:00

extraction

[Extract] Add example for extraction error

2022-11-24 17:14:27 +01:00

ide

ide-bench: update cursor position in bench

2019-10-01 14:59:29 +02:00

infer

improved efficiency of BDD-infer

2023-04-28 09:58:02 +02:00

interp

attempt to fix MPFR error in execution tests on reals

2022-04-20 08:57:59 +02:00

invalid

Parser: emit a warning on redundant "import"

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

memlimit

Delete unused test file for memlimit

2022-05-23 10:51:59 +02:00

parsing/bad

Cause parsing-bench to properly error out and add missing oracles.

2021-02-02 14:22:34 +01:00

plugins

Add regression test

2023-04-25 11:57:38 +02:00

programs

Forbid using different names for constructors, fields, and (co)inductive cases

2023-01-26 14:20:10 +01:00

replay

Initial bulk upgrade of z3

2023-04-13 09:43:18 +00:00

steplimit

Fix regexps for detection of step limit reached

2021-04-19 09:46:34 +00:00

typing

Forbid using different names for constructors, fields, and (co)inductive cases

2023-01-26 14:20:10 +01:00

valid

[Bench] mccarty f19_pseudorec is not proved

2018-06-27 23:11:41 +02:00

bddinfer-bench

move oracles in a separate subdir

2022-07-19 16:41:36 +02:00

bench

do not call git in bench script, use another file for RAC oracle

2023-04-12 13:36:59 +02:00

ce-stats.py

Update and document script to extract CE statistics

2023-02-14 16:31:30 +01:00

check_realizations.sh

Use a single Isabelle driver for realizations.

2021-06-29 07:27:35 +02:00

check-ce-bench

smtv2-model-parser: improve conversion from sort to ty

2023-04-25 09:21:34 +02:00

copy_oracles.sh

Only one script for CE bench

2022-10-20 16:48:13 +02:00

ide-bench

Use the dispatch executable for testing.

2020-10-21 16:04:06 +02:00

infer-bench

move oracles in a separate subdir

2022-07-19 16:41:36 +02:00

parsing-bench

Cause parsing-bench to properly error out and add missing oracles.

2021-02-02 14:22:34 +01:00

test_mlw_printer

Remove the warning for not modified variables used under old with an attribute

2022-02-17 16:44:02 +01:00

true_goal.why

encoding_decorate : ajout de goal, mono, inst mais assert false sur eux

2010-06-15 16:34:44 +00:00