| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Dafny: Added a 'Checked' configuration and fixed some runtime assertion ↵ |  wuestholz | 2011-09-23 |
| | | | | | violations. | ||
| * | Update to VS2010. | MichalMoskal | 2010-10-07 |
| | | |||
| * | Boogie: Added boolean code expressions (sans well-formedness checks on the ↵ | rustanleino | 2010-08-10 |
| | | | | | input). | ||
| * | Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ↵ | tabarbe | 2010-08-04 |
| | | | | | | | dir. Do not attempt to regenerate the Parser and Scanner files before the port of Boogie/Core is done, as these have undergone changes, but will not be committed until after the Core port. | ||
| * | Also build Boogie and Dafny projects in 32-bit configurations. | rustanleino | 2010-07-30 |
| | | | | | Don't insist on DafnyDriver picking up the LKG version (1.0.21125.0) of the Spec# runtime (in fact, most builders will probably have 1.0.21126.0). | ||
| * | Dafny: DafnyDriver port part 3/3: Updating sources to reference new project. | tabarbe | 2010-07-28 |
| | | |||
| * | Initial set of files. | mikebarnett | 2009-07-15 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |