├── .editorconfig ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CHANGELOG.md ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── benches ├── collatz.rs ├── fibonacci.rs └── graph_walking.rs ├── src ├── lib.rs ├── parse.rs └── strata.rs └── tests ├── test_destructure.rs ├── test_disaggregate.rs ├── test_fibonacci.rs ├── test_intermediate_lifetime.rs ├── test_let_bindings.rs ├── test_negation.rs ├── test_parse.rs ├── test_ref_overwrite.rs ├── test_structs.rs ├── test_transitive_closure.rs ├── test_ui.rs └── ui ├── bad_goal_input.rs ├── bad_goal_input.stderr ├── bad_visibility_of_relation.rs ├── bad_visibility_of_relation.stderr ├── capital_letter_var.rs ├── capital_letter_var.stderr ├── invalid_arity.rs ├── invalid_arity.stderr ├── non_input_lifetime.rs ├── non_input_lifetime.stderr ├── recursive_negation.rs ├── recursive_negation.stderr ├── unbound_variable.rs ├── unbound_variable.stderr ├── underscore_in_goal.rs └── underscore_in_goal.stderr /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/README.md -------------------------------------------------------------------------------- /benches/collatz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/benches/collatz.rs -------------------------------------------------------------------------------- /benches/fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/benches/fibonacci.rs -------------------------------------------------------------------------------- /benches/graph_walking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/benches/graph_walking.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/parse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/src/parse.rs -------------------------------------------------------------------------------- /src/strata.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/src/strata.rs -------------------------------------------------------------------------------- /tests/test_destructure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_destructure.rs -------------------------------------------------------------------------------- /tests/test_disaggregate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_disaggregate.rs -------------------------------------------------------------------------------- /tests/test_fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_fibonacci.rs -------------------------------------------------------------------------------- /tests/test_intermediate_lifetime.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_intermediate_lifetime.rs -------------------------------------------------------------------------------- /tests/test_let_bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_let_bindings.rs -------------------------------------------------------------------------------- /tests/test_negation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_negation.rs -------------------------------------------------------------------------------- /tests/test_parse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_parse.rs -------------------------------------------------------------------------------- /tests/test_ref_overwrite.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_ref_overwrite.rs -------------------------------------------------------------------------------- /tests/test_structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_structs.rs -------------------------------------------------------------------------------- /tests/test_transitive_closure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_transitive_closure.rs -------------------------------------------------------------------------------- /tests/test_ui.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/test_ui.rs -------------------------------------------------------------------------------- /tests/ui/bad_goal_input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/bad_goal_input.rs -------------------------------------------------------------------------------- /tests/ui/bad_goal_input.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/bad_goal_input.stderr -------------------------------------------------------------------------------- /tests/ui/bad_visibility_of_relation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/bad_visibility_of_relation.rs -------------------------------------------------------------------------------- /tests/ui/bad_visibility_of_relation.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/bad_visibility_of_relation.stderr -------------------------------------------------------------------------------- /tests/ui/capital_letter_var.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/capital_letter_var.rs -------------------------------------------------------------------------------- /tests/ui/capital_letter_var.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/capital_letter_var.stderr -------------------------------------------------------------------------------- /tests/ui/invalid_arity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/invalid_arity.rs -------------------------------------------------------------------------------- /tests/ui/invalid_arity.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/invalid_arity.stderr -------------------------------------------------------------------------------- /tests/ui/non_input_lifetime.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/non_input_lifetime.rs -------------------------------------------------------------------------------- /tests/ui/non_input_lifetime.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/non_input_lifetime.stderr -------------------------------------------------------------------------------- /tests/ui/recursive_negation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/recursive_negation.rs -------------------------------------------------------------------------------- /tests/ui/recursive_negation.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/recursive_negation.stderr -------------------------------------------------------------------------------- /tests/ui/unbound_variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/unbound_variable.rs -------------------------------------------------------------------------------- /tests/ui/unbound_variable.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/unbound_variable.stderr -------------------------------------------------------------------------------- /tests/ui/underscore_in_goal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/underscore_in_goal.rs -------------------------------------------------------------------------------- /tests/ui/underscore_in_goal.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ekzhang/crepe/HEAD/tests/ui/underscore_in_goal.stderr --------------------------------------------------------------------------------