| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-02-12 | Translating linearization functions to Haskell: more simplifications | hallgren |
| 2015-02-11 | Translating linearization functions to Haskell: simplify the generated Haskel... | hallgren |
| 2015-02-09 | Translating linearization functions to Haskell: support for variants | hallgren |
| 2015-01-19 | Translating linearization functions to Haskell: move a common record type to ... | hallgren |
| 2015-01-14 | Translating linearization functions to Haskell: better treatment of special t... | hallgren |
| 2015-01-08 | Translating linearization functions to Haskell: add support for pre {...} | hallgren |
| 2015-01-07 | Translating linearization functions to Haskell: use qualified names to avoid ... | hallgren |
| 2015-01-06 | Translating linearization functions to Haskell: significant code size reductions | hallgren |
| 2015-01-06 | More work on translating linearization functions to Haskell | hallgren |
| 2014-12-11 | Work in progress on translating linearization functions to Haskell | hallgren |
