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
*
Changed the 'verifySnapshots' command-line option to accept a numeric argumen...
wuestholz
2014-06-20
*
Fixed crash in resolver
Rustan Leino
2014-06-19
*
Fixed a bug in revised mod set analysis
Ally Donaldson
2014-06-06
*
Refactored modset analysis to avoid the use of static fields. Static fields ...
Ally Donaldson
2014-06-06
*
Add isBvConst and asBvConst accessors to LiteralExpr to match the
Dan Liew
2014-05-28
*
Implemented an additional type check for assumption variables.
wuestholz
2014-05-27
*
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
*
|
checkpoint
qadeer
2014-05-03
*
|
updated the mover checks
qadeer
2014-04-25
*
|
Add support for assumption variables.
wuestholz
2014-04-21
*
|
Merge
qadeer
2014-04-16
|
\
\
*
|
|
added variable hiding
qadeer
2014-04-16
|
|
/
|
/
|
|
*
Fixed malformed Contracts section
Rustan Leino
2014-04-15
|
*
disabled quantifier merging, except when no triggers are provided (as discuss...
Unknown
2014-03-03
|
/
*
Added /printFixedPoint option
Ken McMillan
2014-04-14
*
Added option to avoid unrolling irreducible loops
akashlal
2014-04-06
*
Fixed class cast issue with type synonyms
Ally Donaldson
2014-04-01
*
Change class 'LambdaVisitor' to attach checksum to expanded lambda functions.
wuestholz
2014-03-17
*
Fix duplicator so that BVConcatExpr and BVExtractExpr are handled. Patch by ...
Ally Donaldson
2014-03-12
*
Merge
Rustan Leino
2014-02-28
|
\
*
|
Changed all lambda-expression rewriting to be done as a pre-processing step b...
Rustan Leino
2014-02-28
|
*
Added /trustNonInterference option
qadeer
2014-02-28
*
|
Changed return type of VisitLambdaExpr to just Expr
Rustan Leino
2014-02-27
|
*
added /doNotUseParallelism option
qadeer
2014-02-27
|
/
*
Fixed tokens to improve error message produce for type errors in non-inlined ...
Rustan Leino
2014-02-25
*
(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...
Rustan Leino
2014-02-24
*
added ReadOnlyStandardVisitor
qadeer
2014-02-24
*
Added /trustPhasesDownto option
qadeer
2014-02-24
*
Added /trustPhasesUpto option
qadeer
2014-02-23
*
Added /trustAtomicityTypes option
qadeer
2014-02-22
*
fixed code contracts violations
qadeer
2014-02-11
*
Fixed errors in the use of Code Contracts
Rustan Leino
2014-02-10
*
Fixed bug in handling of break statements
Rustan Leino
2014-02-10
*
bug fix in error trace printing
qadeer
2014-02-05
*
Option for reversing Houdini worklist (for top-down analysis)
akashlal
2014-01-28
*
Added functionality to rename state captures when programs are unrolled.
Ally Donaldson
2014-01-17
*
Integrated support for k-induction, implemented a while ago by Philipp Ruemme...
Ally Donaldson
2014-01-17
*
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Ally Donaldson
2014-01-14
*
extended NormalSubstituter so that it can take in a forold substitution
qadeer
2014-01-10
*
Recursive walking of Exprs doesn't play nice when the depth of the AST is high.
akashlal
2014-01-07
*
Updated year in main copyright message
Rustan Leino
2014-01-03
*
more bug fixes
qadeer
2013-12-24
*
bug fixes in Duplicate.cs and parsing of invariant attributes
qadeer
2013-12-22
*
Merge
qadeer
2013-12-19
|
\
*
|
various updates and tighter integration of QED stuff into mainline
qadeer
2013-12-19
|
*
Fixed another :never_pattern bug related to nested quantifiers
Rustan Leino
2013-12-16
|
*
Merge
Rustan Leino
2013-12-16
|
|
\
|
|
/
|
/
|
[next]