index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
og
Commit message (
Expand
)
Author
Age
*
Set the following tests to expected failure under lit. Having these
Dan Liew
2014-05-19
*
Enable as many "og" lit tests. Several fail because they weren't
Dan Liew
2014-05-11
*
example for variable introduction added
qadeer
2014-05-04
*
second checkpoint
qadeer
2014-05-04
*
checkpoint
qadeer
2014-05-03
*
updated the mover checks
qadeer
2014-04-25
*
added another sample
qadeer
2014-04-20
*
added simulation relation computation to yield type checking
qadeer
2014-04-20
*
added the framing for the refinement check
qadeer
2014-04-16
*
added variable hiding
qadeer
2014-04-16
*
added ReadOnlyStandardVisitor
qadeer
2014-02-24
*
fixed a bug in desugaring of linear variables
qadeer
2014-02-20
*
forgot to update the Answer file earlier
qadeer
2014-02-12
*
fixed the civl-paper example
qadeer
2014-02-12
*
using break statement in the inner loop instead of goto
qadeer
2014-02-11
*
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
*
more cleanup
qadeer
2014-01-23
*
some cleanup
qadeer
2014-01-23
*
some small optimizations to mover checking
qadeer
2014-01-22
*
some fixes
qadeer
2014-01-21
*
various bug fixes
qadeer
2014-01-21
*
fixed a bug revealed subsequent to the latest fix in parallel call handling
qadeer
2014-01-20
*
bug fix in handling of parallel call
qadeer
2014-01-20
*
updates
qadeer
2014-01-16
*
Merge
qadeer
2014-01-16
|
\
*
|
updating treiber stack
qadeer
2014-01-16
|
*
yields with invariants factored out into Yield12
stasiran
2014-01-16
|
/
*
InsertPair added.
stasiran
2014-01-15
*
Added Treiber stack (not yet readable by QED version of Boogie.)
stasiran
2014-01-15
*
Added Multiset benchmark
stasiran
2014-01-15
*
added more information to assert messages
qadeer
2014-01-14
*
small update to the example
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
*
another fix
qadeer
2014-01-02
*
some more fixes to examples
qadeer
2014-01-02
*
more fixes
qadeer
2014-01-02
*
some more fixes
qadeer
2014-01-02
*
fixed examples to deal with yield type checking errors
qadeer
2014-01-01
*
made some fixes
qadeer
2013-12-29
*
more bug fixes
qadeer
2013-12-24
*
updates
qadeer
2013-12-23
*
more bug fixes
qadeer
2013-12-22
*
bug fixes in Duplicate.cs and parsing of invariant attributes
qadeer
2013-12-22
*
removed files not being used any more
qadeer
2013-12-19
*
various updates and tighter integration of QED stuff into mainline
qadeer
2013-12-19
*
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
[next]