| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Update the test's .expect file since the fix is merged into boogie. |  qunyanm | 2016-02-12 |
| | | |||
| * | Fix issue 128. Change the translation of CanCallAssumption for let-such-that | qunyanm | 2016-02-04 |
| expression from // CanCall[[ var b :| RHS(b,g); Body(b,g,h) ]] = // (forall b0,b1 :: typeAntecedent ==> // CanCall[[ RHS(b,g) ]] && // (RHS(b,g) ==> CanCall[[ Body(b,g,h) ]]) && // $let$canCall(b,g)) to // CanCall[[ var b0,b1 :| RHS(b0,b1,g); Body(b0,b1,g,h) ]] = // $let$canCall(g) && // CanCall[[ Body($let$b0(g), $let$b1(g), h) ]] | |||
 |
index : debian-dafny | |
| Debian packaging for Dafny |
| summaryrefslogtreecommitdiff |