aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Merge branch 'master' into dev/reducerdev/reducerYann Herklotz2020-05-132-1/+33
|\
| * Add distance function (#75)Yann Herklotz2020-05-092-0/+32
| | | | | | | | | | | | | | | | | | | | | | * Add distance function * Add distance measure for lists with testcases * Add more distance measures for AST * Add distance to commandline * Fix distance always giving 0
* | Add for loops and events to reductionYann Herklotz2020-05-121-0/+18
| |
* | Format with ormoluYann Herklotz2020-05-127-279/+414
| |
* | Tests passing for new reductionYann Herklotz2020-05-112-17/+24
|/
* Fix the test suiteYann Herklotz2020-04-072-36/+41
|
* WIP changes to the AST typesYann Herklotz2020-03-161-1/+1
|
* Update license noticesYann Herklotz2020-01-062-2/+2
|
* Update license to dual license GPLv3Yann Herklotz2020-01-062-2/+2
|
* Add reduction pass to remove constants from concatYann Herklotz2019-11-051-8/+31
|
* Fix testsuite by adding preprocessorYann Herklotz2019-11-011-10/+9
|
* Test cases pass againYann Herklotz2019-10-061-12/+0
|
* [Fix #63] Make build pass againYann Herklotz2019-10-061-26/+0
|
* Rename main modulesYann Herklotz2019-09-185-12/+12
|
* Change name from VeriFuzz to VeriSmithYann Herklotz2019-08-295-36/+29
|
* Add a benchmarkYann Herklotz2019-07-271-3/+11
|
* Add benchmarkYann Herklotz2019-07-271-0/+7
|
* Add new maintainer emailYann Herklotz2019-07-232-12/+7
|
* Format filesYann Herklotz2019-06-295-20/+35
|
* Fix reduction for statementsYann Herklotz2019-05-251-0/+89
|
* Fix used wire check for clkYann Herklotz2019-05-241-0/+6
|
* Change simple graph check to acyclic checkYann Herklotz2019-05-191-5/+12
|
* Add test for removing unused wiresYann Herklotz2019-05-151-0/+54
|
* Add test for clean allYann Herklotz2019-05-141-4/+67
|
* Add test for clean functionYann Herklotz2019-05-141-6/+78
|
* Format with brittanyYann Herklotz2019-05-134-69/+71
|
* Add NonEmpty to testsYann Herklotz2019-05-131-21/+21
|
* Change the arguments to Text in the ParserYann Herklotz2019-05-131-2/+3
|
* Add more dependencies to build Yosys on EC2Yann Herklotz2019-05-121-2/+2
|
* Add working statement reductionYann Herklotz2019-05-121-0/+85
|
* Implement module item reduction properlyYann Herklotz2019-05-111-6/+6
|
* Fix warnings for CIYann Herklotz2019-05-111-2/+1
|
* Add reduction unit testsYann Herklotz2019-05-111-0/+2
|
* Add new reduction techniquesYann Herklotz2019-05-111-32/+139
|
* Fixed parser to parse all the generated verilogYann Herklotz2019-05-101-9/+45
|
* Add always and initial blocks to parserYann Herklotz2019-05-102-1/+39
|
* Add parser and reducer testsYann Herklotz2019-05-092-0/+106
|
* Add new pretty printer with indentationYann Herklotz2019-05-092-30/+4
|
* Support multiple reg assigns in if statementsYann Herklotz2019-05-061-1/+1
|
* Fix compiling on CIYann Herklotz2019-04-191-2/+4
|
* Extend property tests to ResultTYann Herklotz2019-04-171-25/+21
|
* Fix tests and remove Parser tests for nowYann Herklotz2019-04-171-3/+54
|
* Update property testsYann Herklotz2019-04-141-18/+17
|
* Fix tests passingYann Herklotz2019-04-131-6/+4
|
* Large refactor with passing testsYann Herklotz2019-04-021-6/+7
|
* Fix hlint hintsYann Herklotz2019-04-021-2/+2
|
* Change property tests to use HedgehogYann Herklotz2019-04-021-46/+32
|
* Run through brittanyYann Herklotz2019-04-012-6/+8
|
* Add back fixed doctestYann Herklotz2019-04-011-1/+12
|
* Fix some of the testsYann Herklotz2019-03-311-2/+3
|
generated by cgit (git 2.34.1) at 2024-05-15 14:52:54 +0000