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
/
Simplify
Commit message (
Expand
)
Author
Age
*
Re-enabled quantifier checking in the Checked configuration.
mikebarnett
2011-03-16
*
Turn off quantifier checking in the runtime checking.
mikebarnett
2011-03-14
*
Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...
mikebarnett
2011-03-10
*
Added a new solution configuration, Checked, that builds the Checked configur...
mikebarnett
2011-03-07
*
Fix some more contracts.
mikebarnett
2011-03-07
*
Fix contracts so runtime checking can be turned on.
mikebarnett
2011-03-07
*
Kill {:prover "..."} attribute support; no one ever used this stuff
MichalMoskal
2011-02-17
*
Boogie: Yet another refinement of how Z3 is found. Previously, it would only...
rustanleino
2011-02-09
*
Look for z3.exe in the prover plugin directory first.
MichalMoskal
2011-02-02
*
Boogie: Made the algorithm for finding Z3 more robust.
wuestholz
2011-01-21
*
Use a made-up name when Context.Lookup() cannot find a name
MichalMoskal
2010-12-10
*
Don't crash in Context.Lookup when the namer has never seen the name. This ha...
MichalMoskal
2010-12-10
*
Added version.cs as link to those projects that were missing it
stobies
2010-12-06
*
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
qadeer
2010-12-01
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Boogie: Look for Z3 versions up to 2.20.
wuestholz
2010-11-23
*
Boogie: Changed the trace output formatting of the prover version slightly.
wuestholz
2010-11-11
*
Boogie:
rustanleino
2010-10-12
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Boogie:
rustanleino
2010-09-23
*
created a new build target called z3apidebug.
qadeer
2010-08-29
*
Added a constructor to a contract class otherwise the compiler complained abo...
mikebarnett
2010-08-28
*
Boogie: Simplify: Added a contracts class that I forgot in the initial porting.
tabarbe
2010-08-27
*
Boogie: Commented out all occurences of repeated inherited contracts - makes ...
tabarbe
2010-08-27
*
Boogie: Removed some errors with code contracts (commenting out doubly-inheri...
tabarbe
2010-08-27
*
Boogie: Changed the cce classes into one separate project, which every other ...
tabarbe
2010-08-27
*
Boogie: Basetypes port 3/3: Committing changed references
tabarbe
2010-08-27
*
Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...
tabarbe
2010-08-27
*
Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...
tabarbe
2010-08-26
*
Boogie: Committing changed references
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Fixed some doubly-inherited-contract occurrences.
tabarbe
2010-08-20
*
Boogie: Removed a completed task comment
tabarbe
2010-08-19
*
Boogie: Committing changed references
tabarbe
2010-08-13
*
Fixup line-endings.
MichalMoskal
2010-08-06
*
Boogie: added /z3bv option that overrides the current setting of Z3 options f...
stobies
2010-08-06
*
Boogie: Removed trailing spaces in code
tabarbe
2010-08-04
*
Boogie: The deletion of those files did not hold, lemme try again.
tabarbe
2010-07-30
*
Boogie: Removed cce.cs's from the provers, because they all reference project...
tabarbe
2010-07-30
*
Made consistent the way all of the C# projects sign themselves and include th...
mikebarnett
2010-07-30
*
Boogie: VCGeneration port part 3/3: Updating sources to reference new project...
tabarbe
2010-07-28
*
Fixed reference to VCGeneration project. Mistakenly checked in project files ...
mikebarnett
2010-07-28
*
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: Repaired a reentrancy error in Z3/Simplify.
tabarbe
2010-07-22
*
Boogie: Added stratified inlining. It is enabled using the flag /stratifiedIn...
akashlal
2010-07-07
*
Boogie:
rustanleino
2010-06-08
*
Updated to find the latest version of Z3 (2.7) and made the algorithm slightl...
wuestholz
2010-05-28
[next]