aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith
Commit message (Collapse)AuthorAgeFilesLines
...
* Add data-file installation pathYann Herklotz2019-10-295-33/+42
| | | | | This removes the need to recursively copy the data directory which will also save on space.
* Run simulation on all tools passing synthesisYann Herklotz2019-10-281-20/+27
|
* Add --no-reductionYann Herklotz2019-10-281-21/+17
|
* Add mtl dependency to enable easier use of transformersYann Herklotz2019-10-272-142/+172
|
* Add OptParser to separate option parsingYann Herklotz2019-10-271-0/+266
|
* Add comment to code generationYann Herklotz2019-10-251-1/+1
|
* Add the literal list to the mod instantiationYann Herklotz2019-10-251-2/+3
|
* Fix subtle issue with module generationYann Herklotz2019-10-251-0/+1
|
* Change location of the html reportsYann Herklotz2019-10-182-4/+6
|
* Add -k functionalityYann Herklotz2019-10-182-7/+29
|
* Rename Sim to ToolYann Herklotz2019-10-1813-65/+60
|
* [Fix #63] Make build pass againYann Herklotz2019-10-062-57/+54
|
* Rename main modulesYann Herklotz2019-09-1833-0/+7038