From c2bc5848dd1a6492d80ae27290907a91e9909501 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Sun, 3 Mar 2024 21:09:17 +0100 Subject: [PATCH] Fill-in CHANGELOG. --- CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index eb6b9e91..2215fae3 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,10 @@ ### Added - **aiken-lang**: Data now has a generic argument that can be used to specify the blueprint type. @KtorZ +- **aiken-lang**: New types `PRNG` and `Fuzzer` in the prelude. @KtorZ +- **aiken-lang**: Test definitions now accept an (optional) argument alongside a new keyword `via` to specify fuzzers. @KtorZ +- **aiken-project**: Property-based testing framework with integrated shrinking. @KtorZ +- **aiken**: The `check` command now accept an extra arg `--seed` to provide an initial seed for the pseudo-random generator of properties. @KtorZ ### Fixed