summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Boogie build failedGravatar codeplexbot2010-08-24
* Chalice: working out mask transfers between concrete and abstract heaps -- ne...Gravatar kyessenov2010-08-24
* Chalice:Gravatar kyessenov2010-08-24
* Chalice: exhale spec statement post condition in refinement block translation...Gravatar kyessenov2010-08-23
* Chalice: copy concrete values for every permission in coupling invariants of ...Gravatar kyessenov2010-08-23
* 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
* Chalice:Gravatar kyessenov2010-08-23
* further fixes to Z3api project trying to make it work; still a long way off.Gravatar qadeer2010-08-23
* Boogie build failedGravatar codeplexbot2010-08-23
* Fixed external references to other projects in the solution.Gravatar mikebarnett2010-08-23
* Chalice: spec stmt was unimplementable; changed it and refined; Z3 produces e...Gravatar kyessenov2010-08-22
* Chalice: start of a DSW refinementGravatar kyessenov2010-08-22
* Chalice: refining lists doesn't quite work yet...Gravatar kyessenov2010-08-22
* Chalice: limited functions are still problematic (see Calculator.chalice)Gravatar kyessenov2010-08-22
* Chalice:Gravatar kyessenov2010-08-22
* Boogie build failedGravatar codeplexbot2010-08-21
* Chalice:Gravatar kyessenov2010-08-21
* server-side renameGravatar kyessenov2010-08-21
* 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
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Added user option for bounding inlining depthGravatar akashlal2010-08-20
* Chalice: added syntax, printer and resolver for coupling invariantsGravatar kyessenov2010-08-20
* Boogie build succeededGravatar codeplexbot2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* VS 2010 mode for Chalice: some errors didn't show up in the window because po...Gravatar kyessenov2010-08-20
* Boogie: Fixed a few contracts errorsGravatar tabarbe2010-08-19
* Boogie: Removed and completed a task commentGravatar tabarbe2010-08-19
* Boogie: Removed and completed a task commentGravatar tabarbe2010-08-19
* Boogie: Removed a completed task comment, added a forgotten Contract.EnsuresO...Gravatar tabarbe2010-08-19
* Boogie: Removed a completed task commentGravatar tabarbe2010-08-19
* Boogie: Removed a completed task commentGravatar tabarbe2010-08-19
* Boogie: Removed an old task commentGravatar tabarbe2010-08-19
* Chalice: more regression tests; cosmetic changes to codeGravatar kyessenov2010-08-19
* Added recursion-bound-guided search for stratified inliningGravatar akashlal2010-08-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-16 06:56:28 +0000