index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
BoogieDriver
Commit message (
Expand
)
Author
Age
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02
*
two automatically generated app.config that I didn't add earlier.
qadeer
2010-11-27
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Refactoring: pulled out all code for stratified inlining to a new file.
akashlal
2010-11-23
*
Make the -mv option use the new Model class.
MichalMoskal
2010-10-12
*
Get rid of some CCI dependencies in Driver
MichalMoskal
2010-10-07
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Boogie:
rustanleino
2010-09-23
*
Fixed an off-by-one error. Added "ReachedBound" as a valid boogie outcome.
akashlal
2010-09-18
*
Dafny:
rustanleino
2010-09-14
*
Fix for extractLoops
akashlal
2010-09-04
*
Added a fix to extract loops code so that it returns a more comprehensive map...
qadeer
2010-09-03
*
fixed bug in extract loops by ensuring that loop extraction is done in nestin...
qadeer
2010-09-01
*
Added a way of recovering counterexample paths after loop extraction. Stable,...
akashlal
2010-09-01
*
added a new api to Z3apiProcessTheoremProver for asserting axioms
qadeer
2010-08-29
*
created a new build target called z3apidebug.
qadeer
2010-08-29
*
Boogie: Accidentally created a service references folder in Boogie's folder t...
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: Changed a messed-up refference to Z3api back to its previous state.
tabarbe
2010-08-27
*
added some more apis to Z3api
qadeer
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
*
further fixes to Z3api project trying to make it work; still a long way off.
qadeer
2010-08-23
*
Boogie: Committing changed references
tabarbe
2010-08-20
*
Boogie: Removed a completed task comment
tabarbe
2010-08-19
*
Boogie: Committing changed references
tabarbe
2010-08-13
*
Added the option /extractLoops to extract loops as procedure calls. If eithe...
qadeer
2010-08-11
*
Boogie: Sorry about that - no need for the conditional compilation
tabarbe
2010-08-09
*
Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.cs
tabarbe
2010-08-09
*
fixed path to the binaries directory; there was an extra .."
qadeer
2010-08-03
*
Boogie: Changed BoogieDriver.cs to use a copy of cce.cs, rather than an inter...
tabarbe
2010-07-30
*
Made consistent the way all of the C# projects sign themselves and include th...
mikebarnett
2010-07-30
*
Changed reference to AbsInt from a dll reference to a project reference.
mikebarnett
2010-07-28
*
Boogie: VCGeneration port part 3/3: Updating sources to reference new project...
tabarbe
2010-07-28
*
Boogie: Committing my port of simplify, along with the slightly changed refer...
tabarbe
2010-07-23
*
Boogie: Committing my port of the SMTLib project
tabarbe
2010-07-22
*
Boogie: Repaired a reentrancy error in Z3/Simplify.
tabarbe
2010-07-22
*
Boogie: The reference to Z3 was dropped during the commit. Here it is back.
tabarbe
2010-07-20
*
Boogie: Forgot to check in this file. Hope no one tried to rebuild without i...
tabarbe
2010-07-19
*
<Boogie> Removed references to AssemblyInfo.cs files - unnecessary for the bu...
tabarbe
2010-07-16
*
<Boogie> BoogieDriver.csproj was missing a reference to AbsInt. Remedied tha...
tabarbe
2010-07-16
*
Boogie: Generated Code Contracts settings for BoogieDriver.csproj (everything...
tabarbe
2010-07-15
*
Fix for cyrptographic signing error.
kyessenov
2010-07-14
*
Fixed project files to point to references correctly and also to remove assem...
mikebarnett
2010-07-14
*
Boogie/Isabelle && Boogie/BoogieDriver: Moved the AssemblyInfo.cs files into ...
tabarbe
2010-07-14
*
<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the chan...
tabarbe
2010-07-14
*
Renaming the old boogiedriver sources in preparation for syncing my ported ch...
tabarbe
2010-07-13
*
/stratifiedInline:n eagerly inlines n times before calling the stratified inl...
akashlal
2010-07-10
*
Removed a few unnecessary nonnull type declarations, as I also removed some u...
tabarbe
2010-07-07
[next]