| Commit message (Expand) | Author | Age |
|---|
| * | Hide #frame functions. Support state functions taking $heap($s). |  MichalMoskal | 2011-01-24 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-01-22 |
| * | Make the general heap representation the default. | mikebarnett | 2011-01-22 |
| * | Added the heap representation I was supposed to have started with... A genera... | mikebarnett | 2011-01-21 |
| * | Forgot to add file with last checkin. | mikebarnett | 2011-01-21 |
| * | Added a better options parsing by using functionality from MemberHelper. | mikebarnett | 2011-01-21 |
| * | Boogie: Made the algorithm for finding Z3 more robust. | wuestholz | 2011-01-21 |
| * | Boogie: Eliminated a couple of warnings by removing unused variable declarati... | wuestholz | 2011-01-21 |
| * | Fix order of getting the instance and the field from the expression heap so t... | mikebarnett | 2011-01-21 |
| * | Put back the prelude for the split fields heap that had been there before. | mikebarnett | 2011-01-21 |
| * | Use the interned key of field references, now that they have one. | mikebarnett | 2011-01-21 |
| * | Added a test for the split fields option. | mikebarnett | 2011-01-20 |
| * | Renamed outside of SVN, so added the renamed file and deleting this. | mikebarnett | 2011-01-20 |
| * | Moved the parts of the Prelude that depend on the heap representation into th... | mikebarnett | 2011-01-20 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-01-20 |
| * | Make the SMTLIB backend work again, particularly with /typeEncoding:m | MichalMoskal | 2011-01-19 |
| * | Ignore TPTP dlls | MichalMoskal | 2011-01-19 |
| * | Fix a bug in distinct() encoding | MichalMoskal | 2011-01-19 |
| * | More structuring of the different heap representations. Now each heap represe... | mikebarnett | 2011-01-19 |
| * | Removed HeapVariable from everywhere now that it is encapsulated in the Heap ... | mikebarnett | 2011-01-19 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-01-19 |
| * | Removing resolution: there's no need to resolve field references in order to ... | mikebarnett | 2011-01-18 |
| * | The TPTP backend works for some very limited examples | MichalMoskal | 2011-01-18 |
| * | Copy SMTLib "prover" as a basis for TPTP "prover". | MichalMoskal | 2011-01-18 |
| * | The beginning of the encapsulation of the Heap representation so that we can ... | mikebarnett | 2011-01-17 |
| * | More user-friendly canonical names | MichalMoskal | 2011-01-17 |
| * | Fix translation of "null" so that it produces a type-correct value. | mikebarnett | 2011-01-16 |
| * | Don't use local variable names as canonical names | MichalMoskal | 2011-01-14 |
| * | Make the filename length limit be 30 (as in VCC) | MichalMoskal | 2011-01-14 |
| * | Boogie build succeeded, 4 test(s) failed | codeplexbot | 2011-01-13 |
| * | Add description of {:selective_checking} to the /attrHelp. Fix the testcase. | MichalMoskal | 2011-01-13 |
| * | Display globals. Improve naming of function nodes in long ids. | MichalMoskal | 2011-01-13 |
| * | Display full name of node in tooltip | MichalMoskal | 2011-01-13 |
| * | Dafny: Fixed some build issues with duplicated and malformed Code Contracts. | rustanleino | 2011-01-13 |
| * | Chalice: Applied patch 7685, this fixes a small bug that duplicated members a... | alexanderjsummers | 2011-01-12 |
| * | Applied patch 7636 - this fixes workitem 9978 | alexanderjsummers | 2011-01-12 |
| * | Dafny: Fixed error in printing an error message. Changed "function method" ... | rustanleino | 2011-01-11 |
| * | Boogie build succeeded, 5 test(s) failed | codeplexbot | 2011-01-11 |
| * | Boogie build succeeded, 1 test(s) failed | codeplexbot | 2011-01-10 |
| * | Boogie: Updated 'PrepareBoogieZip.ba?t'. | wuestholz | 2011-01-10 |
| * | Boogie build succeeded, 1 test(s) failed | codeplexbot | 2011-01-10 |
| * | Display casted pointers | MichalMoskal | 2011-01-04 |
| * | 1. Converted assume to assert for the source info | qadeer | 2010-12-21 |
| * | stratified inlining: minor fix to the call tree being saved | akashlal | 2010-12-21 |
| * | Changed attribute names in the BPL for source context assumption statements. | mikebarnett | 2010-12-21 |
| * | Use an explicit PdbReader instead of the more general ISourceLocationProvider... | mikebarnett | 2010-12-21 |
| * | added support for array translation. | qadeer | 2010-12-20 |
| * | fixed a small bug in inline code | qadeer | 2010-12-20 |
| * | Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat... | mikebarnett | 2010-12-20 |
| * | Translate boolean types into Bpl.Type.Bool. | mikebarnett | 2010-12-20 |
MichalMoskal