carcara-1.1.0

• Implemented parallel proof checking
• Added slice command
• Added more options to control how lia_generic steps are solved
• Fixed non-deterministic error messages
• Improved API documentation
• Improved memory usage
• Upgraded to Rust version 1.72
• Many bug fixes and other small improvements

carcara-1.0.0

Improved testing and benchmarking frameworks, fixed performance bugs, upgraded Rust version, among other general improvements.

carcara-0.1.0

First release