v1.1.3 - 2024-09-20

Release Notes

Added

• N/A

Changed

• aiken-project: Fix documentation link-tree generation messing up with modules when re-inserting the same module. @KtorZ
• aiken-project: Provide intermediate feedback when looking for counterexamples during property tests. @KtorZ
• aiken-lang: Fix formatter adding extra unnecessary newlines after literal lists clause values or assignments. @KtorZ
• aiken-lang: Fix formatting of long multi-line if/is expressions. @KtorZ
• aiken-lang: Fix extraneous white-space added by the formatter after multiline alternative patterns. @KtorZ
• aiken-lang: Fix incorrect warning about unused variable when softcasting without explicit right-pattern. @KtorZ
• aiken-lang: Fix soft cast and hard cast on same type issues that lead to validator errors. @MicroProofs
• aiken-lang: Bls constants are automatically converted to a hoisted compressed form with uncompress builtin call. @MicroProofs
• uplc: Fix cost-models for PlutusV1 & PlutusV2. @MicroProofs

Removed

• N/A

Install aiken 1.1.3

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/aiken-lang/aiken/releases/download/v1.1.3/aiken-installer.sh | sh

Install prebuilt binaries via powershell script

powershell -c "irm https://github.com/aiken-lang/aiken/releases/download/v1.1.3/aiken-installer.ps1 | iex"

Install prebuilt binaries into your npm project

npm install @aiken-lang/[email protected]

Install prebuilt binaries via Homebrew

brew install aiken-lang/tap/aiken

Download aiken 1.1.3

File	Platform	Checksum
aiken-aarch64-apple-darwin.tar.gz	Apple Silicon macOS	checksum
aiken-x86_64-apple-darwin.tar.gz	Intel macOS	checksum
aiken-x86_64-pc-windows-msvc.tar.gz	x64 Windows	checksum
aiken-x86_64-unknown-linux-gnu.tar.gz	x64 Linux	checksum