summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
* 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
* 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
* 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
| * 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
* 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
* | 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
|/
* Allow for extra instrumentation on program before vc genGravatar Akash Lal2015-05-25
* Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-22
* 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
* Add some experimental support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-18
* Minor refactoringGravatar Valentin Wüstholz2015-05-17
* Make caching of verification results more fine-grained for changes that affec...Gravatar Valentin Wüstholz2015-05-17
* Fix for printFixedPoint when dealing with functionsGravatar Akash Lal2015-05-13
* Fix for secureVCGenGravatar Akash Lal2015-05-07
* Make it preserve the fact that the value of an assumption variable never beco...Gravatar Valentin Wüstholz2015-05-06
* Fix for AbsHoudiniGravatar akashlal2015-05-01
* AbsHoudini: made disjunct bound a parameterGravatar akashlal2015-05-01
* Add support for 'verified_under' attributes on procedure calls and invariants.Gravatar Valentin Wüstholz2015-04-29
* Try to fix the emission of invalid SMT-LIBv2 queries when Boogie has aGravatar Dan Liew2015-04-26
* Minor fixes for AbsHoudiniGravatar Akash Lal2015-04-23
* Better error messageGravatar akashlal2015-04-21
* patched ghost checkingGravatar qadeer2015-04-18
* changed aux attribute to ghostGravatar qadeer2015-04-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 21:24:26 +0000