Ekzhang Crepe Versions Save

Datalog compiler embedded in Rust as a procedural macro

v0.1.8

1 year ago
  • Update syn dependency to version 2.0
  • Change crepe! macro to avoid some warnings from clippy

What's Changed

Full Changelog: https://github.com/ekzhang/crepe/compare/v0.1.7...v0.1.8

v0.1.7

1 year ago
  • Change library and examples to use Rust 2021 array IntoIterator impls
  • Update petgraph dependency to v0.6

What's Changed

New Contributors

Full Changelog: https://github.com/ekzhang/crepe/compare/v0.1.6...v0.1.7

v0.1.6

2 years ago
  • Implement support for iteration through for clauses in rules

v0.1.5

3 years ago
  • Bugfix: register Datalog variables bound in let patterns (#14)

v0.1.4

3 years ago
  • Add support for lifetimes in relations and the ref keyword (#9)
  • Add benchmarks and support for custom hashers (#9)

v0.1.3

3 years ago
  • Add shorter syntax for defining fact-rules (#6)
  • Add visibility modifiers to structs and fields, support struct attributes (#7)

v0.1.2

3 years ago
  • Implement support for destructuring and let bindings in rules
  • Add a span for more specific "invalid relation" error messages
  • Hygiene: write full paths for derived traits
  • Add documentation for the generated runtime
  • Add more comprehensive tests: &static str in relation, f64 in relation
  • Make clippy happy

v0.1.1

3 years ago
  • Fix bug causing docs to not render properly

v0.1.0

3 years ago

Initial release - crepe! macro, Datalog runtime, semi-naive evaluation, stratified negation.