| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
| |
of evaluation (omitting normal Ur function calls, so far)
|
| |
|
| |
|
|
|
|
| |
fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
|
| |
|
|
|
|
| |
reverse order; set needs_sig properly
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
updated Basis/Top
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|