For posterity, here are some useful files from my working copy

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

Open gnuoyd opened 5 years ago

gnuoyd commented 5 years ago

as of 3 Jan 2018.

gnuoyd commented 5 years ago

Jenkins: test this please.

gnuoyd commented 5 years ago

Jenkins: test this please.