summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
...
* Version-stamp CCE assemblyGravatar stobies2010-09-01
* Added a new class LoopProcedure to represent the procedures representing extr...Gravatar qadeer2010-09-01
* Dafny: added a command-line option to change the prelude fileGravatar sboehme2010-08-30
* added a new api to Z3apiProcessTheoremProver for asserting axiomsGravatar qadeer2010-08-29
* created a new build target called z3apidebug.Gravatar qadeer2010-08-29
* BeginCheck now adds context.Axioms as well as the conjecture to the context.Gravatar qadeer2010-08-29
* Added a constructor to a contract class otherwise the compiler complained abo...Gravatar mikebarnett2010-08-28
* Boogie: Accidentally created a service references folder in Boogie's folder t...Gravatar tabarbe2010-08-27
* Boogie: Simplify: Added a contracts class that I forgot in the initial porting.Gravatar tabarbe2010-08-27
* Dafny: fallback to ShallowType (elements of IndexField arrays seem to have Ty...Gravatar sboehme2010-08-27
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Boogie: Removed some errors with code contracts (commenting out doubly-inheri...Gravatar tabarbe2010-08-27
* Dafny: added inlined functions making reads and updates of the heap explicitGravatar sboehme2010-08-27
* Boogie: Removed an incorrect Ensures clause on a void method.Gravatar tabarbe2010-08-27
* fixed bug with function name look upGravatar qadeer2010-08-27
* Boogie: Changed the cce classes into one separate project, which every other ...Gravatar tabarbe2010-08-27
* Boogie: Added Z3api to the build configuration.Gravatar tabarbe2010-08-27
* Boogie: Changed a messed-up refference to Z3api back to its previous state.Gravatar tabarbe2010-08-27
* Boogie: Basetypes port 3/3: Committing changed referencesGravatar tabarbe2010-08-27
* Boogie: Basetypes port 2/3: Committing new source file, deleting old oneGravatar tabarbe2010-08-27
* Boogie: Basetypes port 1/3: Committing new sourcesGravatar tabarbe2010-08-27
* Boogie: Renaming the Basetypes sources in preparation for my port commit.Gravatar tabarbe2010-08-27
* Bug fixes and logging for z3apiGravatar akashlal2010-08-27
* added some more apis to Z3apiGravatar qadeer2010-08-27
* Added a (temporary) CCE file so that Z3Api can build.Gravatar mikebarnett2010-08-27
* simplified the push-pop businessGravatar qadeer2010-08-27
* minor errorGravatar qadeer2010-08-27
* Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...Gravatar tabarbe2010-08-27
* Boogie: Graph port 2/3: Committing new source file, deleting old oneGravatar tabarbe2010-08-27
* Boogie: Graph port 1/3: Committing new sourcesGravatar tabarbe2010-08-27
* Boogie: Renaming the Graph files in preparation for the commit of my port.Gravatar tabarbe2010-08-27
* Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...Gravatar tabarbe2010-08-26
* Boogie: AIFramework port part 2/3: Committing needed source file, deleting un...Gravatar tabarbe2010-08-26
* Boogie: AIFramework port part 1/3: Committing new sources.Gravatar tabarbe2010-08-26
* Boogie: Renaming the AIFramework sources in preparation for committal of my p...Gravatar tabarbe2010-08-26
* Minor additions to z3apiGravatar akashlal2010-08-26
* bug fixes in z3apiGravatar qadeer2010-08-26
* fixed z3api so that it works on small examples now.Gravatar qadeer2010-08-24
* Report a bug in Z3 instead of evil input "?"Gravatar kyessenov2010-08-23
* Added a short description of new flags added to Boogie.Gravatar akashlal2010-08-23
* Disabled an expensive contract check. Instead, only check things that are act...Gravatar akashlal2010-08-23
* further fixes to Z3api project trying to make it work; still a long way off.Gravatar qadeer2010-08-23
* Fixed external references to other projects in the solution.Gravatar mikebarnett2010-08-23
* Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp...Gravatar tabarbe2010-08-20
* Boogie: Committing changed referencesGravatar tabarbe2010-08-20
* Boogie: Adding required source file, deleting no-longer-necessarry oneGravatar tabarbe2010-08-20
* Boogie: Committing changed source filesGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
* Boogie: Renaming core sources in preparation for port commitGravatar tabarbe2010-08-20
* Added the port of Z3api. It is simply a port to the latest version of Micros...Gravatar qadeer2010-08-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 07:27:08 +0000