aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith
Commit message (Expand)AuthorAgeFilesLines
* Add new AST for Specify keywordfeature/ignored-constructsYann Herklotz2019-10-291-114/+126
* Add data-file installation pathYann Herklotz2019-10-295-33/+42
* 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