summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Add functions generated in lambda-expansion of function body to top-level pro...Gravatar MichalMoskal2010-12-17
* Chalice: this fixes a bug (an unsoundness) that arose in when a program combi...Gravatar mueller2010-12-16
* A couple of bug fixesGravatar akashlal2010-12-16
* fixed a couple of issues:Gravatar qadeer2010-12-16
* Better handling of user provided skolem variablesGravatar MichalMoskal2010-12-16
* Search in long names, not the short onesGravatar MichalMoskal2010-12-16
* Added Alloc implementation to the PreludeGravatar qadeer2010-12-15
* Cleanup up the inlining codeGravatar qadeer2010-12-15
* Added a new option for splitting fieldsGravatar qadeer2010-12-15
* Changed the behavior of /doModSetAnalysis so thatGravatar qadeer2010-12-15
* Display ghost localsGravatar MichalMoskal2010-12-15
* Add reload-model option. Bugfixes when switching modelsGravatar MichalMoskal2010-12-15
* Include one more expert level (this need to be rethought I guess).Gravatar MichalMoskal2010-12-14
* Add information about field being volatileGravatar MichalMoskal2010-12-14
* Support arrays and & pseudo-fieldGravatar MichalMoskal2010-12-14
* Add Func.OptEval function and some docsGravatar MichalMoskal2010-12-14
* Fixed declaration of procedures from static methods so that they don't have t...Gravatar mikebarnett2010-12-14
* changed the prelude to use only the int type and eliminated bunch of axioms n...Gravatar qadeer2010-12-14
* Translate calls to static methods.Gravatar mikebarnett2010-12-14
* Add freshly-allocated object as argument to ctors.Gravatar mikebarnett2010-12-14
* Translate object creation expressions.Gravatar mikebarnett2010-12-14
* stratified inlining: minor changes to coverage reporterGravatar akashlal2010-12-13
* Rework the namer interface a bitGravatar MichalMoskal2010-12-10
* Improve type detectionGravatar MichalMoskal2010-12-10
* Yet another icon updateGravatar MichalMoskal2010-12-10
* Fix typoGravatar MichalMoskal2010-12-10
* Improve the iconGravatar MichalMoskal2010-12-10
* Add an icon. Get rid of SearchBox (not used).Gravatar MichalMoskal2010-12-10
* Dafny: Added Test/dafny1/PriorityQueue.dfyGravatar rustanleino2010-12-10
* Boogie: Did some minor refactoring.Gravatar wuestholz2010-12-10
* Display Skolem constants (no functions yet)Gravatar MichalMoskal2010-12-10
* Allow for model selection if there are multiple in the fileGravatar MichalMoskal2010-12-10
* Use a made-up name when Context.Lookup() cannot find a nameGravatar MichalMoskal2010-12-10
* Don't crash in Context.Lookup when the namer has never seen the name. This ha...Gravatar MichalMoskal2010-12-10
* More BCT ignoresGravatar MichalMoskal2010-12-10
* Add ToString() overrides to help in debuggingGravatar MichalMoskal2010-12-10
* Ignore some BCT filesGravatar MichalMoskal2010-12-10
* Add a reference to ParserHelper.dll for the definition of IToken which was mo...Gravatar mikebarnett2010-12-09
* Fixed field update and field dereference.Gravatar mikebarnett2010-12-09
* Adapt to new APIs in CCI.Gravatar mikebarnett2010-12-08
* Rename BVD binary to (suprise!) BVDGravatar MichalMoskal2010-12-08
* stratified inlining: added option of turning off CheckAssumptionsGravatar akashlal2010-12-07
* z3api: Bug fix with timeout. Use CheckAssumptions.Gravatar akashlal2010-12-07
* Remove FSharp DLLs (no longer needed) and obsolete MakefileGravatar MichalMoskal2010-12-06
* Remove the checked in Microsoft.ContractsGravatar MichalMoskal2010-12-06
* Move CCE to 4.0Gravatar MichalMoskal2010-12-06
* Ignore one more VCC functionGravatar MichalMoskal2010-12-06
* One more link to version.csGravatar stobies2010-12-06
* Removed superfluous app.configGravatar stobies2010-12-06
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-27 18:48:47 +0000