@aiken-lang/aiken

CLI

This is the crate that contains the aiken command line application which bundles together all the other crates in this project.

Install

cargo install aiken

Changelog

v1.1.11 - UNRELEASED

Added

• aiken: New aiken bench command to run benchmarks. @Riley-Kilgore, @KtorZ

  The command is very similar to aiken check, and will collect and run benchmarks found across the codebase. The output by default is a set of pretty terminal plots for each dimension (mem & cpu) for each test bench. The complete dataset of points can be obtained in a structured (JSON) format by redirecting the output to a file.

• aiken-lang: New bench keyword and capabilities to the test framework. @Riley-Kilgore, @KtorZ

  A bench is a new type of test that takes in a single Sampler<a> = fn(Int) -> Fuzzer<a> as parameter, similar to how property-based test receive Fuzzer<a>. A Sampler is in fact, a scaled Fuzzer which receive a monotically increasing size as parameter. This allows fine-grained control over generated values. Unlike tests, benchmarks can return anything since their output is ignored.

  Read more about benchmarks in the user manual.

Changed

• aiken-lang: The compiler now raises a warning when attempting to destructure a record constructor without using named fields. See #1084. @KtorZ
• aiken-lang: Fix blueprint schema definitions related to pairs (no longer omit (sometimes) Pairs definitions, and generate them as data List). See #1086 and #970. @KtorZ