summaryrefslogtreecommitdiff
path: root/Source/Core/CommandLineOptions.cs
Commit message (Expand)AuthorAge
* Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...Gravatar MichalMoskal2011-02-11
* implemented /UseUnsatCoreForInlining option for use in stratified inliningGravatar qadeer2011-02-06
* Dafny: removed CEV instrumentationGravatar rustanleino2011-02-03
* Add description of {:selective_checking} to the /attrHelp. Fix the testcase.Gravatar MichalMoskal2011-01-13
* z3api: Bug fix with timeout. Use CheckAssumptions.Gravatar akashlal2010-12-07
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* Make the -mv option use the new Model class.Gravatar MichalMoskal2010-10-12
* Boogie:Gravatar rustanleino2010-09-23
* Some simplifications to coverage reporting for StratifiedInlining.Gravatar akashlal2010-09-19
* Dafny: added a command-line option to change the prelude fileGravatar sboehme2010-08-30
* Added a short description of new flags added to Boogie.Gravatar akashlal2010-08-23
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 02:42:34 +0000