summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
...
| | * adding support for accessing Z3's generalized array theoryGravatar qadeer2011-09-02
* | | Added GPUVerify projectGravatar Unknown2011-09-02
| |/ |/|
* | further editsGravatar qadeer2011-09-01
* | improved bitvector analysisGravatar qadeer2011-09-01
* | MergeGravatar Michal Moskal2011-08-30
|\ \
* | | Options.PostParse() is called by Parse(), so set command-line-derived options...Gravatar Michal Moskal2011-08-30
| * | MergeGravatar qadeer2011-08-29
| |\ \ | |/ / |/| |
| * | more changes to bitvector analysisGravatar qadeer2011-08-29
* | | MergeGravatar Michal Moskal2011-08-29
|\ \ \
* | | | Add PROVER_PATH prover option (to base options, but currently only used by SM...Gravatar Michal Moskal2011-08-29
| * | | Bug fix for Proc-Copy-BoundingGravatar Unknown2011-08-28
| |/ /
| * | Procedure Copy Bounding for Stratified InlinigGravatar Unknown2011-08-25
| * | Fixed a bug with "don't care" return value on an async callGravatar Unknown2011-08-24
|/ /
* / Support for irreducible graphs (with extractLoops)Gravatar Unknown2011-08-24
|/
* Use SMT2 syntax for sign_extendGravatar Michal Moskal2011-08-22
* reverting irreducible handling temporarilyGravatar qadeer2011-08-21
|\
* \ MergeGravatar qadeer2011-08-20
|\ \
* | | added code to handle irreducible graphsGravatar qadeer2011-08-20
| * | MergeGravatar Rustan Leino2011-08-18
| |\ \ | |/ / |/| |
| * | Dafny: fixed bug in looking at the arguments of the :induction attributeGravatar Rustan Leino2011-08-18
* | | minor refactoringGravatar qadeer2011-08-17
* | | deleted lazyinlining option 2 and 3Gravatar qadeer2011-08-17
* | | MergeGravatar Michal Moskal2011-08-16
|\ \ \
| * | | Dafny: Fixed a bug in the printer that led to a stack overflow.Gravatar wuestholz2011-08-11
| * | | Added "procedure-copy bounding" for lazy inliningGravatar Unknown2011-08-10
| * | | further updates to bit vector analysisGravatar qadeer2011-08-09
| * | | more changes to bitvector analysisGravatar qadeer2011-08-09
| * | | another bug fix in bctGravatar qadeer2011-08-08
| * | | added a new file and fixed a bug in bctGravatar qadeer2011-08-08
| * | | various changes to boogie for bitvector analysis and bctproviderGravatar qadeer2011-08-08
* | | | Fix null-refGravatar Michal Moskal2011-08-07
| * | | further updates to bctproviderGravatar qadeer2011-08-05
| * | | first addGravatar qadeer2011-08-05
| * | | fixed the key signing problem with houdiniGravatar qadeer2011-08-05
| * | | further changes for making houdini workGravatar qadeer2011-08-04
| * | | MergeGravatar qadeer2011-08-04
| |\| |
| * | | cleaned up houdini optionsGravatar qadeer2011-08-04
| | * | MergeGravatar Rustan Leino2011-08-04
| | |\ \ | | |/ / | |/| |
| * | | full port of houdini projectGravatar qadeer2011-08-04
| * | | MergeGravatar qadeer2011-08-03
| |\ \ \ | |/ / / |/| | |
| * | | ported Houdini to C#, added Houdini project to the Boogie solutionGravatar qadeer2011-08-03
|/ / /
| * / Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)Gravatar Rustan Leino2011-08-03
|/ /
* | release build should not have z3api being builtGravatar Unknown2011-07-28
* | Dafny: re-ran parser generator to include semicolon-less body-less functions/...Gravatar Rustan Leino2011-07-26
* | MergeGravatar Jason Koenig2011-07-15
|\ \
* | | Added compilation support for multisets and sequences from arrays.Gravatar Jason Koenig2011-07-15
| * | Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...Gravatar wuestholz2011-07-15
* | | MergeGravatar Jason Koenig2011-07-14
|\| |
* | | Fixed bug where wellformedness for E in multiset(E) was checked in the "old" ...Gravatar Jason Koenig2011-07-14
* | | Added multiset from sequence axioms, removed array range RHSs. Fixed issue wi...Gravatar Jason Koenig2011-07-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 13:02:53 +0000