Releases: team-checkr/checkr
Releases · team-checkr/checkr
[0.1.21] - 2023-04-25
Release Notes
Bug Fixes
- Do short-circuiting correctly in sign analysis
- Comparing validating security results without target
Features
- Add progress bar to checko
- Make test execution async and add a timeout
- Show entire error description in checko UI
Refactor
- Pass input to test container over stdin instead of args
checko 0.1.21
Install checko 0.1.21
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.21/checko-v0.1.21-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.21/checko-v0.1.21-installer.ps1 | iex
Download checko 0.1.21
inspectify 0.1.21
Install inspectify 0.1.21
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.21/inspectify-v0.1.21-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.21/inspectify-v0.1.21-installer.ps1 | iex
Download inspectify 0.1.21
[0.1.20] - 2023-04-04
Release Notes
Miscellaneous Tasks
- Use just the ref name instead of path for displaying version in inspectify
checko 0.1.20
Install checko 0.1.20
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.20/checko-v0.1.20-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.20/checko-v0.1.20-installer.ps1 | iex
Download checko 0.1.20
inspectify 0.1.20
Install inspectify 0.1.20
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.20/inspectify-v0.1.20-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.20/inspectify-v0.1.20-installer.ps1 | iex
Download inspectify 0.1.20
[0.1.19] - 2023-04-04
Release Notes
Bug Fixes
- Try to use GITHUB_REF env for determining version number
checko 0.1.19
Install checko 0.1.19
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.19/checko-v0.1.19-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.19/checko-v0.1.19-installer.ps1 | iex
Download checko 0.1.19
inspectify 0.1.19
Install inspectify 0.1.19
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.19/inspectify-v0.1.19-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.19/inspectify-v0.1.19-installer.ps1 | iex
Download inspectify 0.1.19
[0.1.17] - 2023-03-28
Release Notes
Bug Fixes
- Fix array lowering into egg
- Correctly substitute in
fac and fib
Refactor
- Improve error reporting in checko a bit more
- Print errors using debug in checko for backtrace
checko 0.1.17
Install checko 0.1.17
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.17/checko-v0.1.17-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.17/checko-v0.1.17-installer.ps1 | iex
Download checko 0.1.17
inspectify 0.1.17
Install inspectify 0.1.17
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.17/inspectify-v0.1.17-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.17/inspectify-v0.1.17-installer.ps1 | iex
Download inspectify 0.1.17
[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
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
[0.1.15] - 2023-03-27
Release Notes
Features
- Implement evaluation of
AExpr::Functions
Miscellaneous Tasks
- Cleanup the Justfile and remove Dockerfile.dev
Refactor
- Abstract integer type into a common
Int type
- Improve checko logging and reliability
checko 0.1.15
Install checko 0.1.15
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.15/checko-v0.1.15-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.15/checko-v0.1.15-installer.ps1 | iex
Download checko 0.1.15
inspectify 0.1.15
Install inspectify 0.1.15
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.15/inspectify-v0.1.15-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.15/inspectify-v0.1.15-installer.ps1 | iex
Download inspectify 0.1.15
[0.1.14] - 2023-03-24
Release Notes
Bug Fixes
- Change associativity of power to right (#30)
- Make unary minus checked (#32)
Documentation
- Add a note about developing on Windows
Features
- Allow empty ProgramsConfig TOML files
Miscellaneous Tasks
- Update fsharp-starter ref
Refactor
- Unary minus refactor (#33)
- Remove
#![feature(try_blocks)] so we compile on stable!
- Wrap untyped IO and program config allows per env input
checko 0.1.14
Install checko 0.1.14
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.14/checko-v0.1.14-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.14/checko-v0.1.14-installer.ps1 | iex
Download checko 0.1.14
inspectify 0.1.14
Install inspectify 0.1.14
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.14/inspectify-v0.1.14-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.14/inspectify-v0.1.14-installer.ps1 | iex
Download inspectify 0.1.14
[0.1.13] - 2023-03-23
Release Notes
Bug Fixes
- Recompute the graph in inspectify after recompilation
- Remove copy of removed rust-toolchain.toml into Dockerfile
- Do not crash if one group did not produce a run result in checko
- Update definition vc(b -> C) to include b
- Produce the correct number of configurations in interpreter
- Correct set spans in checko
- Do not crash if pushing results to one group fails
Documentation
- Update development requirements for inspectify
- Change
typeshare to typeshare-cli in unix setup script
- Finish a sentence in inspectify readme
Features
- Randomize determinism in interpreter input
- Initial draft of predicates and enriched commands
- Add substitution to enriched expressions
- Implement SP and VC for program verification analysis
- Generate annotated programs
- Validation for PV and remove all WASM
- Use WebSockets for compilation status in inspectify
- Allow specifying which programs are shown in results individually
- Display invalid output in inspectify
- Improve graph debugging inspectify
- Do not crash if we could not pull from the result branch
Miscellaneous Tasks
- Add a license to Cargo.toml
- Do not open F# panel on startup in VSCode
- Test commit to see build times with smtlib and z3
- Remove z3 dep again, and correct pv output format
- Update fsharp-starter ref
- Update Cargo.lock
- Add a comment to the Justfile for running inspectify against fsharp-starter
Refactor
- Improve inspectify internals
- Split inspectify backend up into multiple files
- Catch all errors from single groups to not crash when pushing results
checko 0.1.13
Install checko 0.1.13
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.13/checko-v0.1.13-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.13/checko-v0.1.13-installer.ps1 | iex
Download checko 0.1.13
inspectify 0.1.13
Install inspectify 0.1.13
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.13/inspectify-v0.1.13-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.13/inspectify-v0.1.13-installer.ps1 | iex
Download inspectify 0.1.13
[0.1.12] - 2023-03-16
Release Notes
Bug Fixes
- Swap
& & && in when formatting to be correct
- Correctly error on empty and programs with trailing
;
Features
- Add ignore option to
run.toml
- Update to the new IO for interpreter
Miscellaneous Tasks
- Remove
rust-toolchain.toml
- Remove some unused deps
- Remove
#![feature(box_patterns, box_syntax)]
- Add easy to use option to run inspectify against fsharp-starter
checko 0.1.12
Install checko 0.1.12
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.12/checko-v0.1.12-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.12/checko-v0.1.12-installer.ps1 | iex
Download checko 0.1.12
inspectify 0.1.12
Install inspectify 0.1.12
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.12/inspectify-v0.1.12-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.12/inspectify-v0.1.12-installer.ps1 | iex
Download inspectify 0.1.12
[0.1.11] - 2023-03-11
Release Notes
Bug Fixes
- Correct printing of | and || which were swapped
- Update binswap with new swapping procedure to hopefully fix win issues
Miscellaneous Tasks
- Add cliff config
- Bump wasm lock file
- Revert versions to be inherited from workspace
- Add CHANGELOG
checko 0.1.11
Install checko 0.1.11
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.11/checko-v0.1.11-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.11/checko-v0.1.11-installer.ps1 | iex
Download checko 0.1.11
inspectify 0.1.11
Install inspectify 0.1.11
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.11/inspectify-v0.1.11-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.11/inspectify-v0.1.11-installer.ps1 | iex
Download inspectify 0.1.11
