index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Work stealing queue (PLDI '12 Vechev et al.)
Unknown
2015-01-28
*
Handle timeout in refinement loop
akashlal
2015-01-28
*
Merge
qadeer
2015-01-27
|
\
*
|
removed unused functions and axioms to make the verification faster
qadeer
2015-01-27
|
*
Fixed minor issue.
wuestholz
2015-01-26
|
*
Worked on the verification result caching (statement checksums).
wuestholz
2015-01-26
|
*
Minor change
wuestholz
2015-01-26
|
*
Minor change
wuestholz
2015-01-26
|
*
Worked on the verification result caching (trace output).
wuestholz
2015-01-26
|
*
Change the return type of StandardVisitor.VisitLiteralExpr() from
Dan Liew
2015-01-25
|
*
Change the return type of StandardVisitor.VisitExistsExpr() from
Dan Liew
2015-01-25
|
*
Change the return type of StandardVisitor.VisitForAllExpr() from
Dan Liew
2015-01-25
|
*
Change the return type of StandardVisitor.VisitBvExtractExpr() from
Dan Liew
2015-01-25
|
*
Change the return type of StandardVisitor.VisitBvConcatExpr() from
Dan Liew
2015-01-25
|
*
Worked on the verification result caching (use weights for extracted functions).
wuestholz
2015-01-24
|
*
Worked on the verification result caching (use native support for partially v...
wuestholz
2015-01-16
|
*
Fixes to StagedHoudini
Ally Donaldson
2015-01-23
|
*
Merge
Ally Donaldson
2015-01-22
|
|
\
|
|
/
|
/
|
|
*
Fixes to StagedHoudini
Ally Donaldson
2015-01-22
*
|
Merge
qadeer
2015-01-16
|
\
|
*
|
removed "layer" attribute from the desugared program
qadeer
2015-01-16
|
*
Worked on StagedHoudini
Ally Donaldson
2015-01-16
|
*
Fix related to limitations in CVC4 model parsing
Ally Donaldson
2015-01-14
|
*
Merge
Ally Donaldson
2015-01-13
|
|
\
|
|
*
Merging changes from wuestholz/BoogieInvariantFixesIIII
wuestholz
2015-01-13
|
|
|
\
|
|
*
|
Merging changes from 0biha/BoogieInvariantFixesIIIa
wuestholz
2015-01-13
|
|
/
|
|
|
/
|
|
|
|
*
|
|
Removed unnecessary stage-related attributes from candidate annotations.
Ally Donaldson
2015-01-10
|
|
|
*
Made 2 invariants of class 'VariableCollector' robust by:
wuestholz
2015-01-09
|
|
|
*
Made invariant of class 'Trigger' robust by:
wuestholz
2015-01-09
|
|
|
*
Made invariant of class 'StmtList' robust by:
wuestholz
2015-01-09
|
|
|
*
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
|
/
/
|
*
Tiny change ('Trigger' class)
0biha
2015-01-08
*
|
Updated to Staged Houdini
Ally Donaldson
2015-01-08
|
*
Fixed a null reference problem in class 'Constant'.
0biha
2015-01-08
|
*
Tiny fix (made field 'tr' of class 'Trigger' private)
0biha
2015-01-08
|
*
Made 2 invariants of class 'DeclWithFormals' robust by changing the design
0biha
2015-01-07
|
*
Rewrote 'globalVariablesCache' invariant fix of class 'Program'
0biha
2015-01-08
|
*
Made invariant of class 'Constant' robust by making list 'Parents' read-only
0biha
2015-01-05
|
*
Made invariant of class 'AtomicRE' robust by changing the design
0biha
2015-01-05
|
*
Made invariant of class 'Trigger' robust by
0biha
2015-01-01
|
*
Made invariant of class 'ListOfMiningStrategies' robust by changing the design
0biha
2015-01-01
|
*
Made invariant of class 'IfThenElse' robust by changing the design
0biha
2015-01-01
|
*
Made 2 invariants of class 'IfCmd' robust by changing the design
0biha
2015-01-01
|
*
Made invariant of class 'EEDTemplate' robust by changing the design
0biha
2015-01-01
[prev]
[next]