Refactor DSValidator scripts - Githubissues

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier

http://dsverifier.org

Apache License 2.0

12 stars 4 forks source link

Refactor DSValidator scripts #102

Closed lennonchaves closed 6 years ago

lennonchaves commented 7 years ago

verify code to be refactored (reports)
generate new matlab toolbox install file
produce new videos