Branches - dewert99/plat-smt - CodSpeed

Blog Docs Changelog

Branches performance

Pull requests

Interpolants #99

last run

20 days ago

Add feature to use interpolants in binary

20 days ago

251b051

interpolants

0%

Add bool theory only version of solver #98

last run

5 months ago

Put EUF behind default feature

5 months ago

6a92eec

bool-theory

0%

Add DefRecorder trait to start preparing for proofs/interpolants #97

last run

5 months ago

Update rust version in benchmarks

5 months ago

0bc368a

def-recorder

0%

Use egraph to track duplicate ifs #96

last run

6 months ago

Use egraph to track duplicate ifs

6 months ago

ea48a0f

if-in-egraph

×27

© 2026 CodSpeed Technology

Home Terms Privacy Docs