| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2005-11-30 | Remove more useless pattern matching and variable bindings in transfer ↵ | bringert | |
| compilation. | |||
| 2005-11-29 | Use rec and sig for records. | bringert | |
| 2005-11-29 | Transfer: added derive composFold | bringert | |
| 2005-11-29 | Transfer: don't eta-expand overshadowed constructors. | bringert | |
| 2005-11-29 | Fixed type argument to recursive call in generated composOp. | bringert | |
| 2005-11-29 | In transfer beta reduction optimization: reduce bottom-up instead of top-down. | bringert | |
| 2005-11-29 | Added meta variables to transfer front-end and core. | bringert | |
| 2005-11-28 | Transfer compiler: extended variable removal to variables bound in case ↵ | bringert | |
| expressions. | |||
| 2005-11-28 | Transfer compilation: Change varibles which are not used to wildcards. | bringert | |
| 2005-11-28 | Fixed transfer composOp generation to support tree types that don't take a ↵ | bringert | |
| single type argument. | |||
| 2005-11-25 | Move transfer into the GF repo. | bringert | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |