summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
* Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...Gravatar tabarbe2010-08-19
* Boogie: Removed a completed task commentGravatar tabarbe2010-08-19
* Boogie: Removed a completed task commentGravatar tabarbe2010-08-19
* Boogie: Removed an old task commentGravatar tabarbe2010-08-19
* Added recursion-bound-guided search for stratified inliningGravatar akashlal2010-08-19
* Chase type synonyms in arguments/results of map types when generating name (w...Gravatar MichalMoskal2010-08-18
* Some reformatting and refactoringGravatar akashlal2010-08-18
* Don't set monomorphize with typeEncoding:m, not neccessary.Gravatar MichalMoskal2010-08-18
* Added option for displaying stratified inlining's searchGravatar akashlal2010-08-18
* Change Synonym type printing to what it was, use a workaround in TypeToString...Gravatar MichalMoskal2010-08-18
* Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m us...Gravatar MichalMoskal2010-08-18
* Make /typeEncoding:m work with arraysGravatar MichalMoskal2010-08-18
* Boogie: Removed mistaken duplication of a type parameterGravatar tabarbe2010-08-16
* Stratified inlining: Changed recursion into a loop.Gravatar akashlal2010-08-16
* Bug fix for stratified inlining trace generationGravatar akashlal2010-08-16
* Added more options for stratified inliningGravatar akashlal2010-08-16
* Boogie: Committing changed referencesGravatar tabarbe2010-08-13
* Boogie: Adding 1 more necessary source file for VCExpr, removing an unnecessa...Gravatar tabarbe2010-08-13
* Boogie: Committing new source code for VCExprGravatar tabarbe2010-08-13
* Boogie: Renaming VCExpr sources in preparation for port commitGravatar tabarbe2010-08-13
* Added methods to read a file from any Stream objectGravatar akashlal2010-08-12
* Added the option /extractLoops to extract loops as procedure calls. If eithe...Gravatar qadeer2010-08-11
* Fixed a contractGravatar akashlal2010-08-10
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Boogie: Sorry about that - no need for the conditional compilationGravatar tabarbe2010-08-09
* Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.csGravatar tabarbe2010-08-09
* Boogie: Fixed a few line endingsGravatar tabarbe2010-08-06
* Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the -z3b...Gravatar MichalMoskal2010-08-06
* More line ending fixups.Gravatar MichalMoskal2010-08-06
* Fixup line-endings.Gravatar MichalMoskal2010-08-06
* Boogie: added /z3bv option that overrides the current setting of Z3 options f...Gravatar stobies2010-08-06
* Remove support for Z3 V1 and clean up parameter processing code for Z3Gravatar stobies2010-08-06
* Boogie: cleanup option handling code for Z3Gravatar stobies2010-08-05
* Commiting Michal's fix for VCGravatar stobies2010-08-05
* Dafny: Made line endings consistentGravatar tabarbe2010-08-04
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Dafny: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it...Gravatar tabarbe2010-08-04
* Fixed some infelicities in the project files.Gravatar mikebarnett2010-08-04
* Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ...Gravatar tabarbe2010-08-04
* Dafny: This file is required by DafnyPipeline.Gravatar tabarbe2010-08-03
* Dafny: Port commit part 1/2: Committing changed files.Gravatar tabarbe2010-08-03
* Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...Gravatar tabarbe2010-08-03
* Defunct project.Gravatar mikebarnett2010-08-03
* fixed path to the binaries directory; there was an extra .."Gravatar qadeer2010-08-03
* Boogie: The deletion of those files did not hold, lemme try again.Gravatar tabarbe2010-07-30
* Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...Gravatar tabarbe2010-07-30
* Boogie: Removed cce.cs's from the provers, because they all reference project...Gravatar tabarbe2010-07-30
* Also build Boogie and Dafny projects in 32-bit configurations.Gravatar rustanleino2010-07-30
* Sign both of the Dafny projects and have Dafny.exe get a version number as well.Gravatar mikebarnett2010-07-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-23 17:09:15 +0000