| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Normalise line endings using a .gitattributes file. Unfortunately |  Dan Liew | 2015-06-28 |
| | | | | | | | this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored. | ||
| * | Fix Boogie so it compiled with mono. Patch by Dan Liew. |  Ally Donaldson | 2014-01-14 |
| | | |||
| * | Removed AIFramework from Boogie -- use native trivial or native ↵ | boehmes | 2012-09-27 |
| | | | | | | | | interval-based abstract interpretation instead. Command-line option '/infer' now accepts only arguments 't' and 'j' where the latter is the default now for Boogie. Command-line option '/logInfer' has been dropped. | ||
| * | Trying to merge with recent changes, failing. |  Ken McMillan | 2012-06-05 |
| |\ | |||
| | * | Some changes to support expanded use of z3api. | Ken McMillan | 2012-06-05 |
| | | | | | | | | | | | | | | | | | | | | | Should not affect function of other provers. There is an option added in Check.cs to allow creation of a Checker with a user-specified ProverContext. Also, some extension of z3api prover context to support conversion of Z3 formulas back to VCExpr. Finally, some experimental code, not enabled, to allow conversion of loops to recursion with "head recursion" rather than "tail recursion" (i.e., recursive call before loop body rather than after). | ||
| * | | further fixes related to using uninterpreted function for error traces |  qadeer | 2012-02-25 |
| |/ | | | | removed Provers.Simplify, Provers.Z3, Provers.TPTP from the solution | ||
| * | fixes to z3api | qadeer | 2011-06-24 |
| | | |||
| * | clean up in z3api | qadeer | 2011-06-22 |
| | | |||
| * | Re-enabled quantifier checking in the Checked configuration. | mikebarnett | 2011-03-16 |
| | | |||
| * | Turn off quantifier checking in the runtime checking. | mikebarnett | 2011-03-14 |
| | | |||
| * | Added a new solution configuration, Checked, that builds the Checked ↵ | mikebarnett | 2011-03-07 |
| | | | | | configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration. | ||
| * | Added version.cs as link to those projects that were missing it | stobies | 2010-12-06 |
| | | | | | Select 4.0 client profile on all projects | ||
| * | 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 |
| | | | | | Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0. | ||
| * | Update to VS2010. | MichalMoskal | 2010-10-07 |
| | | |||
| * | created a new build target called z3apidebug. | qadeer | 2010-08-29 |
| | | | | | | only this target has a compile time dependency on Microsoft.Z3.dll. To compile this target, a reference to z3api must be manually added to BoogieDriver. | ||
| * | BeginCheck now adds context.Axioms as well as the conjecture to the context. | qadeer | 2010-08-29 |
| | | | | | Also started using the new quantifier api. | ||
| * | Boogie: Changed the cce classes into one separate project, which every other ↵ | tabarbe | 2010-08-27 |
| | | | | | project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods. | ||
| * | Boogie: Basetypes port 3/3: Committing changed references | tabarbe | 2010-08-27 |
| | | | | | Z3api.csproj shouldn't get in the way this time 'round. | ||
| * | Added a (temporary) CCE file so that Z3Api can build. | mikebarnett | 2010-08-27 |
| | | |||
| * | Boogie: AIFramework port part 3/3: Committing reference changes, edit to ↵ | tabarbe | 2010-08-26 |
| | | | | | Core to jive with recent changes made to the cce class. | ||
| * | further fixes to Z3api project trying to make it work; still a long way off. | qadeer | 2010-08-23 |
| | | |||
| * | Boogie: Changed reference of Z3api.csproj to the differently-GUIDded ↵ | tabarbe | 2010-08-20 |
| | | | | | Core.csproj, rather than Core.sscproj's old GUID. | ||
| * | Added the port of Z3api. It is simply a port to the latest version of ↵ | qadeer | 2010-08-20 |
| Microsoft.Z3.dll and to C#. It does not work yet. | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |