All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog and this project adheres to Semantic Versioning.
- Upgrade to parol 2.0
- Upgrade to parol 1.0
- Fix new clippy warning
- The binary tool now supports direct input of expression as string.
raa_tt -s "(a & a -> b) -> b" -q - The binary tool now supports command line help by featuring
clapcommand line parser.raa_tt -h
- The binary tool can now additionally generate truth tables. This is only for reference reasons
since many available tools understand or generate truth tables. The limit for the number of
variables for which a truth table can be generated is currently deliberately set to 16.
raa_tt -s "(a & a -> b) -> b" -q -t
- Changed name of binary tool to
raa_tt. - Hopefully fixed problem running
cargo docon doc.rs's readonly file system
- Grammar supports an arbitrary number of propositions.
- Add more examples to
test.txt - Add integration tests
- Improved naming and better English - hopefully 😉
- Add generated files to source control to prevent warnings during packaging
- Basic algorithm
- Grammar supports only one proposition at once.