2 Commits

Author	SHA1	Message	Date
Łukasz Czajka	0073d04f89	JuvixTree evaluator (#2589) ... * Implements JuvixTree evaluator * Adds JuvixTree evaluation tests * Adds the `juvix dev tree eval` command * Depends on #2587 * Depends on #2583	2024-01-25 19:11:45 +00:00
Ł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