index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
|
Enable Linear inequality lit tests.
Dan Liew
2014-05-07
*
|
For lit test infrastructure, disable running tests in
Dan Liew
2014-05-07
*
|
Enable the Constant propagation tests as lit tests.
Dan Liew
2014-05-07
*
|
Enabled "Verify Boogie 2" lit tests. Note the following tests fail
Dan Liew
2014-05-07
*
|
Enabled tests for types introduced in Boogie2 as lit tests.
Dan Liew
2014-05-07
*
|
Enable the VCVariety.BlockNested tests as lit tests.
Dan Liew
2014-05-07
*
|
Enabled VC Generation lit tests.
Dan Liew
2014-05-07
*
|
For lit tests running on Windows pass /W flag to the fc tool
Dan Liew
2014-05-06
*
|
Enabled lit tests for test1/ directory
Dan Liew
2014-05-06
|
*
Merge extra recuresion bound changes for FixedPointVC
Ken McMillan
2014-04-21
|
|
\
*
|
|
Teach the ExecutionEngine to respect the -useBaseNameForFileName commandline
Dan Liew
2014-04-09
*
|
|
Enabled most of the name resolution lit tests. They don't all pass
Dan Liew
2014-05-05
*
|
|
Converted textbook tests to lit tests.
Dan Liew
2014-04-08
*
|
|
Add lit.local.cfg that instructs not to run any tests in this
Dan Liew
2014-05-05
*
|
|
Pass -useBaseNameForFileName option to Boogie when running tests.
Dan Liew
2014-04-06
*
|
|
Added /useBaseNameForFile command line argument. The Scanner
Dan Liew
2014-04-06
*
|
|
Enable houdini lit tests. Note some still fail due to Boogie
Dan Liew
2014-05-05
*
|
|
Added basic lit configuration file for running tests.
Dan Liew
2014-04-06
*
|
|
a bug fix
qadeer
2014-05-07
*
|
|
added {:aux} attribute to local variables
qadeer
2014-05-07
*
|
|
minor fix
qadeer
2014-05-05
*
|
|
third checkpoint (refactored more code)
qadeer
2014-05-05
*
|
|
example for variable introduction added
qadeer
2014-05-04
*
|
|
second checkpoint
qadeer
2014-05-04
*
|
|
checkpoint
qadeer
2014-05-03
*
|
|
bug fix in the last update
qadeer
2014-04-25
*
|
|
updated the mover checks
qadeer
2014-04-25
*
|
|
Add support for assumption variables.
wuestholz
2014-04-21
*
|
|
added another sample
qadeer
2014-04-20
*
|
|
added simulation relation computation to yield type checking
qadeer
2014-04-20
*
|
|
fixed some bugs in the previous check ins
qadeer
2014-04-16
*
|
|
added the framing for the refinement check
qadeer
2014-04-16
*
|
|
Merge
qadeer
2014-04-16
|
\
\
\
*
|
|
|
added variable hiding
qadeer
2014-04-16
|
*
|
|
Minor fix to abshoudini
akashlal
2014-04-16
|
*
|
|
Fixed malformed Contracts section
Rustan Leino
2014-04-15
|
|
|
*
Added extra recursion bound and preconditions to FixedpointVC.
Ken McMillan
2014-03-17
|
*
|
|
disabled quantifier merging, except when no triggers are provided (as discuss...
Unknown
2014-03-03
|
/
/
/
*
|
|
Merge
qadeer
2014-04-15
|
\
|
|
*
|
|
added more types to constructed expressions
qadeer
2014-04-15
|
*
|
Merge changes for /printFixedPoint option
Ken McMillan
2014-04-14
|
/
|
|
|
*
|
Added /printFixedPoint option
Ken McMillan
2014-04-14
*
|
|
resolved expressions created during generation of procedures for mover checks
qadeer
2014-04-14
*
|
|
Fixed abstract interpretation for reals
Rustan Leino
2014-04-13
|
/
/
*
|
Fixed bug in abstract interpretation over reals
Rustan Leino
2014-04-08
*
|
Added option to avoid unrolling irreducible loops
akashlal
2014-04-06
*
|
Fixed class cast issue with type synonyms
Ally Donaldson
2014-04-01
*
|
Fixes to predication. Patch by Jeroen Ketema.
Ally Donaldson
2014-03-18
*
|
Change class 'LambdaVisitor' to attach checksum to expanded lambda functions.
wuestholz
2014-03-17
*
|
More exhaustive generation of assertions during predication. Patch by Jeroen...
Ally Donaldson
2014-03-14
[prev]
[next]