Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp... | tabarbe | 2010-08-20 |
* | Added the port of Z3api. It is simply a port to the latest version of Micros... | qadeer | 2010-08-20 |
index : debian-boogie | ||
Debian packaging for Boogie |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Boogie: Changed reference of Z3api.csproj to the differently-GUIDded Core.csp... | tabarbe | 2010-08-20 |
* | Added the port of Z3api. It is simply a port to the latest version of Micros... | qadeer | 2010-08-20 |