| generate result variable during vc computation |
|
More...
|
over 4 years ago
|
| Fix documentation. |
|
More...
|
over 4 years ago
|
| Fix API examples. |
|
More...
|
over 4 years ago
|
| Clean debug messages. |
|
More...
|
over 4 years ago
|
| [Why3config] with `-add-prover` print only the new addition |
|
More...
|
over 4 years ago
|
| [Autodetection] Add suffix _skip to the function which raises skip |
|
More...
|
over 4 years ago
|
| Readd removed options as no-op and deprecated. |
|
More...
|
over 4 years ago
|
| Unused variable |
|
More...
|
over 4 years ago
|
| [Whyconf] Readd -add-prover and cleanup |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-menhir-warnings' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-attributes-on-assign' into 'master' |
|
More...
|
over 4 years ago
|
| fix warning of menhir |
|
More...
|
over 4 years ago
|
| allow attributes on assignments |
|
More...
|
over 4 years ago
|
| update obsolete sessions |
|
More...
|
over 4 years ago
|
| Merge branch '502-support-for-cvc4-1-8' into 'master' |
|
More...
|
over 4 years ago
|
| Add sections to Pinterp |
|
More...
|
over 4 years ago
|
| Improve search for model elements |
|
More...
|
over 4 years ago
|
| Add attribute for identifiers of call results |
|
More...
|
over 4 years ago
|
| Merge branch 'fix_545' into 'master' |
|
More...
|
over 4 years ago
|
| Prevent creation of out-of-range values during execution (fix #545). |
|
More...
|
over 4 years ago
|
| Count undefined as local definition |
|
More...
|
over 4 years ago
|
| More debug printing for check-ce |
|
More...
|
over 4 years ago
|
| Don't rename model elements by traces, should be done while printing |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-break-continue-failure' into 'master' |
|
More...
|
over 4 years ago
|
| fix pre-condition of mach.bv.sdiv |
|
More...
|
over 4 years ago
|
| Merge branch 'cfg-fix-terminators' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-sdiv-pre' into 'master' |
|
More...
|
over 4 years ago
|
| completed CHANGES file |
|
More...
|
over 4 years ago
|
| improve module for bit-vectors in program |
|
More...
|
over 4 years ago
|
| Record field idents when printing tasks and use that for CEs |
|
More...
|
over 4 years ago
|
