aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/EMI.hs
Commit message (Expand)AuthorAgeFilesLines
* Add functions and fix EMIYann Herklotz2021-05-211-4/+23
* Add Equivalence top-level generationYann Herklotz2021-05-191-5/+63
* Add more top-level changesYann Herklotz2021-05-191-30/+55
* Add top-level argument interface for EMIYann Herklotz2021-05-181-0/+18
* Add configuration for EMI testingYann Herklotz2021-05-181-10/+23
* Add full example of EMI testingYann Herklotz2021-05-171-0/+75
* Add EMI testingYann Herklotz2021-05-061-0/+11