summaryrefslogtreecommitdiff
path: root/Source/Core/CommandLineOptions.ssc
Commit message (Expand)AuthorAge
* Don't set monomorphize with typeEncoding:m, not neccessary.Gravatar MichalMoskal2010-08-18
* Added option for displaying stratified inlining's searchGravatar akashlal2010-08-18
* Make /typeEncoding:m work with arraysGravatar MichalMoskal2010-08-18
* Added more options for stratified inliningGravatar akashlal2010-08-16
* Added the option /extractLoops to extract loops as procedure calls. If eithe...Gravatar qadeer2010-08-11
* Remove -z3DebugTraces and -z3Mam options (no longer working). Rename the -z3b...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: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: Added interprocedural live variable analysis. Flag to turn it on: "/l...Gravatar akashlal2010-07-19
* /stratifiedInline:n eagerly inlines n times before calling the stratified inl...Gravatar akashlal2010-07-10
* Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...Gravatar akashlal2010-07-07
* Dafny:Gravatar rustanleino2010-05-06
* Dafny:Gravatar rustanleino2010-05-06
* Added another option for lazy inlining based on macro expansion. This option...Gravatar qadeer2010-05-03
* 1. Fixed lazy inlining implementation so that inlined procedures use live var...Gravatar qadeer2010-04-30
* 1. Fixed an off-by-one error in parsing array partitions in Z3 modelsGravatar qadeer2010-04-19
* First cut of lazy inlining. The option can be turned on by the flag /lazyInl...Gravatar qadeer2010-04-17
* Dafny: Added definedness checks for all statements (previously, some were mi...Gravatar rustanleino2010-03-13
* Boogie:Gravatar rustanleino2010-02-20
* added an option /doModSetAnalysis specially for ZvonimirGravatar qadeer2010-02-20
* Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...Gravatar MichalMoskal2010-02-19
* * Added "deprecated" comment in help message about /interprocInfer switch. T...Gravatar rustanleino2010-02-18
* Implemented block coalescing invoked right after type checking.Gravatar qadeer2010-02-16
* (no commit message)Gravatar qadeer2010-02-12
* Boogie: /useArrayTheory currently implies /monomorphizeGravatar rustanleino2010-02-09
* 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
* 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
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 03:10:35 +0000