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
*
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
|
|
\
|
|
/
|
/
|
|
*
Fixed bug in never_pattern functionality. In the new design, never_pattern d...
Rustan Leino
2013-12-16
*
|
regenerated after updating Parser.frame
qadeer
2013-12-16
*
|
added syntax for par call and ParCallCmd
qadeer
2013-12-16
*
|
Merge
qadeer
2013-12-14
|
\
\
*
|
|
fixed type checking errors in QED stuff
qadeer
2013-12-14
|
|
/
|
/
|
|
*
Resolve a concurrency issue (reported by Alex Summers).
wuestholz
2013-12-12
|
/
*
fixes to type checking code
qadeer
2013-12-11
*
Remove some (redundant) preconditions to avoid 'ccrewrite' errors.
wuestholz
2013-12-11
*
some refactoring of QED stuff
qadeer
2013-12-10
*
removed bitvector analysis from Boogie
qadeer
2013-12-08
*
Merge
qadeer
2013-12-02
|
\
*
|
added the QED build configuration
qadeer
2013-12-02
|
*
Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...
Ally Donaldson
2013-12-02
|
/
*
factored the concurrency checking code into a separate project
qadeer
2013-11-22
*
code cleanup
akashlal
2013-11-02
*
Merge
qadeer
2013-10-25
|
\
*
|
minor refactoring
qadeer
2013-10-25
[next]