index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Concurrency
Commit message (
Expand
)
Author
Age
*
Added /trustNonInterference option
qadeer
2014-02-28
*
added some missing attributes to desugared assertions
qadeer
2014-02-27
*
added tokens to calls and requires/ensures
qadeer
2014-02-26
*
fixed couple of bugs reported by Serdar
qadeer
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 a bug in desugaring of linear variables
qadeer
2014-02-20
*
fixed a bug in the automaton construction labeling
qadeer
2014-02-18
*
fixed a problem with the nonblocking check
qadeer
2014-02-10
*
added nonblocking checker for left movers
qadeer
2014-02-07
*
added another example and fixed a bug regarding initialization of pc/ok
qadeer
2014-02-07
*
new design for linear types + VCgen
qadeer
2014-02-07
*
bug fix in error trace printing
qadeer
2014-02-05
*
some small optimizations to mover checking
qadeer
2014-01-22
*
various bug fixes
qadeer
2014-01-21
*
bug fix: if an absy is not reachable, make the set of available vars empty at it
qadeer
2014-01-21
*
bug fix in handling of parallel call
qadeer
2014-01-20
*
bug fix in error trace printing
qadeer
2014-01-16
*
fix for a completeness bug (reported by Serdar) in refinement checker
qadeer
2014-01-16
*
Clean up of yield type checker
qadeer
2014-01-16
*
in the middle of cleaning up yield type checker
qadeer
2014-01-15
*
fixed lots of bugs in mover checking code
qadeer
2014-01-14
*
fixed bug in optimization of commutativity check
qadeer
2014-01-14
*
Merge
qadeer
2014-01-14
|
\
*
|
added more information to assert messages
qadeer
2014-01-14
|
*
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Ally Donaldson
2014-01-14
|
/
*
Existential failure checker replaced with universal.
stasiran
2014-01-13
*
a bug fix
qadeer
2014-01-13
*
eliminated use of assertionPhaseNums
qadeer
2014-01-13
*
Some proper naming done in YieldTypeChecker
kuruis
2014-01-12
*
extended NormalSubstituter so that it can take in a forold substitution
qadeer
2014-01-10
*
implemented a simple quantifier elimination for havoc commands in computing t...
qadeer
2014-01-09
*
some optimizations to mover checks
qadeer
2014-01-09
*
a fix regarding the checking of assertions in atomic specs at call sites
qadeer
2014-01-08
*
first cut of refinement checking
qadeer
2014-01-07
*
points on "home strecth of yield type checker" added
kuruis
2014-01-04
*
and another
qadeer
2014-01-03
*
another small fix
qadeer
2014-01-03
*
some fixes
qadeer
2014-01-03
*
First rough draft of refinement checking.
stasiran
2014-01-03
*
First rough draft of refinement checking.
stasiran
2014-01-03
*
minor bug in traversing program fixed
kuruis
2014-01-03
*
some bugs related with phases fixed
kuruis
2014-01-03
*
debug pragma closed
kuruis
2014-01-02
*
some fixes on devicedriver example
kuruis
2014-01-02
*
Error reporting with line numbers and commands of trace is provided
kuruis
2014-01-02
*
some proper yield check reporting provided
kuruis
2014-01-02
[next]