| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-08-04 | Various improvements for ASL generation | Alasdair Armstrong | |
| Fixed a bug where existential constraint's weren't used to solve function quantifiers correctly | |||
| 2017-02-03 | fix headers | Peter Sewell | |
| 2016-06-20 | Fix error in type checker that put some constraints wrongly into conditional ↵ | Kathy Gray | |
| constraints, breaking power. Also improve reporting of contract constraints, but then turn them off :( to allow power to compile. | |||
| 2016-01-26 | move closer to power.sail -> power.ml output | Kathy Gray | |
| 2014-04-02 | Solve more constraints; fix up test suite bugs uncovered by solving more ↵ | Kathy Gray | |
| constraints. Clean up Lem output a little for readability while debugging. | |||
| 2013-08-08 | More forms converting from parse_ast to ast; also removed some annot aux ↵ | Kathy Gray | |
| homs for terms that only need locations and not full annotations | |||
| 2013-08-01 | Lex and discard comments | Gabriel Kerneis | |
| 2013-07-31 | Revert "Remove the wrong reporting basic" | Gabriel Kerneis | |
| This reverts commit b0efdb7172e65707cceab0eff469584217b8b589. | |||
| 2013-07-31 | Remove the wrong reporting basic | Kathy Gray | |
| 2013-07-31 | Adding the real reporting basic | Kathy Gray | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |