summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
| * 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
| * SecureVC: exampleGravatar Akash Lal2015-05-07
| * 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 add build status icon for the Windows build.Gravatar Dan Liew2015-04-28