search

ssvlab / dsverifier

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

Refactoring DSVerifier #90

Closed lucasccordeiro closed 7 years ago

lucasccordeiro commented 7 years ago

This PR consists in several improvements related to the DSVerifier source code. In particular, it applies CPPLINT to all DSVerifier files and also adds more regression tests for the floating-point digital controllers.