| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add unit test to catch another bug in Boogie where FunctionCall ShallowType |  Dan Liew | 2014-11-25 |
| | | | | | | | is not correctly set. This is related to the bug fixed in cea703affa29. That commit fixed the ShallowType when it was set using the constructor that takes a Function but the parser uses the other constructor which has the same bug. | ||
| * | Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowType | Dan Liew | 2014-11-25 |
| fails when the Function is a FunctionCall | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |