search

GaloisInc / saw-script

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

G/C heapster's attic #2142

Closed sauclovian-g closed 1 week ago

sauclovian-g commented 2 weeks ago

Closes #1621.

ok @naomiiiiiiiii who apparently can't be asked to review (?)