add initial benchmarks using criterion

ekzhang / crepe

Datalog compiler embedded in Rust as a procedural macro

Apache License 2.0

460 stars 16 forks source link

add initial benchmarks using criterion #11

Closed hydrolarus closed 3 years ago

hydrolarus commented 3 years ago

This PR adds two benchmarks:

graph_walking: uses a modified version of the graph walking example in the README. The main modification is that the generation of input facts doesn't use rand any more in order to keep the inputs the same
fibonacci uses the code from the Fibonacci test case and adds a configurable n parameter, also increasing the width of the number type

hydrolarus commented 3 years ago

I integrated this into #9 and was a bit eager to make a PR for this. It's probably still useful because this works on master, but I'll close this for now.