1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-26 17:13:35 +03:00
juvix/test/Tree
Paul Cadman 60bffcfeb8
refactor: Add Anoma Node in Tree language (#2784)
Similarly to how the Cairo operations are handled we add a separate Tree
language Node for Anoma operations instead of handling them as an Unop
Node.

This is necessary because we need to add support for new Anoma
operations that are not unary.

This PR also adds support for `anoma-encode` and `anoma-decode`
functions in `jvt` tree source files which was missed in the previous
PRs.
2024-05-17 09:14:05 +01:00
..
Asm Use prettyString instead of show . pretty (#2711) 2024-04-12 10:26:54 +02:00
Eval Use prettyString instead of show . pretty (#2711) 2024-04-12 10:26:54 +02:00
Transformation refactor: Add Anoma Node in Tree language (#2784) 2024-05-17 09:14:05 +01:00
Asm.hs JuvixTree tests (#2587) 2024-01-25 18:02:06 +00:00
Eval.hs JuvixTree negative evaluation tests (#2601) 2024-02-01 12:58:38 +00:00
Transformation.hs Support nockma scry (#2678) 2024-03-21 16:44:14 +01:00