summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | | * 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
| |/
| * 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
* | Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* | Remove dead file.Gravatar Dan Liew2015-06-28
* | removed a stray Console.WriteLine that Ken had earlier checked in byGravatar qadeer2015-06-25
* | updated with Serdar's changesGravatar qadeer2015-06-25
* | Merge branch 'master' of https://github.com/boogie-org/boogieGravatar akashlal2015-06-20
|\ \
* | | Fix for reading fixpoint back into boogie exprsGravatar akashlal2015-06-20
* | | Missing bracesGravatar akashlal2015-06-20
| * | added another sampleGravatar qadeer2015-06-17
| * | modified desugaring so that in commutatitivity checks copies of originalGravatar qadeer2015-06-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 12:42:57 +0000