search

uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

provide more recent ocaml version in travis tests #19

Closed ztatlock closed 6 years ago

ztatlock commented 6 years ago

Switching to work from develop instead of master.