summaryrefslogtreecommitdiff
path: root/Test
Commit message (Expand)AuthorAge
* Improve support for optimization and identifying unnecessary assumes.Gravatar Valentin Wüstholz2016-03-03
* Merge pull request #30 from qunyanm/type-parameter-bug-fixGravatar RustanLeino2016-02-12
|\
* | added an exampleGravatar Shaz Qadeer2016-02-09
* | another fixGravatar Shaz Qadeer2016-01-26
* | improved some of the annotationsGravatar Shaz Qadeer2016-01-21
* | some fixesGravatar Shaz Qadeer2016-01-19
| * Bug fix in determining whether a type parameter is boundedGravatar qunyanm2016-01-19
|/
* updated the example to implement the allocation of thread identifiers;Gravatar Shaz Qadeer2016-01-17
* fixed a small problem in the precondition for FreeLinearGravatar Shaz Qadeer2016-01-10
* added Free codeGravatar Shaz Qadeer2016-01-08
* Improve precision of abstract interpreter for modulo operations.Gravatar Valentin Wüstholz2015-12-28
* Use the EndCurly token when creating the ReturnCmd for unifiedExitGravatar qunyanm2015-12-02
* Update test output for Z3 4.4.1.Gravatar Valentin Wüstholz2015-12-01
* 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
* Added test cases for the new asterisk wildcard behaviour of theGravatar Dan Liew2015-10-31
* 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
* another fix requested by ChrisGravatar Shaz Qadeer2015-10-01
* fixed a small bugGravatar Shaz Qadeer2015-09-27
* added introduced and ghost local variablesGravatar Shaz Qadeer2015-09-25
* 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
| * Added another test.Gravatar Valentin Wüstholz2015-07-20
| * Added more tests.Gravatar Valentin Wüstholz2015-07-20
| * Try to unbreak the tests added inGravatar Dan Liew2015-06-28
| * Fix issue #16 reported by @crazyktGravatar Dan Liew2015-06-28
| * Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
| * updated with Serdar's changesGravatar qadeer2015-06-25
| * added another sampleGravatar qadeer2015-06-17
| * modified desugaring so that in commutatitivity checks copies of originalGravatar qadeer2015-06-17
| * fixed bug reported by ChrisGravatar qadeer2015-06-15
| * Fix issue with computation of statement checksums for lambda expressions.Gravatar Valentin Wüstholz2015-06-12
| * Add a test case.Gravatar Valentin Wüstholz2015-06-12
| * relaxed the check for created and hidden layers for skip actionsGravatar qadeer2015-06-10
| * fixed crashGravatar qadeer2015-06-10
|/
* bug fix in popGravatar qadeer2015-05-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 09:52:25 +0000