summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Jennisys: Parse and printGravatar Rustan Leino2011-04-07
* Jennisys: some initial files (with no real contents)Gravatar Rustan Leino2011-04-06
* Dafny: don't require parentheses in syntax of "choose" statementsGravatar Rustan Leino2011-04-05
* branch mergeGravatar Rustan Leino2011-04-05
|\
* | Dafny: Allow field selections and array-element selection as LHSs of assignme...Gravatar Unknown2011-04-05
| * Boogie build succeededGravatar CodeplexBot2011-04-05
| * Deleting tags generated during build server testsGravatar Stephan Tobies2011-04-05
| * Tagging CC.NET build 2.1.30405.3Gravatar VccBuildServer2011-04-05
| * Tagging CC.NET build 2.1.30405.2Gravatar VccBuildServer2011-04-05
| * Tagging CC.NET build 2.1.30405.1Gravatar VccBuildServer2011-04-05
| * Testing pushing tags from build serverGravatar Unknown2011-04-05
| * Removing unused field (and testing mecurial checkins)Gravatar Stephan Tobies2011-04-05
| * Dafny: fixed bug in induction over integersGravatar Unknown2011-04-04
|/
* Ignore generated filesGravatar Michal Moskal2011-04-04
* More support for stubs. Ability to add functions as well as procedures.Gravatar mikebarnett2011-04-04
* Boogie build succeededGravatar codeplexbot2011-04-02
* Improvements in map and skolem functions display.Gravatar MichalMoskal2011-04-02
* Use new, SMT2 compliant, Z3 syntax for labelsGravatar MichalMoskal2011-04-02
* model viewer:Gravatar stobies2011-04-01
* boogie.exe: allow to reset the command line options so we can re-use the boog...Gravatar stobies2011-04-01
* model viewer:Gravatar stobies2011-04-01
* Model viewer:Gravatar stobies2011-04-01
* Dafny:Gravatar rustanleino2011-03-30
* Dafny: refactoring to soon support more general assignment statementsGravatar rustanleino2011-03-29
* Boogie build succeededGravatar codeplexbot2011-03-28
* Dafny: Added support for an initializing call as part of the new-allocation s...Gravatar rustanleino2011-03-27
* Minor fixesGravatar schaef2011-03-27
* Reflect effect of Celebrity.dfy change in previous check-inGravatar rustanleino2011-03-27
* Boogie build succeeded, 1 test(s) failedGravatar codeplexbot2011-03-27
* Dafny: added "choose" operator on setsGravatar rustanleino2011-03-26
* Boogie build succeededGravatar codeplexbot2011-03-26
* Dafny: improved and corrected physical/ghost distinctionGravatar rustanleino2011-03-26
* Dafny: compile quantifiersGravatar rustanleino2011-03-26
* Boogie build succeededGravatar codeplexbot2011-03-24
* Boogie: fixed contract violation in stratified inliningGravatar rustanleino2011-03-23
* Boogie build succeeded, 2 test(s) failedGravatar codeplexbot2011-03-22
* Boogie build succeeded, 2 test(s) failedGravatar codeplexbot2011-03-22
* Boogie build succeededGravatar codeplexbot2011-03-22
* Boogie build succeededGravatar codeplexbot2011-03-22
* Boogie build succeededGravatar codeplexbot2011-03-22
* Boogie build succeededGravatar codeplexbot2011-03-22
* Boogie build succeeded, 2 test(s) failedGravatar codeplexbot2011-03-21
* Print recorded value of any typeGravatar akashlal2011-03-21
* Bug fix with model generation.Gravatar akashlal2011-03-21
* Made CallCmd.callee public for easy manipulation of un-resolved programsGravatar akashlal2011-03-21
* Boogie build succeeded, 2 test(s) failedGravatar codeplexbot2011-03-18
* Fixed a tricky bug in z3apiGravatar akashlal2011-03-18
* minor fix with loopy counterexample generationGravatar akashlal2011-03-18
* Print out requested values in the counterexample traceGravatar akashlal2011-03-17
* Re-enabled quantifier checking in the Checked configuration.Gravatar mikebarnett2011-03-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-28 23:27:05 +0000