index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Provers
/
Isabelle
Commit message (
Expand
)
Author
Age
*
<Boogie> <Isabelle> Turned off Code Contracts Runtime Checking. Will enable ...
tabarbe
2010-07-15
*
Fixed reference to InterimKey.snk.
mikebarnett
2010-07-14
*
Fixed project files to point to references correctly and also to remove assem...
mikebarnett
2010-07-14
*
Boogie/Isabelle: Had to redirect some references required for building.
tabarbe
2010-07-14
*
Boogie/Isabelle && Boogie/BoogieDriver: Moved the AssemblyInfo.cs files into ...
tabarbe
2010-07-14
*
Isabelle: No need for this file anymore.
tabarbe
2010-07-14
*
Boogie/Isabelle: Yet again trying to get Prover.cs committing.
tabarbe
2010-07-14
*
Boogie: As the filename suggests, I am trying to give Tortoise a kick in the ...
tabarbe
2010-07-14
*
Boogie/Isabelle: Committing Isabelle port
tabarbe
2010-07-14
*
Boogie: More rename snafu fixing
tabarbe
2010-07-14
*
<Boogie> More rename fixing </Boogie>
tabarbe
2010-07-14
*
<Boogie> <Isabelle> Fixing rename error <\Isabelle> <\Boogie>
tabarbe
2010-07-14
*
<Boogie> <Isabelle> Renaming the source files of the Isabelle project in prep...
tabarbe
2010-07-14
*
Derive IsabelleContext from DeclFreeProverContext
stobies
2010-06-16
*
Implement if-then-else expression.
MichalMoskal
2010-02-18
*
Removed Unicode chars from Assembly attributes - they are not liked too much ...
stobies
2010-02-08
*
Preparing Isabelle plugin sources for VCC release.
stobies
2010-02-08
*
Added prover plugin for Isabelle/HOL.
sboehme
2009-12-14