index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
/
CommandLineOptions.cs
Commit message (
Expand
)
Author
Age
*
Fix issue #16 reported by @crazykt
Dan Liew
2015-06-28
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
adding z3name option
Ken McMillan
2015-06-15
*
Minor changes
Valentin Wüstholz
2015-06-12
*
various changes for duality from dead codeplex repo
U-REDMOND\kenmcmil
2015-06-09
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-06-08
*
Fix minor issue.
Valentin Wüstholz
2015-06-05
*
Improve support for diagnosing timeouts.
Valentin Wüstholz
2015-06-05
*
Add some experimental support for diagnosing timeouts.
Valentin Wüstholz
2015-05-18
*
VC gen for security properties
akashlal
2015-04-05
*
Eliminated calls to deprecated method.
wuestholz
2015-02-18
*
Added a setter for CommandLineOptions.ProverOptions and fixed several contracts.
wuestholz
2015-02-18
*
Worked on the verification result caching (trace output).
wuestholz
2015-01-26
*
Merging changes from wuestholz/BoogieInvariantFixesIIII
wuestholz
2015-01-13
|
\
*
\
Merging changes from 0biha/BoogieInvariantFixesIIIa
wuestholz
2015-01-13
|
\
\
|
|
*
Made invariant of class CommandLineOptions robust by:
wuestholz
2015-01-09
|
|
*
Made 2 invariants of class 'CommandLineOptions' robust by:
wuestholz
2015-01-09
|
|
/
|
/
|
*
|
Updated to Staged Houdini
Ally Donaldson
2015-01-08
|
*
Made invariant of class 'CommandLineOptions' robust by changing the design
0biha
2014-12-31
|
*
Made invariant of class 'CommandLineOptions' robust by changing the design
0biha
2015-01-08
|
/
*
Made invariant of class 'CommandLineOptions' robust by changing the design
0biha
2014-12-24
*
Backed out changeset: 4103d2e9c2ef
0biha
2014-12-24
*
Made invariant of class 'CommandLineOptions' robust by changing the design
0biha
2014-12-23
*
Made invariant of class 'CommandLineOptions' robust by changing the design
0biha
2014-12-23
*
Made invariant of class 'CommandLineOptions' robust by
0biha
2014-12-23
*
Made invariant of class 'CommandLineOptionEngine' robust by
0biha
2014-12-23
*
Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...
0biha
2014-12-19
*
Added an annotation, :split_here, for predicate statements.
Bryan Parno
2014-12-16
*
renamed :phase to :layer
qadeer
2014-11-14
*
Fixed minor issue (reported by Alex Summers).
wuestholz
2014-10-28
*
Made it produce more trace output for the verification result caching.
wuestholz
2014-10-18
*
Minor change
wuestholz
2014-10-14
*
Add '/traceCaching' flag.
wuestholz
2014-10-13
*
Simple VC generation for SI
akashlal
2014-09-24
*
fixed various CodeContracts issues.
qadeer
2014-09-18
*
removed /doNotUseParallelism
qadeer
2014-07-30
*
Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"
Dan Rosén
2014-06-24
*
Worked on an extension of the existing verification result caching.
wuestholz
2014-06-23
*
Changed the 'verifySnapshots' command-line option to accept a numeric argumen...
wuestholz
2014-06-20
*
Merge duality changes
Ken McMillan
2014-05-26
|
\
|
*
Conjecture printing for duality and child user time tracking.
Ken McMillan
2014-05-26
*
|
Added stack bounding
akashlal
2014-05-10
*
|
Added /useBaseNameForFile command line argument. The Scanner
Dan Liew
2014-04-06
|
/
*
Added /printFixedPoint option
Ken McMillan
2014-04-14
*
Added option to avoid unrolling irreducible loops
akashlal
2014-04-06
*
Added /trustNonInterference option
qadeer
2014-02-28
*
added /doNotUseParallelism option
qadeer
2014-02-27
*
Added /trustPhasesDownto option
qadeer
2014-02-24
*
Added /trustPhasesUpto option
qadeer
2014-02-23
*
Added /trustAtomicityTypes option
qadeer
2014-02-22
[next]