search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

add Iris repo so that we can benchmark Iris packages #43

Closed RalfJung closed 6 years ago

RalfJung commented 6 years ago

This is step 1. Step 2 would then be to add coq-lambda-rust to wherever this script is called.