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
Commit message (
Expand
)
Author
Age
*
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
*
Minor refactoring
Valentin Wüstholz
2015-05-17
*
Make caching of verification results more fine-grained for changes that affec...
Valentin Wüstholz
2015-05-17
*
Add support for 'verified_under' attributes on procedure calls and invariants.
Valentin Wüstholz
2015-04-29
*
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
*
Protect Bitvector field of BvExtractExpr when it is immutable.
Dan Liew
2015-02-12
*
Protect E0 and E1 in BvConcatExpr if Expr is immutable.
Dan Liew
2015-02-12
*
Fix what looked like a serious design issue when Type checking
Dan Liew
2015-02-12
*
When an Expr immutable, never change Type reference if it has been set,
Dan Liew
2015-02-12
*
Protect the Args field of NAryExpr when it is immutable.
Dan Liew
2015-02-12
*
Fix performance issue in ComputeHashCode() methods of Expr classes.
Dan Liew
2015-02-02
*
Fix typechecking immutable Expr when we have
Dan Liew
2015-01-31
*
Made it produce slightly different passive commands for assignments to assump...
wuestholz
2015-01-30
*
Protect the body of ForAllExpr, ExistsExpr and LambdaExpr when they
Dan Liew
2015-01-29
*
Fix ForAllExpr, ExistsExpr and LambdaExpr constructors so it is possible
Dan Liew
2015-01-29
*
Protect the NAryExpr.Fun field when the NAryExpr is immutable.
Dan Liew
2015-01-29
*
Protect the Expr field of OldExpr if it is immutable. Add unit test
Dan Liew
2015-01-29
*
Protect the Type field of an Expr if is Immutable. Note if the Expr
Dan Liew
2015-01-29
*
Protect the Name and Decl fields of IdentifierExpr when it is
Dan Liew
2015-01-29
*
Prevent a BvConst being changed once constructed. The motivation
Dan Liew
2015-01-29
*
Add the ability to declare Expr to be immutable at construction time.
Dan Liew
2015-01-29
*
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
*
Fixes to StagedHoudini
Ally Donaldson
2015-01-22
*
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
[next]