anoma/juvix v0.6.2

on GitHub

v0.6.2 (2024-06-12)

Full Changelog

Implemented enhancements:

• Rust runtime #2782 (lukaszcz)
• Optional braces in case syntax #2778 (lukaszcz)
• Support Anoma cryptographic primitives as Juvix builtin axioms #2767 (paulcadman)
• Support Anoma serialisation primitives as Juvix builtin axioms #2764 (paulcadman)
• Multiway if syntax #2770 (lukaszcz)
• Add integer literals with bases #2746 (janmasrovira)
• Cairo Elliptic Curve builtin #2731 (lukaszcz)
• refactor --target into subcommands for dev tree compile and other improvements #2713 (janmasrovira)
• Make compile targets a subcommand instead of a flag #2700 (janmasrovira)
• Translate Juvix types to Isabelle/HOL #2689 (lukaszcz)
• Parallelize the pipeline #2749 (janmasrovira)

Merged pull requests:

• Upgrade to ghc-9.8.2 #2794 (janmasrovira)
• Report proper location for normalized types in the WrongType error #2814 (janmasrovira)
• Disable macOS CI #2821 (lukaszcz)
• Add pedantic option to justfile #2816 (janmasrovira)
• Add GHC Identity to Juvix/Prelude #2815 (janmasrovira)
• Fixes crash when trying to normalize case expression #2811 (janmasrovira)
• Improve parallel template #2809 (janmasrovira)
• RISC0 Rust backend #2702 (lukaszcz)
• Juvix to Isabelle/HOL translation #2752 (lukaszcz)
• Fix generation of wildcards in RecordPattern #2802 (janmasrovira)
• Support Anoma stdlib sign-detached API #2798 (paulcadman)
• Use little endian encoding of ByteStrings in Anoma #2793 (paulcadman)
• Update stdlib to the main branch #2791 (lukaszcz)
• Add support for Strings in the Anoma backend #2789 (paulcadman)
• Support Anoma stdlib APIs sign and verify #2788 (paulcadman)
• Rust backend #2787 (lukaszcz)
• Update Anoma nock stdlib #2786 (paulcadman)
• Support Anoma stdlib API verifyDetached #2785 (paulcadman)
• refactor: Add Anoma Node in Tree language #2784 (paulcadman)
• justfile: replace enableOptimized flag with disableOptimized #2783 (paulcadman)
• Effects for finite and infinite supplies #2780 (janmasrovira)
• Parallel pipeline #2779 (janmasrovira)
• Remove checking for module fragility #2777 (lukaszcz)
• Use multiway if in the standard library #2776 (lukaszcz)
• Add support for anoma-decode builtin #2775 (paulcadman)
• Support type synonyms in instance types #2772 (lukaszcz)
• Bugfix: modules associated with inductive types should be declared after their inductive types #2768 (lukaszcz)
• Add support for anoma-encode builtin #2766 (paulcadman)
• Update Anoma nockma stdlib #2765 (paulcadman)
• justfile: use numParallelJobs in test flag #2762 (paulcadman)
• Deduplicate project remote dependencies #2761 (paulcadman)
• Check for unsupported builtins #2757 (lukaszcz)
• Fully respect _evalOptionsNoFailure in the Core evaluator #2756 (lukaszcz)
• Use aarch64 macOS agent for CI build #2754 (paulcadman)
• Support sharing ModuleInfoCache between pipeline runs #2753 (paulcadman)
• Import tree #2751 (janmasrovira)
• Remove unused resourcet-effectful dependency #2748 (janmasrovira)
• Remove support for examples from judoc #2747 (paulcadman)
• Fix dev compile options documentation #2741 (paulcadman)
• Fix benchmark runtime variant #2740 (paulcadman)
• Style refactor #2739 (janmasrovira)
• remove redundant GitClone constraint #2738 (janmasrovira)
• Support extract-module-statements attribute in juvix code blocks #2734 (paulcadman)
• Apply common options in dev compile subcommands #2732 (janmasrovira)
• Use the justfile for CI builds #2730 (paulcadman)
• Support parallel module compilation in justfile #2729 (paulcadman)
• --debug implies -O0 as the default #2728 (janmasrovira)
• Fix output file extension for compile cairo #2727 (janmasrovira)
• Cairo Poseidon hash builtin support #2723 (lukaszcz)
• Support for Cairo builtins #2718 (lukaszcz)
• Fix benchmarks suite juvix compile variants #2717 (paulcadman)
• Double substitute the Nockma functions placeholder in the main function #2715 (paulcadman)
• Miscellaneous improvements for Nockma debugging #2714 (paulcadman)
• Cairo field compatibility #2712 (lukaszcz)
• Use prettyString instead of show . pretty #2711 (janmasrovira)
• Cairo disassembler #2710 (lukaszcz)
• Support Cairo VM input hints #2709 (lukaszcz)
• Cache cairo-vm-cli in the CI build #2707 (paulcadman)
• Fix casm test failures due to concurrent calls to setCurrentDir #2706 (paulcadman)
• Capture scry id in the main function and use it when compiling anomaGet #2705 (paulcadman)
• Move the Nockma standard library to a separate file #2701 (lukaszcz)
• Fix memory access order in the JuvixReg to CASM translation. #2697 (lukaszcz)
• CASM serialization #2679 (lukaszcz)