index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
Commit message (
Expand
)
Author
Age
*
added an optimization to extract loops so that only loop targets are treated ...
qadeer
2010-09-10
*
Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...
akashlal
2010-09-05
*
Delete unreachable Blocks of an Impl before calling ExtractLoops().
akashlal
2010-09-05
*
Fixed a performance issue with StratifiedInlining
akashlal
2010-09-05
*
Fix for extractLoops
akashlal
2010-09-04
*
Henrique's addition to the the ErrorHandler API to retrieve models
qadeer
2010-09-03
*
more fixes to ExtractLoops
qadeer
2010-09-03
*
Added a fix to extract loops code so that it returns a more comprehensive map...
qadeer
2010-09-03
*
Changed the interface of Parse so that it can consume a program from a Stream
akashlal
2010-09-03
*
bunch of fixes related to Boogie error model generation from the Z3 error mod...
qadeer
2010-09-03
*
Bug fix for StratifiedInlining. Use extra Booleans to model procedure calls, ...
akashlal
2010-09-02
*
fixed bug in extract loops by ensuring that loop extraction is done in nestin...
qadeer
2010-09-01
*
Minor fix to my previous commit
akashlal
2010-09-01
*
Added a way of recovering counterexample paths after loop extraction. Stable,...
akashlal
2010-09-01
*
Version-stamp CCE assembly
stobies
2010-09-01
*
Added a new class LoopProcedure to represent the procedures representing extr...
qadeer
2010-09-01
*
Dafny: added a command-line option to change the prelude file
sboehme
2010-08-30
*
added a new api to Z3apiProcessTheoremProver for asserting axioms
qadeer
2010-08-29
*
created a new build target called z3apidebug.
qadeer
2010-08-29
*
BeginCheck now adds context.Axioms as well as the conjecture to the context.
qadeer
2010-08-29
*
Added a constructor to a contract class otherwise the compiler complained abo...
mikebarnett
2010-08-28
*
Boogie: Accidentally created a service references folder in Boogie's folder t...
tabarbe
2010-08-27
*
Boogie: Simplify: Added a contracts class that I forgot in the initial porting.
tabarbe
2010-08-27
*
Dafny: fallback to ShallowType (elements of IndexField arrays seem to have Ty...
sboehme
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
*
Dafny: added inlined functions making reads and updates of the heap explicit
sboehme
2010-08-27
*
Boogie: Removed an incorrect Ensures clause on a void method.
tabarbe
2010-08-27
*
fixed bug with function name look up
qadeer
2010-08-27
*
Boogie: Changed the cce classes into one separate project, which every other ...
tabarbe
2010-08-27
*
Boogie: Added Z3api to the build configuration.
tabarbe
2010-08-27
*
Boogie: Changed a messed-up refference to Z3api back to its previous state.
tabarbe
2010-08-27
*
Boogie: Basetypes port 3/3: Committing changed references
tabarbe
2010-08-27
*
Boogie: Basetypes port 2/3: Committing new source file, deleting old one
tabarbe
2010-08-27
*
Boogie: Basetypes port 1/3: Committing new sources
tabarbe
2010-08-27
*
Boogie: Renaming the Basetypes sources in preparation for my port commit.
tabarbe
2010-08-27
*
Bug fixes and logging for z3api
akashlal
2010-08-27
*
added some more apis to Z3api
qadeer
2010-08-27
*
Added a (temporary) CCE file so that Z3Api can build.
mikebarnett
2010-08-27
*
simplified the push-pop business
qadeer
2010-08-27
*
minor error
qadeer
2010-08-27
*
Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...
tabarbe
2010-08-27
*
Boogie: Graph port 2/3: Committing new source file, deleting old one
tabarbe
2010-08-27
*
Boogie: Graph port 1/3: Committing new sources
tabarbe
2010-08-27
*
Boogie: Renaming the Graph files in preparation for the commit of my port.
tabarbe
2010-08-27
*
Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...
tabarbe
2010-08-26
*
Boogie: AIFramework port part 2/3: Committing needed source file, deleting un...
tabarbe
2010-08-26
*
Boogie: AIFramework port part 1/3: Committing new sources.
tabarbe
2010-08-26
*
Boogie: Renaming the AIFramework sources in preparation for committal of my p...
tabarbe
2010-08-26
*
Minor additions to z3api
akashlal
2010-08-26
[next]