Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | made delegate a datatype | 2011-12-30 | |
| | | | | added a DatatypeConstructor class | ||
* | Merge | 2011-12-30 | |
|\ | |||
* | | problem fixed after CCI update | 2011-12-30 | |
| | | |||
| * | Boogie build succeeded, 1 test(s) failed | 2011-12-30 | |
|/ | |||
* | added the datatypes test | 2011-12-29 | |
| | |||
* | fixed problems with datatypes | 2011-12-29 | |
| | | | | | removed stale contracts in stratified inlining added test to datatypes | ||
* | Merge | 2011-12-28 | |
|\ | |||
* | | deleted some commented code | 2011-12-28 | |
| | | |||
| * | Add instrumentation for branches. | 2011-12-28 | |
| | | |||
| * | Dafny: Fixed a bug in the pretty printer. | 2011-12-26 | |
|/ | |||
* | refactored AssertionInjector so that it works directly on bpl files as well | 2011-12-26 | |
| | |||
* | Merge | 2011-12-23 | |
|\ | |||
* | | Chalice: fix for a bug - a source code line got duplicated somehow | 2011-12-23 | |
| | | |||
| * | Dafny: Extended the support for attributes on method/constructor calls. | 2011-12-23 | |
| | | |||
| * | Boogie build succeeded | 2011-12-23 | |
|/ | |||
* | Chalice: fix all refinement regression tests | 2011-12-23 | |
| | |||
* | bug fix in the FreeRequiresVisitor | 2011-12-22 | |
| | |||
* | Dafny: Added support for attributes on method/constructor calls. | 2011-12-21 | |
| | |||
* | Chalice: partial fixes to the broken refinement extension regression tests. | 2011-12-21 | |
| | |||
* | Merge | 2011-12-21 | |
|\ | |||
| * | forgot to check it in | 2011-12-21 | |
| | | |||
* | | Boogie build succeeded, 1 test(s) failed | 2011-12-20 | |
| | | |||
| * | removed some extraneous parameters | 2011-12-19 | |
|/ | |||
* | Dafny: for a datatype with just one constructor, don't check (but do assume) ↵ | 2011-12-19 | |
| | | | | that destructors are applied only to those values constructed by that one-and-only constructor | ||
* | Dafny: compile to .exe only if there is a Main method; otherwise, compile to ↵ | 2011-12-19 | |
| | | | | a .dll | ||
* | fixed a completeness problem in houdini with inlining | 2011-12-18 | |
| | |||
* | Boogie build succeeded | 2011-12-16 | |
| | |||
* | Fixed the Boogie build. | 2011-12-16 | |
| | |||
* | Boogie build failed | 2011-12-16 | |
| | |||
* | Merge | 2011-12-15 | |
|\ | |||
* | | A few fixes to get GPUVerify working with OpenCL front-end. | 2011-12-15 | |
| | | |||
| * | Dafny: Made sure that error locations refer to the Dafny program, even if ↵ | 2011-12-15 | |
| | | | | | | | | the /print option is used. | ||
| * | Dafny: Added support for attributes on various specification constructs ↵ | 2011-12-07 | |
| | | | | | | | | (assert, ensures, modifies, decreases, invariant). | ||
| * | Dafny: implemented thresholds for the new interval domain (/infer:j) | 2011-12-12 | |
| | | |||
| * | Boogie: Changed Expr.Not to keep swap arguments rather change direction of ↵ | 2011-12-12 | |
| | | | | | | | | operator when negating <, <=, >=, or > | ||
| * | Merge | 2011-12-10 | |
| |\ | |/ |/| | |||
| * | Dafny: fix bug in translation of (the splitting of) if-then-else expressions ↵ | 2011-12-10 | |
| | | | | | | | | (see bug report Issue 10214 on codeplex) | ||
* | | Merge | 2011-12-09 | |
|\ \ | |||
* | | | Some fixes to get GPUVerify close to working with OpenCL. | 2011-12-09 | |
| | | | |||
| * | | Bring SourceView to front when double-clicking source line | 2011-12-08 | |
| | | | |||
| * | | Boogie build succeeded | 2011-12-08 | |
| |/ | |||
| * | Dafny: corrected merge snafus | 2011-12-07 | |
| | | |||
| * | Dafny: reran Coco on merged Dafny.atg | 2011-12-07 | |
| | | |||
| * | Merge | 2011-12-07 | |
| |\ | |||
| * \ | Merge | 2011-12-07 | |
| |\ \ | |||
| | * | | Tagging EMIC CC.NET build 2.1.31207.0 | 2011-12-07 | |
| | | | | |||
| | * | | Merge | 2011-12-07 | |
| | |\ \ | |_|/ / |/| | | | |||
| | * | | Fix atg file and add comment about Set/*Variable*/ | 2011-12-07 | |
| | | | | |||
| | * | | Make it work with mingw | 2011-12-07 | |
| | | | | |||
| | * | | Fix some bugs in the new Set | 2011-12-07 | |
| | | | |