Revert "Merge pull request #36 from ssvlab/inclusion_mag_phase"

ssvlab / dsverifier

DSVerifier - Digital Systems Verifier

http://dsverifier.org

Apache License 2.0

12 stars 4 forks source link

Closed ssvlab closed 7 years ago

ssvlab commented 7 years ago

This reverts commit 93469f85d54559c25830b68a0d593e33585cdf46, reversing changes made to 985eaa12cadd53d78292b933a7df46d8796286d4.