| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Show accumulator as dummy string, not error | Tom Smeding | 2024-10-26 |
| | | |||
| * | Debugging | Tom Smeding | 2024-10-26 |
| | | |||
| * | Fix interpreter bug | Tom Smeding | 2024-10-22 |
| | | |||
| * | Tests | Tom Smeding | 2024-10-21 |
| | | |||
| * | Reverse-by-forward, and checking neural (it's wrong) | Tom Smeding | 2024-10-01 |
| | | |||
| * | Interpreter typechecks, at the cost of compositionality of RepAc | Tom Smeding | 2024-09-22 |
| | | |||
| * | Some hacking | Tom Smeding | 2024-09-22 |
| | | |||
| * | WIP Accum stuff | Tom Smeding | 2024-09-15 |
| | | |||
| * | WIP better zero/plus, fixing Accum (...) | Tom Smeding | 2024-09-13 |
| | | | | | | | | | | | | | | The accumulator implementation was wrong because it forgot (in accumAdd) to take into account that values may be variably-sized. Furthermore, it was also complexity-inefficient because it did not build up a sparse value. Thus let's go for the Haskell-interpreter-equivalent of what a real, fast, compiled implementation would do: just a tree with mutable variables. In practice one can decide to indeed flatten parts of that tree, i.e. using a tree representation for nested pairs is bad, but that should have been done _before_ execution and for _all_ occurrences of that type fragment, not live at runtime by the accumulator implementation. | ||
| * | Interpreter, some operations | Tom Smeding | 2024-09-12 |
| | | |||
| * | Finish Accum implementation | Tom Smeding | 2024-09-11 |
| | | |||
| * | More WIP interpreter | Tom Smeding | 2024-09-11 |
| | | |||
| * | WIP interpreter | Tom Smeding | 2024-09-06 |
 |
index : chad-fast | |
| [no description] | git daemon user |
| summaryrefslogtreecommitdiff |