Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Boogie: added type 'real' with overloaded arithmetic operations plus real div... | boehmes | 2012-09-27 |
* | further refactoring | qadeer | 2011-06-24 |
* | fixes to z3api | qadeer | 2011-06-24 |
* | clean up in z3api | qadeer | 2011-06-22 |
* | various fixes to port to latest version of Microsoft.Z3.dll | qadeer | 2011-06-22 |
* | Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln | qadeer | 2010-12-01 |
* | fixed z3api so that it works on small examples now. | qadeer | 2010-08-24 |
* | further fixes to Z3api project trying to make it work; still a long way off. | qadeer | 2010-08-23 |
* | Added the port of Z3api. It is simply a port to the latest version of Micros... | qadeer | 2010-08-20 |