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
Commit message (
Expand
)
Author
Age
*
Boogie Provers: Changed the references from binary to project references.
tabarbe
2010-07-27
*
Boogie: AssemblyInfo.cs is no longer required for the build; cce.cs is.
tabarbe
2010-07-23
*
Boogie: Committing my port of simplify, along with the slightly changed refer...
tabarbe
2010-07-23
*
Boogie: Renaming Simplify.sscproj and source files in preparation for committ...
tabarbe
2010-07-23
*
Boogie: One last file to add for the port commit. Also, AssemblyInfo.ssc is ...
tabarbe
2010-07-22
*
Boogie: Committing my port of the SMTLib project
tabarbe
2010-07-22
*
Boogie: Renaming the source files for the SMTLib project in preparation for c...
tabarbe
2010-07-22
*
Boogie: This file is no longer necessary, with how the csproj file is structu...
tabarbe
2010-07-22
*
Boogie: Repaired a reentrancy error in Z3/Simplify.
tabarbe
2010-07-22
*
Boogie: Looks like the default namespace should be Microsoft.Boogie.Z3, rathe...
tabarbe
2010-07-22
*
Boogie: Changed the assembly name for the Z3 project to Provers.Z3.dll, so th...
tabarbe
2010-07-22
*
Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code Contrac...
tabarbe
2010-07-21
*
Boogie: Forgot this file when I checked in the port of Z3. (cce = Code Contr...
tabarbe
2010-07-21
*
Boogie: Committing ported version of Z3.
tabarbe
2010-07-20
*
Boogie: Typo with the renaming. Fixed
tabarbe
2010-07-20
*
Boogie: Let's try that rename again, shall we?
tabarbe
2010-07-20
*
Boogie: Rename didn't work. Resetting to try again
tabarbe
2010-07-20
*
Boogie/Z3: Renaming the sources for Z3 in preparation for commit of my port o...
tabarbe
2010-07-20
*
Boogie/Isabelle: implemented missing translation of if-then-else expressions
sboehme
2010-07-20
*
Boogie: Changed how the references in AbsInt are referenced, and fixed a typo...
tabarbe
2010-07-19
*
Boogie: Whoops, forgot to check this in. Sorry if it broke the build.
tabarbe
2010-07-19
*
<Boogie> Final removal of Isabelle's mention of a Properties.cs file
tabarbe
2010-07-16
*
<Boogie> Removed the AssemblyInfo.cs file from Isabelle.
tabarbe
2010-07-16
*
<Boogie> Removed references to AssemblyInfo.cs files - unnecessary for the bu...
tabarbe
2010-07-16
*
Boogie/Isabelle: Added tags of some places that generate errors when Code Con...
tabarbe
2010-07-15
*
<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
*
Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...
akashlal
2010-07-07
*
Boogie:
rustanleino
2010-06-22
*
Derive IsabelleContext from DeclFreeProverContext
stobies
2010-06-16
*
Boogie:
rustanleino
2010-06-08
*
Updated to find the latest version of Z3 (2.7) and made the algorithm slightl...
wuestholz
2010-05-28
*
Added another option for lazy inlining based on macro expansion. This option...
qadeer
2010-05-03
*
Updated to find the latest version of Z3 (2.6).
wuestholz
2010-05-02
*
1. Fixed lazy inlining implementation so that inlined procedures use live var...
qadeer
2010-04-30
*
1. Fixed an off-by-one error in parsing array partitions in Z3 models
qadeer
2010-04-19
*
Fixed a bug. Call RegisterType before the collection of Select and Store fun...
qadeer
2010-04-19
*
First cut of lazy inlining. The option can be turned on by the flag /lazyInl...
qadeer
2010-04-17
*
Implement if-then-else expression.
MichalMoskal
2010-02-18
[next]