| Commit message (Expand) | Author | Age |
* | 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 |
* | Util: Minor changes to the LaTeX listings packages for Boogie and Dafny. | wuestholz | 2010-09-30 |
* | Boogie: | rustanleino | 2010-09-24 |