| Commit message (Expand) | Author | Age |
|---|
| * | Introduce distinction between canonical element name and its aliases |  MichalMoskal | 2010-10-26 |
| * | Compute canonical element names | MichalMoskal | 2010-10-26 |
| * | Copy local names between states | MichalMoskal | 2010-10-26 |
| * | More work on the generic namer | MichalMoskal | 2010-10-26 |
| * | Start work on the generic namer | MichalMoskal | 2010-10-26 |
| * | Updated parser.cs files to pick up the new .frame improvements from boogiepar... | rustanleino | 2010-10-26 |
| * | Boogie: | rustanleino | 2010-10-26 |
| * | Added AssemblyInfo.cs, missing from previous DafnyExtension check-in | rustanleino | 2010-10-22 |
| * | New Dafny mode for Visual Studio 2010, using the VS2010 extensions. | rustanleino | 2010-10-22 |
| * | Miscellaneous changes: | rustanleino | 2010-10-22 |
| * | Chalice: Now compiles with Scala 2.7.7 and 2.8.0, the latter yields many warn... | mschwerhoff | 2010-10-21 |
| * | a bug fix in the loop extraction code | qadeer | 2010-10-19 |
| * | Boogie build succeeded | codeplexbot | 2010-10-15 |
| * | Make it display maps | MichalMoskal | 2010-10-15 |
| * | Implement find-all-names | MichalMoskal | 2010-10-14 |
| * | Display state sequential numbers | MichalMoskal | 2010-10-14 |
| * | Move SkeletonItem to a separate file | MichalMoskal | 2010-10-14 |
| * | Display values in the state list | MichalMoskal | 2010-10-14 |
| * | Make the tree actually work | MichalMoskal | 2010-10-14 |
| * | Always show the entire tree, possibly grayed-out | MichalMoskal | 2010-10-14 |
| * | Implement struct printing | MichalMoskal | 2010-10-14 |
| * | Skip unchagned variables in model dumps. Fix testcase | MichalMoskal | 2010-10-14 |
| * | Work on keeping the unfolding skeleton when switching between states | MichalMoskal | 2010-10-14 |
| * | Add DisplayNode class with default IDisplayNode implementation. Add IDisplayN... | MichalMoskal | 2010-10-14 |
| * | Boogie build succeeded, 1 test(s) failed | codeplexbot | 2010-10-13 |
| * | Bug fixes and speed up for doomed program point analysis | schaef | 2010-10-13 |
| * | Add interfaces for langauge providers. Start with VCC provider. | MichalMoskal | 2010-10-12 |
| * | Put Model.cs in separate assembly. Fix signing/versioning with it. | MichalMoskal | 2010-10-12 |
| * | Add missing Clone() when storing incarnation maps; update testcase to make th... | MichalMoskal | 2010-10-12 |
| * | Add function and constant view | MichalMoskal | 2010-10-12 |
| * | Put in proper namespace, move files around. | MichalMoskal | 2010-10-12 |
| * | Make the -mv option use the new Model class. | MichalMoskal | 2010-10-12 |
| * | Starting work on Boogie Model Viewer. | MichalMoskal | 2010-10-12 |
| * | Boogie: | rustanleino | 2010-10-12 |
| * | Chalice: allow replace by to match LocalVar | kyessenov | 2010-10-09 |
| * | Chalice: | rustanleino | 2010-10-09 |
| * | Chalice: permit replaces by to match assign clauses | kyessenov | 2010-10-09 |
| * | Boogie: fixed a Code Contract in the source | rustanleino | 2010-10-09 |
| * | Fixes in state printing/initialization | MichalMoskal | 2010-10-09 |
| * | Fix some bugs. | MichalMoskal | 2010-10-09 |
| * | Add model/state printing and parsing | MichalMoskal | 2010-10-09 |
| * | Add state sequence API and creation, still untested | MichalMoskal | 2010-10-08 |
| * | Add the new model interface. Untested, doesn't yet include state sequence | MichalMoskal | 2010-10-08 |
| * | Boogie build succeeded, 29 test(s) failed | codeplexbot | 2010-10-08 |
| * | Add one more file | MichalMoskal | 2010-10-07 |
| * | Get rid of some CCI dependencies in Driver | MichalMoskal | 2010-10-07 |
| * | Update to include all build artifacts, also from Dafny | MichalMoskal | 2010-10-07 |
| * | Update to VS2010. | MichalMoskal | 2010-10-07 |
| * | Chalice: fix a bug where output variables of a method were not decoupled. | kyessenov | 2010-10-05 |
| * | Minor fix to recursion depth in stratified inlining algorithm. | akashlal | 2010-10-02 |
MichalMoskal