| Commit message (Expand) | Author | Age |
|---|
| * | Boogie build succeeded |  codeplexbot | 2011-03-26 |
| * | Dafny: improved and corrected physical/ghost distinction | rustanleino | 2011-03-26 |
| * | Dafny: compile quantifiers | rustanleino | 2011-03-26 |
| * | Boogie build succeeded | codeplexbot | 2011-03-24 |
| * | Boogie: fixed contract violation in stratified inlining | rustanleino | 2011-03-23 |
| * | Boogie build succeeded, 2 test(s) failed | codeplexbot | 2011-03-22 |
| * | Boogie build succeeded, 2 test(s) failed | codeplexbot | 2011-03-22 |
| * | Boogie build succeeded | codeplexbot | 2011-03-22 |
| * | Boogie build succeeded | codeplexbot | 2011-03-22 |
| * | Boogie build succeeded | codeplexbot | 2011-03-22 |
| * | Boogie build succeeded | codeplexbot | 2011-03-22 |
| * | Boogie build succeeded, 2 test(s) failed | codeplexbot | 2011-03-21 |
| * | Print recorded value of any type | akashlal | 2011-03-21 |
| * | Bug fix with model generation. | akashlal | 2011-03-21 |
| * | Made CallCmd.callee public for easy manipulation of un-resolved programs | akashlal | 2011-03-21 |
| * | Boogie build succeeded, 2 test(s) failed | codeplexbot | 2011-03-18 |
| * | Fixed a tricky bug in z3api | akashlal | 2011-03-18 |
| * | minor fix with loopy counterexample generation | akashlal | 2011-03-18 |
| * | Print out requested values in the counterexample trace | akashlal | 2011-03-17 |
| * | Re-enabled quantifier checking in the Checked configuration. | mikebarnett | 2011-03-16 |
| * | Boogie build succeeded | codeplexbot | 2011-03-15 |
| * | new algorithm for dead code detection (vc:doomed) | schaef | 2011-03-15 |
| * | Add labels to extracted procedures for loops | akashlal | 2011-03-14 |
| * | Turn off quantifier checking in the runtime checking. | mikebarnett | 2011-03-14 |
| * | Boogie build succeeded | codeplexbot | 2011-03-12 |
| * | Replaced all dictionaries that mapped to bool (i.e., were being used to imple... | mikebarnett | 2011-03-10 |
| * | Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic... | mikebarnett | 2011-03-10 |
| * | Updated PrepareBoogieZip.bat to include BVD and smt2 | rustanleino | 2011-03-10 |
| * | Added a translation for typeof expressions. | mikebarnett | 2011-03-09 |
| * | Can now translate multiple assemblies into one Boogie Program. | mikebarnett | 2011-03-08 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-03-08 |
| * | Added a new solution configuration, Checked, that builds the Checked configur... | mikebarnett | 2011-03-07 |
| * | Dafny: Fixed typo in P16 of Rippling benchmarks, which now makes it (true and... | rustanleino | 2011-03-07 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-03-07 |
| * | Fix some more contracts. | mikebarnett | 2011-03-07 |
| * | Fix contracts so runtime checking can be turned on. | mikebarnett | 2011-03-07 |
| * | Fix Sink.FindOrCreateProcedure so that it takes an IMethodDefinition instead ... | mikebarnett | 2011-03-06 |
| * | Added support for stub methods. If a method definition is marked with a custo... | mikebarnett | 2011-03-06 |
| * | Dafny: | rustanleino | 2011-03-06 |
| * | In the Sink, keep track of any procedures defined in the initial program (whi... | mikebarnett | 2011-03-06 |
| * | Changes needed to translate both contracts and method bodies. The Statement a... | mikebarnett | 2011-03-05 |
| * | Dafny: Added heuristic for when to turn on the induction tactic | rustanleino | 2011-03-05 |
| * | changes for dealing with delegates | qadeer | 2011-03-05 |
| * | Dafny: | rustanleino | 2011-03-04 |
| * | Fix translation of "new" so that a procedure is generated (if needed) for the... | mikebarnett | 2011-03-03 |
| * | Made it unnecessary to set the types on the Boogie ASTs as we create them. | mikebarnett | 2011-03-03 |
| * | Create a static constructor only for types that don't already define one. | mikebarnett | 2011-03-02 |
| * | put the call to CreateStaticConstructor back in | qadeer | 2011-03-02 |
| * | some fixes | qadeer | 2011-03-02 |
| * | Fix null-equivalent initialization of fields so that instance fields are init... | mikebarnett | 2011-03-02 |
codeplexbot