anoma/juvix v0.6.10

on GitHub

What's Changed

• Modify how the arguments are passed to the anoma node by @janmasrovira in #3258
• Add dev anoma print-config command by @janmasrovira in #3260
• Remove global --unroll limit flag by @janmasrovira in #3262
• Add --print-loc option to dev import-tree scan command by @janmasrovira in #3263
• Fix source locations for flatparse backend and add tests for import scanning by @janmasrovira in #3265
• Allow partially applied trace by @lukaszcz in #3267
• Update nock Anoma stdlib by @paulcadman in #3271
• Add --cue flag to dev nockma encode by @janmasrovira in #3272
• Check top module name in markdown files by @janmasrovira in #3266
• Fix let-patterns inside named arguments by @lukaszcz in #3274
• Optimize single-argument unknown function invocations with known non-function target types by @lukaszcz in #3270
• Update stdlib reference to point to main by @lukaszcz in #3276
• Recursive markdown generation by @janmasrovira in #3268
• Upload Juvix binary from each CI run by @paulcadman in #3280
• Update stdlib reference to point to main by @lukaszcz in #3281
• Anoma protobuf version fix by @paulcadman in #3286
• Improve error message for ambiguous export by @janmasrovira in #3289
• Improve instance termination by @lukaszcz in #3288
• Make meta-variables introduced by coercion resolution non-rigid by @lukaszcz in #3290
• Fix prettyprinting of import statements by @janmasrovira in #3291
• Treat holes as non-rigid meta-variables during instance search by @lukaszcz in #3293
• Increase AnomaLib Layer Depth for v0.30 by @agureev in #3277
• Remove mainFunctionWrapper in nock backend by @paulcadman in #3294
• Allow local modules to be forward referenced by @janmasrovira in #3275
• Add support for AnomaSet and AnomaSet{to, from}List by @paulcadman in #3296
• Avoid double jamming prove arguments in Anoma CLI commands by @paulcadman in #3298
• Make html links to top symbols stable by @janmasrovira in #3299
• Pre-register all type axioms in internal to core by @janmasrovira in #3297
• Fix recompilation message for when options change by @janmasrovira in #3304
• Remove axioms info from Core InfoTable by @lukaszcz in #3307
• Fix dependency graph creation in filterUnreachable by @lukaszcz in #3309
• Support unjammed arguments by @janmasrovira in #3308
• Improve Core parser error handling by @lukaszcz in #3300
• Support ByteArray and List arguments to anoma prove CLI by @paulcadman in #3313
• Allow named arguments for some anoma builtins by @janmasrovira in #3310
• Fix bug in scoping for default arguments by @janmasrovira in #3318
• Fix recompilation of package-base by @lukaszcz in #3314
• Remove VampIR pipeline and commands by @lukaszcz in #3320
• Remove unused Core transformations by @lukaszcz in #3321
• Lock Rust version on the CI by @lukaszcz in #3325
• Modular compilation in Core by @lukaszcz in #3315
• Make pedantic option the default in the justfile by @janmasrovira in #3330
• Fix main detection by @lukaszcz in #3335
• Accept optional semicolon before pipe by @janmasrovira in #3334
• Report error when named arguments are repeated by @janmasrovira in #3329
• Fix markdown --folder-structure flag by @janmasrovira in #3332
• Fix builtin anoma-random-next-bytes by @janmasrovira in #3322
• Extend type modules by @janmasrovira in #3336
• Update juvix-stdlib to main by @janmasrovira in #3311
• Format exits with success unless --check given by @janmasrovira in #3338
• Update RISC0 to 1.3.0 by @lukaszcz in #3341
• Downgrade RISC0 to 1.2.4 by @lukaszcz in #3343
• Modular compilation in JuvixTree by @lukaszcz in #3324
• Qualified constructors by @janmasrovira in #3337
• Trace the arg to OpFail before crashing in Nockma by @janmasrovira in #3345
• Fix detection of mutual blocks for the positivity checker by @janmasrovira in #3349
• Remember in stored compilation options if the module was the main file by @lukaszcz in #3350
• Expose Cairo range check builtin by @lukaszcz in #3346
• Fix syntax error format by @lukaszcz in #3353
• Check package name conflicts by @janmasrovira in #3352
• Verified compilation prototype: generation of Lean verification statements by @lukaszcz in #3344
• Fix parseFailure in the parsers by @lukaszcz in #3355
• Temporarily disable RISC0 in the CI by @lukaszcz in #3365
• Add update-anomalib.sh script by @janmasrovira in #3369
• SHA256 cache for import nodes by @lukaszcz in #3367
• Accept TABs and CRs as whitespace by @lukaszcz in #3371
• Don't compile the main file as a module by @lukaszcz in #3364
• Lock RISC0 dependencies and re-enable RISC0 tests on the CI by @lukaszcz in #3373
• Simplify and document Juvix release process by @paulcadman in #3366
• Cairo shielded backend integration by @lukaszcz in #3357
• Release v0.6.10 by @janmasrovira in #3375

Full Changelog: v0.6.9...v0.6.10