Jan Mas Rovira 10e2a23239 Translation from Juvix Tree to Nockma (#2614) ... This PR replaces the JuvixAsm -> Nockma translation with a JuvixTree -> Nockma translation. We can now enable some of the JuvixTree tests that did not work with JuvixAsm->Nockma because they were too slow. ## Notes We have changed [test031: temp stack with branching](22ee87f0e7/tests/Tree/positive/test031.jvt) to avoid using negative numbers (because negative integers are not supported in Nockma). Three tree tests trace/output lists. Lists are serialised differently by the asm and nockma pretty printers so they cannot share a single test output file. We have created separate nockma output files for these tests (see eg. [test028.nockma.out](22ee87f0e7/tests/Tree/positive/out/test028.nockma.out)). * Closes https://github.com/anoma/juvix/issues/2606 --------- Co-authored-by: Paul Cadman <git@paulcadman.dev> Co-authored-by: Lukasz Czajka <lukasz@heliax.dev>		2024-02-06 08:33:14 +00:00
..
Commands	Translation from Juvix Tree to Nockma (#2614)	2024-02-06 08:33:14 +00:00
TopCommand	Add support for Literate Juvix Markdown (#2448)	2023-11-10 13:55:36 +01:00
App.hs	Nockma compile (#2570)	2024-01-17 11:15:38 +01:00
AsmInterpreter.hs	Nockma compile refactor (#2582)	2024-01-16 16:22:10 +00:00
CommonOptions.hs	Options for juvix dev tree read (#2599)	2024-01-31 15:17:14 +01:00
Evaluator.hs	Nockma compile refactor (#2582)	2024-01-16 16:22:10 +00:00
GlobalOptions.hs	Per-module compilation (#2468)	2023-12-30 20:15:35 +01:00
Main.hs	Remove redundant QuasiQuotes pragmas (#2603)	2024-01-30 10:08:07 +01:00
TopCommand.hs	Read Package on demand and cache it (#2548)	2023-12-06 18:24:59 +01:00
TreeEvaluator.hs	JuvixTree REPL (#2608)	2024-02-01 17:50:09 +00:00