| Age | Commit message (Collapse) | Author |
|---|
|
rewrite for-loops, if/case-expressions to return updated variables
|
|
could be useful
Define in that a function for determining a default direction for vectors
|
|
|
|
|
|
(probably) at least for Power.
|
|
functions, and state definition
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
variants when there are more than 246 constructors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
More ocaml output, better treatment of registers.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
more library
|
|
|
|
|
|
|
|
|
|
|
|
vector_concat patterns, fixed a pp missing newline
|
|
|
|
|
|
|
|
Tweak to rewriter to actually rewrite function patterns
|
|
|
|
normalise_exp exp that should transform expressions into a form where they can be embedded into monadic lem or prover definitions. Both untested
|
|
|
