| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-07-10 | Reduce functions during constant propagation under reasonable circumstances | Brian Campbell |
| 2017-07-10 | Support some variable patterns in monomorphisation | Brian Campbell |
| 2017-07-07 | Warn when we can't monomorphise a constructor application | Brian Campbell |
| 2017-07-07 | Correct variable mapping when splitting constructor patterns for monomorphisa... | Brian Campbell |
| 2017-07-07 | Implement basic monomorphisation of constructors | Brian Campbell |
| 2017-06-30 | Split bit patterns for monomorphisation, do equality checks | Brian Campbell |
| 2017-06-29 | Propagate type information from reducing case expressions | Brian Campbell |
| 2017-06-28 | Reduce simple enumeration cases during monomorphisation | Brian Campbell |
| 2017-06-23 | Get rid of bogus singleton pattern warnings | Brian Campbell |
| 2017-06-23 | Basic constant propagation for partial monomorphisation | Brian Campbell |
| 2017-06-22 | Initial partial monomorphisation work | Brian Campbell |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |