anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-19 04:41:36 +03:00
Code Issues Projects Releases Wiki Activity
c95fcb38c8
juvix/test/Tree
History
Łukasz Czajka c95fcb38c8
JuvixTree tests (#2587) 
* Implements a translation from JuvixAsm to JuvixTree. It does not work
in general, but works for all code generated from Juvix and all JuvixAsm
tests.
* Adds the `juvix dev tree from-asm` command.
* Adds tests automatically converted from JuvixAsm tests.
* Depends on #2583
2024-01-25 18:02:06 +00:00
..
Asm JuvixTree tests (#2587) 2024-01-25 18:02:06 +00:00
Asm.hs JuvixTree tests (#2587) 2024-01-25 18:02:06 +00:00