Skip to content
GitLab
Explore
Sign in
ag
bcverifier
Repository
Branches
Overview
Active
Stale
All
Stale branches
decrOnReturn
0d4c6394
·
changed handling of method return using returnTable. But this way, two totally...
·
May 10, 2012
definedInClass
6cadcf4c
·
switched from memberOf(m, t1, t2) to definedInClass(m, t2) == t1. This leads...
·
Jun 27, 2012
multiIF
a187657f
·
one of the test cases of the obool example was inconsistent (local invariant...
·
Aug 01, 2012
JUnitParallel
651306c3
·
parallel execution using JUnit (parameters of tests can not be seen in...
·
Aug 07, 2012
ternarySubtype
ab25f2fb
·
replace assume wellformedStack with assume EmptyInteractionFrame for boundary calls
·
Sep 12, 2012