summaryrefslogtreecommitdiff
path: root/Source/Model
Commit message (Expand)AuthorAge
* Model: sort variables by nameGravatar Peter Collingbourne2012-06-26
* Dafny/Boogie/BVD: made Dafny plug-in for BVD work againGravatar Rustan Leino2012-06-08
* fixed a problem in model parsingGravatar Unknown2012-02-08
* fixed bug in model parsingGravatar qadeer2012-02-06
* a bug fix in model parsingGravatar qadeer2011-11-30
* fixed a bug in model parsingGravatar qadeer2011-11-28
* fixed another bug in model parser related to datatype valuesGravatar qadeer2011-11-14
* some refactoring suggested by MichalGravatar qadeer2011-11-07
* change in model parsing with datatype valuesGravatar qadeer2011-11-07
* Performance improvements in BVDGravatar Michal Moskal2011-10-19
* Added some extra functionality to Model code for corralGravatar Unknown2011-09-13
* Another test checkinGravatar Michal Moskal2011-07-12
* ported all the counterexample code to Michal's new Model class; the goal is t...Gravatar Unknown2011-06-27
* Dafny: compile quantifiersGravatar rustanleino2011-03-26
* Re-enabled quantifier checking in the Checked configuration.Gravatar mikebarnett2011-03-16
* Turn off quantifier checking in the runtime checking.Gravatar mikebarnett2011-03-14
* Added a new solution configuration, Checked, that builds the Checked configur...Gravatar mikebarnett2011-03-07
* Handle as-array[...] model elementsGravatar MichalMoskal2011-02-23
* Parse else-> clauses in the modelGravatar MichalMoskal2011-02-23
* Set Id of Elements.Gravatar MichalMoskal2011-02-21
* Accomodate for recent changes in Z3 V2 model formatGravatar MichalMoskal2011-02-18
* Add information about field being volatileGravatar MichalMoskal2010-12-14
* Add Func.OptEval function and some docsGravatar MichalMoskal2010-12-14
* Fix typoGravatar MichalMoskal2010-12-10
* Add ToString() overrides to help in debuggingGravatar MichalMoskal2010-12-10
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
* Dafny: a partial first crack at a Dafny model-viewer provider, including capt...Gravatar rustanleino2010-11-01
* Implement struct printingGravatar MichalMoskal2010-10-14
* Add DisplayNode class with default IDisplayNode implementation. Add IDisplayN...Gravatar MichalMoskal2010-10-14
* Put Model.cs in separate assembly. Fix signing/versioning with it.Gravatar MichalMoskal2010-10-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 06:34:35 +0000