aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fix shuffle for VecSelect and RangeSelectHEADmasterYann Herklotz2021-07-301-1/+4
* Fix small bugs with the parserYann Herklotz2021-07-231-1/+1
* Add paranthesisYann Herklotz2021-07-231-1/+1
* Fix compilation issuesYann Herklotz2021-07-232-6/+7
* Add command line variablesYann Herklotz2021-07-233-2/+71
* Add a cabal update to the DockerfileYann Herklotz2021-07-141-1/+1
* Add wget as a dependencyYann Herklotz2021-07-141-1/+1
* Add a DockerfileYann Herklotz2021-07-141-0/+11
* Add shuffling of Verilog itemsYann Herklotz2021-07-141-0/+132
* Add changes to Icarus for fuzzingYann Herklotz2021-07-146-5/+43
* Add functions and fix EMIYann Herklotz2021-05-212-16/+51
* Add simulation supportYann Herklotz2021-05-211-1/+1
* Fix top-level of interfaceYann Herklotz2021-05-212-3/+35
* Add new simulation for EMIYann Herklotz2021-05-192-22/+91
* Add showBS to UtilsYann Herklotz2021-05-191-0/+9
* Add formal properties to ASTYann Herklotz2021-05-192-0/+35
* Add Equivalence top-level generationYann Herklotz2021-05-191-5/+63
* Add more top-level changesYann Herklotz2021-05-193-32/+107
* Add top-level argument interface for EMIYann Herklotz2021-05-183-1/+98
* Add configuration for EMI testingYann Herklotz2021-05-182-11/+58
* Add full example of EMI testingYann Herklotz2021-05-173-2/+101
* Add EMI testingYann Herklotz2021-05-062-2/+13
* Fix parser for a larger set of inputsYann Herklotz2021-04-269-30/+71
* Add hackage packagev1.0.0.2Yann Herklotz2020-08-141-0/+1
* Add FPGA'20 DOI linkYann Herklotz2020-08-131-0/+1
* Add DOI link to zenodoYann Herklotz2020-08-131-1/+4
* Use cachix for the buildYann Herklotz2020-05-131-0/+1
* Save out of scope variablesYann Herklotz2020-05-131-2/+8
* Remove removeDecl as that pass is already thereYann Herklotz2020-05-131-1/+1
* Remove main.v scriptYann Herklotz2020-05-131-27/+0
* Better reducer and formatting (#76)Yann Herklotz2020-05-1344-5200/+6129
|\
| * Merge branch 'master' into dev/reducerdev/reducerYann Herklotz2020-05-136-1/+250
| |\ | |/ |/|
* | Add distance function (#75)Yann Herklotz2020-05-096-49/+274
| * Fix generation of blocking assignmentYann Herklotz2020-05-131-45/+129
| * Add for loops and events to reductionYann Herklotz2020-05-122-1/+36
| * Add line count to reductionYann Herklotz2020-05-121-3/+5
| * Remove single module instead of allYann Herklotz2020-05-121-25/+30
| * Change order of types in ASTYann Herklotz2020-05-121-107/+107
| * Add debug to reductionYann Herklotz2020-05-122-4/+14
| * Format with ormoluYann Herklotz2020-05-1244-5032/+5683
| * Tests passing for new reductionYann Herklotz2020-05-114-18/+37
| * Fix types with annotationsYann Herklotz2020-05-1113-44/+51
| * Add reduction annotationsYann Herklotz2020-05-111-92/+134
| * Add proper annotation supportYann Herklotz2020-05-111-69/+119
|/
* Merge branch 'RCoeurjoly-master'Yann Herklotz2020-04-271-1/+1
|\
| * Ignore all dist foldersYann Herklotz2020-04-271-2/+1
| * Ignore dist, which is created when running cabal run verismithRoland Coeurjoly2020-04-261-0/+1
|/
* Fix .gitignoredevelopYann Herklotz2020-04-251-7/+7
* Fix README wording for LICENSEYann Herklotz2020-04-221-2/+22
* Remove commercial restriction from this versionYann Herklotz2020-04-221-15/+3