aboutsummaryrefslogtreecommitdiffstats
path: root/src/Verismith/Verilog
Commit message (Expand)AuthorAgeFilesLines
* Fix small bugs with the parserYann Herklotz2021-07-231-1/+1
* Add paranthesisYann Herklotz2021-07-231-1/+1
* Add changes to Icarus for fuzzingYann Herklotz2021-07-143-3/+37
* Add formal properties to ASTYann Herklotz2021-05-192-0/+35
* Fix parser for a larger set of inputsYann Herklotz2021-04-267-24/+65
* Merge branch 'master' into dev/reducerdev/reducerYann Herklotz2020-05-131-0/+181
|\
| * Add distance function (#75)Yann Herklotz2020-05-091-0/+181
* | Change order of types in ASTYann Herklotz2020-05-121-107/+107
* | Format with ormoluYann Herklotz2020-05-1210-1291/+1461
* | Tests passing for new reductionYann Herklotz2020-05-111-1/+9
* | Fix types with annotationsYann Herklotz2020-05-111-12/+15
* | Add proper annotation supportYann Herklotz2020-05-111-69/+119
|/
* Add annotations and make it compile againYann Herklotz2020-04-071-0/+4
* WIP changes to the AST typesYann Herklotz2020-03-166-70/+71
* Changes to AST to support annotationsYann Herklotz2020-03-041-289/+305
* Fix spacing in the generated VerilogYann Herklotz2020-03-031-16/+20
* Add case statement to the ASTYann Herklotz2020-03-032-1/+41
* Update license noticesYann Herklotz2020-01-0610-10/+10
* Update license to dual license GPLv3Yann Herklotz2020-01-0610-10/+10
* Add ModConnNamed in testbenchYann Herklotz2019-11-241-1/+1
* Fix more changes to for loopsYann Herklotz2019-11-241-1/+1
* Do not mutate the expression in the for loopYann Herklotz2019-11-241-1/+1
* Add reduction pass to remove constants from concatYann Herklotz2019-11-051-0/+6
* Add comment to code generationYann Herklotz2019-10-251-1/+1
* Rename main modulesYann Herklotz2019-09-1811-0/+2866