GaloisInc/saw-script

Here's a brief summary of the GaloisInc/saw-script project: The GaloisInc/saw-script project, also known as the Software Analysis Workbench, is an open-source t