Alternative implementation of the logical framework Dedukti in Rust
GPL-3.0 License
Bot releases are visible (Hide)
This release just bumps the version number of some dependencies in order to address a security issue in a dependency (atty
).
Furthermore, the MSRV (minimum supported Rust version) is now checked, and pre-built binaries for kocheck
are provided.
Published by 01mf02 about 2 years ago
This release adds a new lazy parser that reduces latency and memory consumption.
Furthermore, this version distinguishes short and long terms in the kernel, which allow us to use a single kernel instead of two before.
The mimalloc
memory allocator has been included for great speed gains. It can be disabled by using --no-default-features
when building kocheck.
Last, but not least, starting from this release, builds should be more reproducible, because the version numbers of all dependencies are explicit, by means of Cargo.lock
.
Full Changelog: https://github.com/01mf02/kontroli-rs/compare/v0.3.0...v0.4.0
Published by 01mf02 about 2 years ago
This release changes how term combinators are handled internally. In particular, the kernel now uses a separate type to represent applications, abstractions, and products. This reduces the number of pointers that have to be dereferenced, increasing performance.
Full Changelog: https://github.com/01mf02/kontroli-rs/compare/v0.2.0...v0.3.0
Published by 01mf02 about 2 years ago
This release introduces a new parser pased on logos
in favour of the previous Nom parser.
Furthermore, it verifies the well-typedness of certain rewrite rules.
Internally, scoping and sharing were split into two different stages.
Full Changelog: https://github.com/01mf02/kontroli-rs/compare/v0.1.0...v0.2.0
Published by 01mf02 about 2 years ago
This release adds only minor changes to kocheck
, including printing the version number and nicer handling of the --omit
option, which will now propose valid values:
$ kocheck --omit chek bla.dk
error: "chek" isn't a valid value for '--omit <STAGE>'
[possible values: share, infer, check]
Did you mean "check"?