From 858e45f3f332c4667fdfa3e161d1a65783f0c9d6 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Thu, 18 Jan 2024 13:18:16 +0100 Subject: [PATCH] Fill-in CHANGELOG. --- CHANGELOG.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 36002bf9..05f81514 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,10 +2,24 @@ ## UNRELEASED +### Added + +- **aiken**: New `--trace-level` option for the `check` and `build` commands to allow chosing the verbosity level of traces amongst three levels: silent, compact & verbose. @MicroProofs @KtorZ +- **aiken**: New `--filter-traces` option for the `check` and `build` commands to enable restricting traces with more granularity between user-defined traces, compiler-generated traces or both. @MicroProofs @KtorZ. + ### Fixed - **aiken-lang**: Fix flat encoding and decoding of large integer values. @KtorZ +### Removed + +- **aiken**: The options `--keep-traces` (on the `build` command) and `--no-traces` (on the `check` command) have been removed; superseded by the new options. @MicroProofs @KtorZ + + > ![TIP] + > + > - If you've been using `aiken check --no-traces`, you can recover the old behavior by doing `aiken check --trace-level silent`. + > - If you've been using `aiken build --keep-traces`, you can recover the old behavior by doing `aiken build --trace-level verbose`. + ## v1.0.21-alpha - 2023-12-04 ### Added