search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Remove stray reference to ocaml 4.09 #2152

Closed sauclovian-g closed 6 days ago

sauclovian-g commented 1 week ago

Closes #2057.