index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
ExecutionEngine
Commit message (
Expand
)
Author
Age
*
Optimized the way that dependency checkums are computed.
wuestholz
2014-06-26
*
Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"
Dan Rosén
2014-06-24
*
Worked on an extension of the existing verification result caching.
wuestholz
2014-06-23
*
Changed the 'verifySnapshots' command-line option to accept a numeric argumen...
wuestholz
2014-06-20
*
Refactored modset analysis to avoid the use of static fields. Static fields ...
Ally Donaldson
2014-06-06
*
Fixed minor issue.
wuestholz
2014-05-28
*
Undid accidental commit
Ally Donaldson
2014-05-27
*
Merge
Ally Donaldson
2014-05-27
*
Teach the ExecutionEngine to respect the -useBaseNameForFileName commandline
Dan Liew
2014-04-09
*
Added /useBaseNameForFile command line argument. The Scanner
Dan Liew
2014-04-06
*
Merge
Rustan Leino
2014-02-28
|
\
*
|
Changed all lambda-expression rewriting to be done as a pre-processing step b...
Rustan Leino
2014-02-28
|
*
Added a fix to inlining so that it becomes cognizant of procedures that the u...
qadeer
2014-02-28
|
*
added /doNotUseParallelism option
qadeer
2014-02-27
|
/
*
added ReadOnlyStandardVisitor
qadeer
2014-02-24
*
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Ally Donaldson
2014-01-14
*
more refactoring of the concurrency stuff
qadeer
2013-12-20
*
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
*
some refactoring of QED stuff
qadeer
2013-12-10
*
Expose certain program transformations in the execution engine to invoke them...
wuestholz
2013-12-09
*
removed bitvector analysis from Boogie
qadeer
2013-12-08
*
fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaring
qadeer
2013-12-07
*
added the QED build configuration
qadeer
2013-12-02
*
factored the concurrency checking code into a separate project
qadeer
2013-11-22
*
do monomorphic checking
qadeer
2013-11-22
*
minor refactoring
qadeer
2013-10-25
*
a minor refactoring + implemented mover checking
qadeer
2013-10-25
*
Merge
qadeer
2013-10-15
|
\
*
|
bug fix in yield inference in modset analysis
qadeer
2013-10-15
|
*
Merge
Pantazis Deligiannis
2013-10-09
|
|
\
|
|
/
|
/
|
*
|
No need for OG with Stratified Inlining.
akashlal
2013-09-08
|
*
Merge
Pantazis Deligiannis
2013-08-20
|
|
\
|
|
/
|
/
|
|
*
new option to disable checking for loop maintained invariants - this leads to...
Pantazis Deligiannis
2013-08-15
*
|
cleaned up the OG code
qadeer
2013-08-07
*
|
Fixed several build errors in the 'Checked' configuration.
wuestholz
2013-08-05
*
|
Make the dependency analysis for snapshot verification take 'where' clauses i...
wuestholz
2013-07-30
|
/
*
BlockSeq: farewell
Ally Donaldson
2013-07-22
*
merge
Pantazis Deligiannis
2013-07-19
|
\
|
*
Revamp of staged Houdini, and completion of parallel support.
allydonaldson
2013-07-18
|
*
Extracted Houdini statistics into a record, and parametersied Houdini class w...
allydonaldson
2013-07-16
|
*
Merge
allydonaldson
2013-07-16
|
|
\
|
*
|
Reworking of Staged Houdini in preparation for parallelising it.
allydonaldson
2013-07-16
*
|
|
Merge
Pantazis Deligiannis
2013-07-15
|
\
\
\
|
|
_
|
/
|
/
|
|
*
|
|
Changed the class 'ErrorInformation' to store the model separately.
wuestholz
2013-07-12
*
|
|
Added an attribute to set the time limit for implementations.
wuestholz
2013-07-12
|
|
/
|
/
|
*
|
Worked on the parallelization.
wuestholz
2013-07-10
*
|
Worked on the parallelization (task cancellation).
wuestholz
2013-07-09
|
*
merge
Pantazis Deligiannis
2013-07-06
|
|
\
*
|
|
Added an option to verify each input file separately.
wuestholz
2013-07-05
|
|
/
|
/
|
[next]