aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Quartus.hs
Commit message (Collapse)AuthorAgeFilesLines
* Add new modules to fix Quartus equivalence checkYann Herklotz2019-04-211-0/+1
|
* Add output information to TypeYann Herklotz2019-04-181-5/+5
|
* Add output path to each simulatorYann Herklotz2019-04-181-2/+6
|
* Add Show instances to simulatorsYann Herklotz2019-04-171-3/+7
|
* Update simulator with Result typeYann Herklotz2019-04-171-13/+13
|
* Move declaration of SourceInfoYann Herklotz2019-04-151-0/+1
|
* Rename Synthesisor -> SynthesiserYann Herklotz2019-04-151-1/+1
|
* Add Quartus implementationYann Herklotz2019-04-141-0/+52