summaryrefslogtreecommitdiff
path: root/Source/Core/CommandLineOptions.cs
Commit message (Expand)AuthorAge
* VC gen for security propertiesGravatar akashlal2015-04-05
* Eliminated calls to deprecated method.Gravatar wuestholz2015-02-18
* Added a setter for CommandLineOptions.ProverOptions and fixed several contracts.Gravatar wuestholz2015-02-18
* Worked on the verification result caching (trace output).Gravatar wuestholz2015-01-26
* Merging changes from wuestholz/BoogieInvariantFixesIIIIGravatar wuestholz2015-01-13
|\
* \ Merging changes from 0biha/BoogieInvariantFixesIIIaGravatar wuestholz2015-01-13
|\ \
| | * Made invariant of class CommandLineOptions robust by:Gravatar wuestholz2015-01-09
| | * Made 2 invariants of class 'CommandLineOptions' robust by:Gravatar wuestholz2015-01-09
| |/ |/|
* | Updated to Staged HoudiniGravatar Ally Donaldson2015-01-08
| * Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-31
| * Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2015-01-08
|/
* Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-24
* Backed out changeset: 4103d2e9c2efGravatar 0biha2014-12-24
* Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-23
* Made invariant of class 'CommandLineOptions' robust by changing the designGravatar 0biha2014-12-23
* Made invariant of class 'CommandLineOptions' robust byGravatar 0biha2014-12-23
* Made invariant of class 'CommandLineOptionEngine' robust byGravatar 0biha2014-12-23
* Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...Gravatar 0biha2014-12-19
* Added an annotation, :split_here, for predicate statements.Gravatar Bryan Parno2014-12-16
* renamed :phase to :layerGravatar qadeer2014-11-14
* Fixed minor issue (reported by Alex Summers).Gravatar wuestholz2014-10-28
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-18
* Minor changeGravatar wuestholz2014-10-14
* Add '/traceCaching' flag.Gravatar wuestholz2014-10-13
* Simple VC generation for SIGravatar akashlal2014-09-24
* fixed various CodeContracts issues.Gravatar qadeer2014-09-18
* removed /doNotUseParallelismGravatar qadeer2014-07-30
* Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"Gravatar Dan Rosén2014-06-24
* Worked on an extension of the existing verification result caching.Gravatar wuestholz2014-06-23
* Changed the 'verifySnapshots' command-line option to accept a numeric argumen...Gravatar wuestholz2014-06-20
* Merge duality changesGravatar Ken McMillan2014-05-26
|\
| * Conjecture printing for duality and child user time tracking.Gravatar Ken McMillan2014-05-26
* | Added stack boundingGravatar akashlal2014-05-10
* | Added /useBaseNameForFile command line argument. The ScannerGravatar Dan Liew2014-04-06
|/
* Added /printFixedPoint optionGravatar Ken McMillan2014-04-14
* Added option to avoid unrolling irreducible loopsGravatar akashlal2014-04-06
* Added /trustNonInterference optionGravatar qadeer2014-02-28
* added /doNotUseParallelism optionGravatar qadeer2014-02-27
* Added /trustPhasesDownto optionGravatar qadeer2014-02-24
* Added /trustPhasesUpto optionGravatar qadeer2014-02-23
* Added /trustAtomicityTypes optionGravatar qadeer2014-02-22
* Option for reversing Houdini worklist (for top-down analysis)Gravatar akashlal2014-01-28
* Integrated support for k-induction, implemented a while ago by Philipp Ruemme...Gravatar Ally Donaldson2014-01-17
* Updated year in main copyright messageGravatar Rustan Leino2014-01-03
* removed bitvector analysis from BoogieGravatar qadeer2013-12-08
* code cleanupGravatar akashlal2013-11-02
* small refactoringGravatar Pantazis Deligiannis2013-10-02
* support for disabling loop entry invariant assertion checkingGravatar Pantazis Deligiannis2013-10-01
* changes to support a configured errorLimitGravatar Pantazis Deligiannis2013-09-30
* more changes towards parallelisation of HoudiniGravatar Pantazis Deligiannis2013-09-29