Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
run egg-benchmarks by cloning the egg-benchmark repo and running cargo bench
throw all results together via the load_results.jl from egg-benchmark (which is a pretty hacky thing that relies on airspeedvel internals, so if that breaks constantly we might have to think about something...)
The updated action does the following:
cargo bench
load_results.jl
from egg-benchmark (which is a pretty hacky thing that relies on airspeedvel internals, so if that breaks constantly we might have to think about something...)