summaryrefslogtreecommitdiff
path: root/Source/Core
Commit message (Expand)AuthorAge
* (no commit message)Gravatar qadeer2010-02-12
* 1. Fixed bug in StandardVisitor.sscGravatar qadeer2010-02-09
* Boogie: /useArrayTheory currently implies /monomorphizeGravatar rustanleino2010-02-09
* Fix a bug in checking for {:inline} procedure attribute. Resolves #6993.Gravatar MichalMoskal2010-02-08
* Use reflection to read version string from assembly when displaying logo info...Gravatar stobies2010-02-08
* Fixed the implementation of inlining to deal with inlining depth properly.Gravatar qadeer2010-01-30
* Added experimental feature /DoomDebug. Can be test using Test/doomed/doomdebu...Gravatar schaef2010-01-28
* Implemented the command line switch /useArrayTheory. This switch should be u...Gravatar qadeer2010-01-21
* Allow ":" in addition to "returns" in function definitions. Make the pretty-p...Gravatar MichalMoskal2009-12-17
* Z3 parameters to help it bail out of fruitless searches fasterGravatar mkawa2009-12-05
* print attributes in AssertCmd.EmitGravatar mkawa2009-12-02
* Added resolution and translation of algebraic datatypes and (in function bodi...Gravatar rustanleino2009-11-20
* Fixed bug in inlining (procedure *definitions* had been traversed by Standard...Gravatar rustanleino2009-11-19
* Redesigned the encoding of Dafny generics, including the built-in types set a...Gravatar rustanleino2009-11-06
* Fixed bugs in inlining, and added a test case.Gravatar rustanleino2009-10-14
* Added /z3lets switch, which governs which kinds of LET expressions are sent t...Gravatar rustanleino2009-10-04
* Added /z3multipleErrors flag for generation of multiple counterexamples per a...Gravatar mkawa2009-09-23
* * Boogie and Dafny: added /cev:<file> optionGravatar rustanleino2009-09-15
* Dafny:Gravatar rustanleino2009-09-14
* Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit...Gravatar stobies2009-09-07
* Sign assembliesGravatar stobies2009-08-17
* Changes needed in order to build Boogie using a freshly built Spec# compiler ...Gravatar mikebarnett2009-08-10
* Fixed problem where nullary function with definition had caused a crash.Gravatar rustanleino2009-08-07
* Initial set of files.Gravatar mikebarnett2009-07-15