| fix elimination of constants. |
|
More...
|
about 3 years ago
|
| more dependency metas |
|
More...
|
about 3 years ago
|
| Use the new meta for eliminating int.abs when not needed |
|
More...
|
about 3 years ago
|
| Merge branch 'master' into eliminate_unused_symbols |
|
More...
|
about 3 years ago
|
| add specific meta for dependencies |
|
More...
|
about 3 years ago
|
| Merge branch '654-why3-should-not-save-files-loaded-via-spans' into 'master' |
|
More...
|
about 3 years ago
|
| Store the read_only status of source views, so as to never write to read-only files |
|
More...
|
about 3 years ago
|
| fix set of provers tested for memliit |
|
More...
|
about 3 years ago
|
| Merge branch 'fix_653' into 'master' |
|
More...
|
about 3 years ago
|
| Pmodule: check meta and clone declarations for use-on-demand symbols |
|
More...
|
about 3 years ago
|
| Pmodule: check meta and clone declarations for use-on-demand symbols |
|
More...
|
about 3 years ago
|
| Merge branch '571-cvc4-memlimit-registered-as-high-failure' into 'master' |
|
More...
|
about 3 years ago
|
| update sessions |
|
More...
|
about 3 years ago
|
| Merge branch 'edrivers' into 'master' |
|
More...
|
about 3 years ago
|
| Merge branch 'fix_592' into 'master' |
|
More...
|
about 3 years ago
|
| records with no fields are not (fixes #592) |
|
More...
|
about 3 years ago
|
| records with no fields are not (fixes #592) |
|
More...
|
about 3 years ago
|
| Delete unused test file for memlimit |
|
More...
|
about 3 years ago
|
| Add an extraction test |
|
More...
|
about 3 years ago
|
| Add memlimit section in the bench |
|
More...
|
about 3 years ago
|
| more candidates for reproducibility of OutOfMemory |
|
More...
|
about 3 years ago
|
| Prefer any answer from the prover other than HighFailure |
|
More...
|
about 3 years ago
|
| Merge branch '619-allow-giant-step-only-in-check_ce-select_model' into 'master' |
|
More...
|
over 3 years ago
|
| Merge branch '218-ide-should-display-the-right-source-file-in-case-of-syntax-or-typing-error' into 'master' |
|
More...
|
over 3 years ago
|
| Clearer debug messages for RAC results and categorization |
|
More...
|
over 3 years ago
|
| IDE and ITP server: fix the filename when source file name is relative |
|
More...
|
over 3 years ago
|
| Reproducer for OutOfMemory answer |
|
More...
|
over 3 years ago
|
| Compare answers in prover output instead of taking by default the last one |
|
More...
|
over 3 years ago
|
| Clone defined variant types |
|
More...
|
over 3 years ago
|
| java extractor |
|
More...
|
over 3 years ago
|
