anoma/juvix v0.4.1

on GitHub

Full Changelog

Implemented enhancements:

• The public pragma #2223 (lukaszcz)
• Local pragmas #2222 (lukaszcz)
• Lifting calls out of cases for the VampIR backend #2218 (lukaszcz)
• Use equality instead of less-equal when translating matching on Nats #2215 (lukaszcz)
• Support juvix format with no argument to format a project #2208 (paulcadman)
• Always print source of formatted file unless --check is specified #2205 (paulcadman)
• Improve iterator formatting and syntax #2204 (lukaszcz)
• Restrict permutative conversions on cases to non-booleans #2201 (lukaszcz)

Merged pull requests:

• Build and cache smoke binary keyed using icu4c version #2221 (paulcadman)
• Switch to Halo2 for VampIR backend tests #2216 (lukaszcz)
• Remove Subtree sections, all collapse all button #2213 (vrom911)
• Fix isNegative in the VampIR runtime #2212 (lukaszcz)
• Use juvix-installer in CodeSpaces, install vamp-ir #2210 (vrom911)
• Move termination checker to Internal #2209 (janmasrovira)
• Propogate formatter results when traversing subdirs #2207 (paulcadman)
• Update vamp-ir CI installation #2199 (jonaprieto)
• More tests for the VampIR compilation pipeline #2197 (lukaszcz)
• Fix runtime C maybe benchmark example #2195 (paulcadman)
• Refactor isValidChar #2194 (jonaprieto)
• Check valid argument names in YAML #2193 (lukaszcz)
• Fix benchmark runtime C examples #2192 (paulcadman)
• Update to the new version of VampIR #2138 (lukaszcz)