anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-09-19 04:27:20 +03:00
Code Issues Projects Releases Wiki Activity
923465858c
juvix/app/Commands
History
Łukasz Czajka 0f713c7c84
JuvixReg to CASM translation (#2671) 
* Closes #2562 

Checklist
---------

- [x] Translation from JuvixReg to CASM
- [x] CASM runtime
- [x] Juvix to CASM pipeline: combine the right transformations and
check prerequisites
- [x] CLI commands: add target `casm` to the `compile` commands
- [x] Tests:
   - [x] Test the translation from JuvixReg to CASM
   - [x] Test the entire pipeline from Juvix to CASM
2024-03-20 12:14:12 +01:00
..
Clean Use Package.juvix in the global project (#2499) 2023-11-06 11:49:43 +00:00
Compile Add support for Literate Juvix Markdown (#2448) 2023-11-10 13:55:36 +01:00
Dependencies Use EmbedIO instead of Embed IO (#2645) 2024-02-13 18:00:01 +00:00
Dev JuvixReg to CASM translation (#2671) 2024-03-20 12:14:12 +01:00
Doctor Global offline flag (#2335) 2023-09-05 17:11:17 +02:00
Eval Add support for Literate Juvix Markdown (#2448) 2023-11-10 13:55:36 +01:00
Extra JuvixReg to CASM translation (#2671) 2024-03-20 12:14:12 +01:00
Format Add FileExt type (#2467) 2023-10-25 12:02:12 +02:00
Html Add flags for the markdown and html backend: --strip-prefix and --ext. (#2681) 2024-03-09 18:42:09 +01:00
Init Add PackageDescription.Basic module Package variant (#2509) 2023-11-13 17:36:18 +00:00
Markdown Add flags for the markdown and html backend: --strip-prefix and --ext. (#2681) 2024-03-09 18:42:09 +01:00
Repl Per-module compilation (#2468) 2023-12-30 20:15:35 +01:00
Typecheck Add support for Literate Juvix Markdown (#2448) 2023-11-10 13:55:36 +01:00
Base.hs Use writeFileEnsureLn in place of writeFile (#2604) 2024-01-31 11:15:17 +01:00
Clean.hs Use Package.juvix in the global project (#2499) 2023-11-06 11:49:43 +00:00
Compile.hs JuvixReg to CASM translation (#2671) 2024-03-20 12:14:12 +01:00
Dependencies.hs Use EmbedIO instead of Embed IO (#2645) 2024-02-13 18:00:01 +00:00
Dev.hs Use EmbedIO instead of Embed IO (#2645) 2024-02-13 18:00:01 +00:00
Doctor.hs Use EmbedIO instead of Embed IO (#2645) 2024-02-13 18:00:01 +00:00
Eval.hs Add field element type (#2659) 2024-02-27 14:54:43 +01:00
Format.hs Promote use of MonadIO to minimize embed occurrences (#2694) 2024-03-20 09:56:00 +01:00
Html.hs Add flags for the markdown and html backend: --strip-prefix and --ext. (#2681) 2024-03-09 18:42:09 +01:00
Init.hs Promote use of MonadIO to minimize embed occurrences (#2694) 2024-03-20 09:56:00 +01:00
Markdown.hs Add flags for the markdown and html backend: --strip-prefix and --ext. (#2681) 2024-03-09 18:42:09 +01:00
Repl.hs Add field element type (#2659) 2024-02-27 14:54:43 +01:00
Typecheck.hs Use EmbedIO instead of Embed IO (#2645) 2024-02-13 18:00:01 +00:00