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
/
ExecutionEngine.csproj
Commit message (
Expand
)
Author
Age
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
Minor changes to the "Checked" build configuration
wuestholz
2015-01-09
*
Changed the verification result cache to use the built-in 'MemoryCache' class.
wuestholz
2014-06-28
*
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Ally Donaldson
2014-01-14
*
some refactoring of QED stuff
qadeer
2013-12-10
*
added the QED build configuration
qadeer
2013-12-02
*
factored the concurrency checking code into a separate project
qadeer
2013-11-22
*
Fixed several build errors in the 'Checked' configuration.
wuestholz
2013-08-05
*
CVC4 Parser
pantazis
2013-06-12
*
Worked on improving program snapshot verification.
wuestholz
2013-06-11
*
Worked on improving program snapshot verification.
wuestholz
2013-06-07
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03
*
Did some refactoring in the Boogie driver.
wuestholz
2013-06-03