aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim/Vivado.hs
Commit message (Expand)AuthorAgeFilesLines
* Add new maintainer emailYann Herklotz2019-07-231-10/+5
* Format filesYann Herklotz2019-06-291-4/+9
* Format all filesYann Herklotz2019-06-051-1/+6
* Add changes to work with older VivadoYann Herklotz2019-05-261-1/+1
* Remove logging from within toolsYann Herklotz2019-05-211-2/+0
* Add NFData to force evaluation of config fileYann Herklotz2019-05-091-0/+4
* Add configuration options for all simulatorsYann Herklotz2019-05-071-12/+15
* Rename some functions to use nicer namesYann Herklotz2019-05-071-2/+2
* Add support for multiple modulesYann Herklotz2019-05-071-1/+1
* Formatting files and add result type to front endYann Herklotz2019-04-231-1/+2
* 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-1/+4
* Update simulator with Result typeYann Herklotz2019-04-171-11/+14
* Move declaration of SourceInfoYann Herklotz2019-04-151-0/+1
* Rename Synthesisor -> SynthesiserYann Herklotz2019-04-151-3/+3
* Add quick fix to run without dsp48Yann Herklotz2019-04-031-1/+2
* Add Vivado moduleYann Herklotz2019-04-031-0/+48