search

UoYCS-plasma / LazySmallCheck2012

Lazy SmallCheck with functional values and existentials!
BSD 3-Clause "New" or "Revised" License
4 stars 2 forks source link

Include performance benchmarks. #5

Closed jasonreich closed 12 years ago

jasonreich commented 12 years ago

E.g. those used in the paper.