search

runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Omit mentions of rvpx(1), removed in 8c74da6fd67816893d4f5c923a63db0e1952a284 #1034

Closed maya-rv closed 5 years ago

maya-rv commented 5 years ago

closes #978.