| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
interpreter interface
|
|
|
|
|
|
|
|
correct now, fixes, pp
|
|
|
|
{power,armv8}_extras.lem; fixes
|
|
|
|
matches, reset variable name counter for each function clause, fixes
|
|
|
|
|
|
|
|
|
|
|
|
rewrite for-loops, if/case-expressions to return updated variables
|
|
|
|
(probably) at least for Power.
|
|
functions, and state definition
|
|
|
|
|
|
variants when there are more than 246 constructors
|
|
|
|
|
|
more library
|
|
Tweak to rewriter to actually rewrite function patterns
|
|
output of such
|
