Edited LICENSE, added LICENSE-OPAM and CLIGHTGEN-LICENSE - Githubissues

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

442 stars 93 forks source link

Edited LICENSE, added LICENSE-OPAM and CLIGHTGEN-LICENSE #556

Closed andrew-appel closed 2 years ago