Performance History
Latest Results
fix up proof supported test
oflatt-disallow-set-constructor
12 hours ago
small snapshot
oflatt-print-size-proofs
1 day ago
new test
oflatt-print-size-proofs
1 day ago
nits
oflatt-print-size-proofs
1 day ago
Update tests/name-resolution.egg
Co-authored-by: Saul Shanabrook <s.shanabrook@gmail.com>
oflatt-print-size-proofs
1 day ago
Update src/lib.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
oflatt-print-size-proofs
1 day ago