summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | | | * Use the EndCurly token when creating the ReturnCmd for unifiedExitGravatar qunyanm2015-11-25
| | | |/
| | * | Teach the TravisCI build to use the ``travis_retry`` command whenGravatar Dan Liew2015-11-21
| | * | Add simplified may-unverified analysis and instrumentation.Gravatar Valentin Wüstholz2015-11-20
| | * | Fix issue with partially-verified assertions.Gravatar Valentin Wüstholz2015-11-19
| | * | Update test output after Nikolaj's enhancement in Z3.Gravatar Valentin Wüstholz2015-11-19
| | * | Add a test.Gravatar Valentin Wüstholz2015-11-19
| | * | Minor changesGravatar Valentin Wüstholz2015-11-19
| | * | Improve experimental support for optimization (requires Z3 changeset 5948013b...Gravatar Valentin Wüstholz2015-11-18
| | * | Add experimental support for optimization (requires Z3 build after changeset ...Gravatar Valentin Wüstholz2015-11-18
| | * | Fix test output.Gravatar Valentin Wüstholz2015-11-17
| | * | Fix issue #25.Gravatar Valentin Wüstholz2015-11-17
| | | * Use EndCurly token for the ReturnCmd when creating unifiedExitGravatar qunyanm2015-11-16
| | | * Use EndCurly token for the ReturnCmd when creating unifiedExitGravatar qunyanm2015-11-16
| | * | Add a test.Gravatar Valentin Wüstholz2015-11-16
| | |/
| | * Add a test.Gravatar Valentin Wüstholz2015-11-16
| | * Add support for identifying unnecessary assumes.Gravatar Valentin Wüstholz2015-11-16
| | * Merge pull request #22 from delcypher/proc_flag_fixGravatar Dan Liew2015-11-02
| | |\
| | | * Document the new behaviour of the ``-proc:`` command line optionGravatar Dan Liew2015-10-31
| | | * Added test cases for the new asterisk wildcard behaviour of theGravatar Dan Liew2015-10-31
| | | * Added wild card matching for /proc flagGravatar Shaobo2015-10-31
| | |/
| | * Add support for annotating implementations with k-ind. depth.Gravatar Valentin Wüstholz2015-10-29
| | * fix for deterministicExtractLoops for nested loopsGravatar Shuvendu Lahiri2015-10-27
| | * fixedGravatar Shaz Qadeer2015-10-26
| | * Bug fix for deterministExtractLoops for Shaobo's exampleGravatar Shuvendu Lahiri2015-10-26
| | * bug fix in the type checking of calls to atomic proceduresGravatar Shaz Qadeer2015-10-16
| |/
* | Floating point constants given as integers are now translated correctlyGravatar Checkmate502015-10-14
* | Modified translation so that z3 runs with type checking for simple binary ope...Gravatar Checkmate502015-10-14
| * bug fixGravatar Shaz Qadeer2015-10-09
| * removed an extraneous warningGravatar Shaz Qadeer2015-10-08
| * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Shaz Qadeer2015-10-01
| |\
| * | added a fix to check all layers: created layer of actions or layers inGravatar Shaz Qadeer2015-10-01
| | * Improve output for diagnosing timeouts.Gravatar Valentin Wüstholz2015-10-01
| |/
| * another fix requested by ChrisGravatar Shaz Qadeer2015-10-01
| * Improve output for diagnosing timeouts.Gravatar Valentin Wüstholz2015-09-30
| * updateGravatar Shaz Qadeer2015-09-28
| * cleaned up some namesGravatar Shaz Qadeer2015-09-28
| * a bug fixGravatar Shaz Qadeer2015-09-27
| * fixed a small bugGravatar Shaz Qadeer2015-09-27
| * removed a warningGravatar Shaz Qadeer2015-09-26
| * added introduced and ghost local variablesGravatar Shaz Qadeer2015-09-25
* | Modified BigFloat to avoid evaluating the floating point value before sending...Gravatar Checkmate502015-09-23
* | Added initial support for float additionGravatar Checkmate502015-09-17
| * fixed my earlier to make it nicerGravatar Shaz Qadeer2015-09-03
| * fixed a crash when there is no collectorGravatar Shaz Qadeer2015-09-02
| * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Rustan Leino2015-08-28
| |\
| * | Added /verifySnapshots:3, which prints recycled errors messages with the sour...Gravatar Rustan Leino2015-08-28
* | | Float type now works correctly for simple variable declaration and comparison.Gravatar Dietrich2015-07-20
| | * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Shuvendu Lahiri2015-07-20
| | |\
| | | * Added another test.Gravatar Valentin Wüstholz2015-07-20
| | | * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Akash Lal2015-07-20
| | | |\
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 13:57:05 +0000