search

cuplv / verivita

Dynamic verification using callbacks
2 stars 1 forks source link

Should we merge now that kistenstappeln works? #144

Closed ftc closed 7 years ago

smover commented 7 years ago

@ftc yes. For not repeating work, finish contraction timer and then we merge and close the branch.