summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* MergeGravatar qadeer2011-12-21
|\
| * forgot to check it inGravatar qadeer2011-12-21
* | Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2011-12-20
| * removed some extraneous parametersGravatar qadeer2011-12-19
|/
* Dafny: for a datatype with just one constructor, don't check (but do assume) ...Gravatar Rustan Leino2011-12-19
* Dafny: compile to .exe only if there is a Main method; otherwise, compile to ...Gravatar Rustan Leino2011-12-19
* fixed a completeness problem in houdini with inliningGravatar qadeer2011-12-18
* Boogie build succeededGravatar CodeplexBot2011-12-16
* Fixed the Boogie build.Gravatar wuestholz2011-12-16
* Boogie build failedGravatar CodeplexBot2011-12-16
* MergeGravatar Unknown2011-12-15
|\
* | A few fixes to get GPUVerify working with OpenCL front-end.Gravatar Unknown2011-12-15
| * Dafny: Made sure that error locations refer to the Dafny program, even if the...Gravatar wuestholz2011-12-15
| * Dafny: Added support for attributes on various specification constructs (asse...Gravatar wuestholz2011-12-07
| * Dafny: implemented thresholds for the new interval domain (/infer:j)Gravatar Rustan Leino2011-12-12
| * Boogie: Changed Expr.Not to keep swap arguments rather change direction of op...Gravatar Rustan Leino2011-12-12
| * MergeGravatar Rustan Leino2011-12-10
| |\ | |/ |/|
| * Dafny: fix bug in translation of (the splitting of) if-then-else expressions ...Gravatar Rustan Leino2011-12-10
* | MergeGravatar Unknown2011-12-09
|\ \
* | | Some fixes to get GPUVerify close to working with OpenCL.Gravatar Unknown2011-12-09
| * | Bring SourceView to front when double-clicking source lineGravatar stobies2011-12-08
| * | Boogie build succeededGravatar CodeplexBot2011-12-08
| |/
| * Dafny: corrected merge snafusGravatar Rustan Leino2011-12-07
| * Dafny: reran Coco on merged Dafny.atgGravatar Rustan Leino2011-12-07
| * MergeGravatar Rustan Leino2011-12-07
| |\
| * \ MergeGravatar Rustan Leino2011-12-07
| |\ \
| | * | Tagging EMIC CC.NET build 2.1.31207.0Gravatar VccBuildServer2011-12-07
| | * | MergeGravatar Michal Moskal2011-12-07
| | |\ \ | |_|/ / |/| | |
| | * | Fix atg file and add comment about Set/*Variable*/Gravatar Michal Moskal2011-12-07
| | * | Make it work with mingwGravatar Michal Moskal2011-12-07
| | * | Fix some bugs in the new SetGravatar Michal Moskal2011-12-07
| | * | Make set iteration order deterministicGravatar Michal Moskal2011-12-07
* | | | MergeGravatar Unknown2011-12-07
|\ \ \ \
* | | | | Changed names of builtins to make them generic.Gravatar Unknown2011-12-07
| * | | | Dafny: Added a separate script to run all Dafny tests.Gravatar wuestholz2011-12-07
| | * | | MergeGravatar Rustan Leino2011-12-07
| | |\ \ \ | | |/ / / | |/| | |
| * | | | Dafny: Forward attributes on Dafny functions to Boogie (e.g., to disable well...Gravatar wuestholz2011-12-07
| | * | | Dafny tests: Disabled SnapshotableTrees.dfy for now while performance issues ...Gravatar Rustan Leino2011-12-07
| | * | | Dafny: fixed division in new interval domainGravatar Rustan Leino2011-12-07
| * | | | MergeGravatar qadeer2011-12-06
| |\ \ \ \
| * | | | | bug fix in houdini inlineDepthGravatar qadeer2011-12-06
| | * | | | Boogie build succeededGravatar CodeplexBot2011-12-07
| | | * | | MergeGravatar Rustan Leino2011-12-06
| | | |\ \ \ | | | |/ / / | | |/| | |
| * | | | | MergeGravatar qadeer2011-12-06
| |\| | | |
| * | | | | more loggingGravatar qadeer2011-12-06
| | * | | | Fixed bug when getting last source context in a method body.Gravatar Mike Barnett2011-12-06
| | * | | | Dafny: Made some minor changes to the grammar.Gravatar wuestholz2011-12-06
| |/ / / /
| | * | | MergeGravatar Rustan Leino2011-12-06
| | |\ \ \ | | |/ / / | |/| | |
| * | | | MergeGravatar qadeer2011-12-05
| |\ \ \ \
| * | | | | first check inGravatar qadeer2011-12-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-02 02:09:41 +0000