summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
...
| * added introduced and ghost local variablesGravatar Shaz Qadeer2015-09-25
* | Modified BigFloat to avoid evaluating the floating point value before sending...Gravatar Checkmate502015-09-23
* | Added initial support for float additionGravatar Checkmate502015-09-17
| * 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
* | | Float type now works correctly for simple variable declaration and comparison.Gravatar Dietrich2015-07-20
| | * Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Shuvendu Lahiri2015-07-20
| | |\
| | | * Minor additions to VC genGravatar Akash Lal2015-07-20
| | * | fix for /deterministicExtractLoops sed in SymDiffGravatar Shuvendu Lahiri2015-07-19
| | |/
* | | Modified internal abstract float representation to allow user-defined mantiss...Gravatar Dietrich2015-07-13
| | * 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
* | added interpretation of floating point constants to the parserGravatar Dietrich2015-05-18
| * 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 08:11:19 +0000