All notable changes to this project will be documented in this file.
- Some tests and add new to envs
- Dont crash if we cant color_eyre::install in tests
- Fix width of cells
- Add smt prelude which includes function definitions
- Update grammar with the new functions
- Remember to carry over assertions past loops
- Include failing groups in competition
- Add command for generating envs
- Add serde to gcl bexpr
- Update dependencies
- Update rust dependencies and fix breaking changes
- Update cargo-dist to 0.2
- Update CI
- Update CI
- Run cargo fmt
- Update a doc link
- Update ci
- Update
mcltl-rssubmodule
- Fix some clippy warnings
- Change how props are passed to Env::render
- Remove variables from classification that does not apper in the program
- Add determinism and array input to inspectify
- Only run ci on main and prs
- Use nextest in ci
- Update
cargo-dist - Add
just release-minor
- Move more crate version to workspace and update mcltl
- Do short-circuiting correctly in sign analysis
- Comparing validating security results without target
- Add progress bar to checko
- Make test execution async and add a timeout
- Show entire error description in checko UI
- Release
- Pass input to test container over stdin instead of args
- Use just the ref name instead of path for displaying version in inspectify
- Release
- Try to use GITHUB_REF env for determining version number
- Release
- Mount a copy of checko to prevent writing to it from the container
- Improve logging and reporting of compile errors in failing groups
- Introduce batches an organized way to run tests
- Consistently number nodes
- Display input parse errors in inspectify instead of crashing
- Display invalid input and output in more cases
- Include version number in inspectify
- Release
- Make graph construction follow the book more closely (#39)
- Use host checko binary in docker
- Remove checko dep from inspectify
- Move CLI out of checkr main
- Regenerate input on generate program
- Fix array lowering into egg
- Correctly substitute in
facandfib
- Release
- Improve error reporting in checko a bit more
- Print errors using debug in checko for backtrace
- Ensure quantifier normalization does not use already present names
- Print out errors with context in checko evaluation
- Fix clippy warnings
- Update lalrpop
- Release
- Implement evaluation of
AExpr::Functions
- Cleanup the Justfile and remove Dockerfile.dev
- Release
- Abstract integer type into a common
Inttype - Improve checko logging and reliability
- Change associativity of power to right (#30)
- Make unary minus checked (#32)
- Add a note about developing on Windows
- Allow empty ProgramsConfig TOML files
- Update fsharp-starter ref
- Release
- Unary minus refactor (#33)
- Remove
#![feature(try_blocks)]so we compile on stable! - Wrap untyped IO and program config allows per env input
- 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
- Update development requirements for inspectify
- Change
typesharetotypeshare-cliin unix setup script - Finish a sentence in inspectify readme
- 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
- 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
- Release
- Improve inspectify internals
- Split inspectify backend up into multiple files
- Catch all errors from single groups to not crash when pushing results
- Swap & & && in when formatting to be correct
- Correctly error on empty and programs with trailing
;
- Add ignore option to
run.toml - Update to the new IO for interpreter
- Remove rust-toolchain.toml
- Remove some unused deps
- Remove #![feature(box_patterns, box_syntax)]
- Update fsharp-starter ref
- Add easy to use option to run inspectify against fsharp-starter
- Update fsharp-starter ref
- Prepare changelog for release
- Release
- Bump wasm lock file
- Revert versions to be inherited from workspace
- Add CHANGELOG
- Release
- Correct printing of | and || which were swapped
- Update binswap with new swapping procedure to hopefully fix win issues
- Add cliff config
- Release
- Release
- Release
- Release
- Release
- Release
- Release
- Release
- Release