| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
| * | Make the -mv option use the new Model class. | MichalMoskal | 2010-10-12 |
| * | 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 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |