index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
Commit message (
Expand
)
Author
Age
*
removed files not being used any more
qadeer
2013-12-19
*
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
*
|
added syntax for par call and ParCallCmd
qadeer
2013-12-16
*
|
fixed type checking errors in QED stuff
qadeer
2013-12-14
|
/
*
fixes to type checking code
qadeer
2013-12-11
*
some refactoring of QED stuff
qadeer
2013-12-10
*
fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaring
qadeer
2013-12-07
*
first check in
qadeer
2013-12-04
*
Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...
Ally Donaldson
2013-12-02
*
do monomorphic checking
qadeer
2013-11-22
*
and a test case
akashlal
2013-10-25
*
And a test case
akashlal
2013-10-21
*
fixed bug introduced by the last checkin in letvciterative
qadeer
2013-09-08
*
fixed the linear type checking related to globals
qadeer
2013-09-04
*
inlining is now done in rhs of assignments for codeexprs
qadeer
2013-08-15
*
Extended codeexpr inlining to deal with nested codeexpr
qadeer
2013-08-15
*
cleaned up the OG code
qadeer
2013-08-07
*
Added test cases for symdiff (z3multipleErrors flag)
Unknown
2013-07-30
*
Make the dependency analysis for snapshot verification take 'where' clauses i...
wuestholz
2013-07-30
*
added types for all the expressions being added to calls
qadeer
2013-07-29
*
fix in the answer
Pantazis Deligiannis
2013-07-22
*
fix
Pantazis Deligiannis
2013-07-22
*
merge
Pantazis Deligiannis
2013-07-19
*
Merge
Pantazis Deligiannis
2013-07-15
|
\
*
|
added another regression
qadeer
2013-07-15
*
|
1. changed values passed to additional parameters to procedures; async and pa...
qadeer
2013-07-14
*
|
Added an attribute to set the time limit for implementations.
wuestholz
2013-07-12
|
*
added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...
Pantazis Deligiannis
2013-07-07
*
|
Added an option to verify each input file separately.
wuestholz
2013-07-05
|
/
*
Added support in the abstract interpreter for an attribute {:identity}, which...
Rustan Leino
2013-07-05
*
AbsHoudini: Few more abstract domains
akashlal
2013-06-16
*
AbsHoudini: added an implication domain
akashlal
2013-06-15
*
Worked on improving program snapshot verification (automatic prioritization).
wuestholz
2013-06-12
*
Worked on improving program snapshot verification.
wuestholz
2013-06-10
*
Worked on improving program snapshot verification.
wuestholz
2013-06-05
*
Fixed an issue with discovering program snapshots.
wuestholz
2013-06-03
*
Added a feature for verifying several program snapshots (incl. result caching...
wuestholz
2013-06-02
*
Merge
Rustan Leino
2013-05-30
|
\
*
|
Fixed bug in Interval abstract domain (pertaining to unary negation)
Rustan Leino
2013-05-30
|
*
Changed the prover interface to report traces for time outs and out of memory.
wuestholz
2013-05-30
|
/
*
Fixed bug in the cutting of back edges (that manifested itself whenever the f...
Rustan Leino
2013-05-29
*
Merge
akashlal
2013-05-27
|
\
|
*
AbsHoudini: Added support for quantifiers
akashlal
2013-05-27
*
|
Changed the 'CounterexampleComparer' to take traces into account.
wuestholz
2013-05-26
|
/
*
fixed bug in reporting the number of typechecking errors
Unknown
2013-05-22
*
reworked the linear and og implementation based on available variables theory
Unknown
2013-05-18
[next]