summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Teach TravisCI to use Z3 4.4.1 from repositories that I'm currentlyGravatar Dan Liew2015-12-01
* 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
* 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
* 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
* 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
| * 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
| | |\
| | * | Minor additions to VC genGravatar Akash Lal2015-07-20
| | | * Added more tests.Gravatar Valentin Wüstholz2015-07-20
| | |/
| * / fix for /deterministicExtractLoops sed in SymDiffGravatar Shuvendu Lahiri2015-07-19
| |/
| * Try to unbreak the tests added inGravatar Dan Liew2015-06-28
| * Update URL to boogie-partners to its new location on GitHub.Gravatar Dan Liew2015-06-28
| * Fix issue #16 reported by @crazyktGravatar Dan Liew2015-06-28
| * Add travis file to gitattributes file.Gravatar Dan Liew2015-06-28