Performance History
Latest Results
Thread-safe EGraph struct (#517)
* thread safe
* simplify code
backend-merge
4 days ago
Add flushes; reorder flushes
gussmith23:gussmith23-prompt
21 days ago
Include serialization in benchmarking
saulshanabrook:benchmark-serialization
23 days ago
remoe arc
oflatt-remove-arc
26 days ago
nits
oflatt-faster-serialize
26 days ago
nits
oflatt-faster-serialize
26 days ago
serialize and benchmark it
oflatt-faster-serialize
26 days ago
serialize and benchmark it
oflatt-faster-serialize
26 days ago