summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
|/
* 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
| * fixed bug reported by ChrisGravatar qadeer2015-06-15
| * adding z3name optionGravatar Ken McMillan2015-06-15
|/
* Minor changesGravatar Valentin Wüstholz2015-06-12
* 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
* Fix issue in checksum computation for lambda expressions.Gravatar Valentin Wüstholz2015-06-12
* Fix minor issue with diagnosing timeouts.Gravatar Valentin Wüstholz2015-06-12
* Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Ken McMillan2015-06-11
|\
| * relaxed the check for created and hidden layers for skip actionsGravatar qadeer2015-06-10
| * fixed crashGravatar qadeer2015-06-10
| * Merge pull request #14 from cpitclaudel/clean-prover-exitGravatar RustanLeino2015-06-09
| |\
* | | various changes for duality from dead codeplex repoGravatar U-REDMOND\kenmcmil2015-06-09
|/ /
| * Stop truncating the prover logsGravatar Clément Pit--Claudel2015-06-09
|/
* Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-06-08
* Fix minor issue.Gravatar Valentin Wüstholz2015-06-05
* Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-06-05
* Fix for SI: initialize extraRecBoundGravatar Akash Lal2015-06-05
* Merge branch 'master' of https://github.com/boogie-org/boogieGravatar akashlal2015-06-01
|\
* | Simplified StratifiedVC interfaceGravatar akashlal2015-06-01
| * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar qadeer2015-05-31
| |\ | |/ |/|
| * added assume about gate after calls and parallel callsGravatar qadeer2015-05-31
* | Improve heuristics for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-31
|/
* Merge branch 'master' of https://github.com/boogie-org/boogieGravatar qadeer2015-05-27
|\
* | bug fix in popGravatar qadeer2015-05-27
| * Allow for extra instrumentation on program before vc genGravatar Akash Lal2015-05-25
| * Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-22
|/
* Merge branch 'master' of https://github.com/boogie-org/boogieGravatar qadeer2015-05-20
|\
* | added more specificationsGravatar qadeer2015-05-20
| * Minor changesGravatar Valentin Wüstholz2015-05-20
| * Minor refactoringGravatar Valentin Wüstholz2015-05-20
| * Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-20
| * Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-19
| * Make it not return cached verification results for timed-out implementations ...Gravatar Valentin Wüstholz2015-05-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-11 14:40:53 +0000