issues
search
runtimeverification
/
rv-predict
Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2
stars
3
forks
source link
Extract a library for reading traces
#1030
Closed
gnuoyd
closed
5 years ago
gnuoyd
commented
5 years ago
The library is for Umang to reuse in his HB & WCP implementations.
The library is for Umang to reuse in his HB & WCP implementations.