index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
ParserHelper
Commit message (
Expand
)
Author
Age
*
Rename DLLs to non-generic names by prefixing "Boogie". Project names and
akashlal
2016-04-15
*
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
Fix Boogie so it compiled with mono. Patch by Dan Liew.
Ally Donaldson
2014-01-14
*
added the QED build configuration
qadeer
2013-12-02
*
CVC4 Parser
pantazis
2013-06-12
*
Removed old comments about "BASEMOVE" and other constructor calls, where the ...
Unknown
2013-01-07
*
Re-enabled quantifier checking in the Checked configuration.
mikebarnett
2011-03-16
*
Turn off quantifier checking in the runtime checking.
mikebarnett
2011-03-14
*
Added a new solution configuration, Checked, that builds the Checked configur...
mikebarnett
2011-03-07
*
Fix contracts so runtime checking can be turned on.
mikebarnett
2011-03-07
*
Added version.cs as link to those projects that were missing it
stobies
2010-12-06
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02