[0.1.16] - 2023-03-28

Release Notes

Bug Fixes

• Ensure quantifier normalization does not use already present names

Features

• Print out errors with context in checko evaluation

Miscellaneous Tasks

• Fix clippy warnings
• Update lalrpop

checko 0.1.16

Install checko 0.1.16

Install prebuilt binaries via shell script

# WARNING: this installer is experimental
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/team-checkr/checkr/releases/download/v0.1.16/checko-v0.1.16-installer.sh | sh

Install prebuilt binaries via powershell script

# WARNING: this installer is experimental
irm https://github.com/team-checkr/checkr/releases/download/v0.1.16/checko-v0.1.16-installer.ps1 | iex

Download checko 0.1.16

target	kind	download
aarch64-apple-darwin	tarball	checko-v0.1.16-aarch64-apple-darwin.tar.xz
x86_64-apple-darwin	tarball	checko-v0.1.16-x86_64-apple-darwin.tar.xz
x86_64-pc-windows-msvc	tarball	checko-v0.1.16-x86_64-pc-windows-msvc.zip
x86_64-unknown-linux-gnu	tarball	checko-v0.1.16-x86_64-unknown-linux-gnu.tar.xz

inspectify 0.1.16

Install inspectify 0.1.16

Install prebuilt binaries via shell script

# WARNING: this installer is experimental
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/team-checkr/checkr/releases/download/v0.1.16/inspectify-v0.1.16-installer.sh | sh

Install prebuilt binaries via powershell script

# WARNING: this installer is experimental
irm https://github.com/team-checkr/checkr/releases/download/v0.1.16/inspectify-v0.1.16-installer.ps1 | iex

Download inspectify 0.1.16

target	kind	download
aarch64-apple-darwin	tarball	inspectify-v0.1.16-aarch64-apple-darwin.tar.xz
x86_64-apple-darwin	tarball	inspectify-v0.1.16-x86_64-apple-darwin.tar.xz
x86_64-pc-windows-msvc	tarball	inspectify-v0.1.16-x86_64-pc-windows-msvc.zip
x86_64-unknown-linux-gnu	tarball	inspectify-v0.1.16-x86_64-unknown-linux-gnu.tar.xz