Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

Performance History

Latest Results

a bunch of warnings
oflatt-proof-format
7 days ago
a bunch of warnings
oflatt-proof-format
7 days ago
proof checker working on simple test
oflatt-proof-format
7 days ago
almost working proof checker
oflatt-proof-format
7 days ago
fix up example
oflatt-fn-encoding
8 days ago
fix up example
oflatt-fn-encoding
8 days ago
new writeup
oflatt-fn-encoding
8 days ago
new writeup
oflatt-fn-encoding
8 days ago

Active Branches

Egglog proof format and checker
last run
7 days ago
#539
CodSpeed Performance Gauge
0%
[Proposal/RFC] Encoding partially applied functions
last run
8 days ago
#538
CodSpeed Performance Gauge
0%
eggcc benchmarks
last run
14 days ago
#527
CodSpeed Performance Gauge
N/A
© 2025 CodSpeed Technology
Home Terms PrivacyDocs