Sessions updated.

Browse Source

In most cases the proof in CVC4 takes one step more than before due to
the why3 string built-in type. In a few cases the proof was updated.

...

This commit is contained in:

Cláudio Belo Lourenço

2019-10-29 22:06:51 +01:00

parent 00903bb725

commit a931ddb5a5

481 changed files with 10980 additions and 10968 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

BIN

examples/decrease1/why3shapes.gz

Binary file not shown.