search

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier
http://dsverifier.org
Apache License 2.0
12 stars 4 forks source link

Feature/overshoot #123

Closed thiago-cavalcante closed 6 years ago

thiago-cavalcante commented 6 years ago

@lucasccordeiro I have updated README file, can you review this PR in order to merge the changes?