index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
Made invariant of class 'StmtList' robust by:
wuestholz
2015-01-09
*
Made invariant of class 'QKeyValue' robust by:
wuestholz
2015-01-09
*
Made invariant of class 'EEDTemplate' robust by:
wuestholz
2015-01-09
*
Made invariant of class 'Block' robust by:
wuestholz
2015-01-09
*
Made invariant of class CommandLineOptions robust by:
wuestholz
2015-01-09
*
Made 2 invariants of class 'CommandLineOptions' robust by:
wuestholz
2015-01-09
*
Minor changes to the "Checked" build configuration
wuestholz
2015-01-09
*
Updated to Staged Houdini
Ally Donaldson
2015-01-08
*
Minor changes
wuestholz
2015-01-02
*
Added a test and a todo.
wuestholz
2015-01-02
*
Worked on more native support for partially-verified assertions.
wuestholz
2014-12-28
*
Minor change in verification result caching (extracted functions)
wuestholz
2014-12-28
*
Merging changes from 0biha/BoogieInvariantFixesII
wuestholz
2014-12-27
|
\
*
\
Merge
0biha
2014-12-26
|
\
\
|
|
*
Merge
0biha
2014-12-26
|
|
|
\
|
|
|
/
|
|
/
|
|
|
*
Minor precondition fix
0biha
2014-12-26
|
*
|
Minor change
wuestholz
2014-12-26
|
*
|
Fixed a postcondition.
wuestholz
2014-12-26
|
*
|
strengthened type checking
qadeer
2014-12-26
|
|
*
Replaced properties Lhss_NRO and Rhss_NRO by methods SetLhs and SetRhs.
0biha
2014-12-25
|
|
*
Made some compatibility fixes after running the unit tests.
0biha
2014-12-24
|
|
*
Made invariant of class 'CommandLineOptions' robust by changing the design
0biha
2014-12-24
|
|
*
Backed out changeset: 4103d2e9c2ef
0biha
2014-12-24
|
|
*
Scanner generation with Coco
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 'Scanner' robust by changing the design (replaced pub...
0biha
2014-12-23
|
|
*
Made invariant of class 'ProcedureSummaryEntry' robust by changing the design
0biha
2014-12-23
|
|
*
Made invariant of class 'HavocCmd' robust by changing the design (replaced pu...
0biha
2014-12-19
|
|
*
Made 2 invariants of type 'StateCmd' robust by changing the design
0biha
2014-12-19
|
|
*
Made 2 invariants of type 'AssignCmd' robust by
0biha
2014-12-19
|
|
*
Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...
0biha
2014-12-19
|
|
*
Made invariant of class 'Ensures' robust by changing the design (replaced pub...
0biha
2014-12-19
|
*
|
changed type checking of yield procedures so that they can only call other yi...
qadeer
2014-12-18
|
|
/
|
*
more work on reducing call stack consumption
qadeer
2014-12-18
|
*
some refactoring to separate the concept of shared variables under refinement...
qadeer
2014-12-17
|
*
Merge
qadeer
2014-12-16
|
|
\
|
*
|
patched two occurrences of StackOverflowException on benchmarks from IronClad
qadeer
2014-12-16
|
|
*
Added an annotation, :split_here, for predicate statements.
Bryan Parno
2014-12-16
|
|
/
*
|
Merge
0biha
2014-12-16
|
\
|
|
*
Fixed a precondition.
wuestholz
2014-12-16
|
*
patched last check in
qadeer
2014-12-15
|
*
1. made variable introduction layer explicit in the test cases
qadeer
2014-12-15
|
*
systematic renaming of phase to layer
qadeer
2014-12-15
*
|
Made 2 invariants of class 'Sequential' robust by changing the design (replac...
0biha
2014-12-15
*
|
Made invariant of class 'Choice' robust by changing the design (replaced publ...
0biha
2014-12-15
*
|
Made 2 invariants of class 'TypepedIdent' robust by changing the design (repl...
0biha
2014-12-15
*
|
Made invariant of class 'Requires' robust by changing the design (replaced pu...
0biha
2014-12-15
[next]