verismith - Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add a benchmark	Yann Herklotz	2019-07-27	1	-3/+11
\|
*	Add benchmark	Yann Herklotz	2019-07-27	1	-0/+7
\|
*	Add new maintainer email	Yann Herklotz	2019-07-23	2	-12/+7
\|
*	Format files	Yann Herklotz	2019-06-29	5	-20/+35
\|
*	Fix reduction for statements	Yann Herklotz	2019-05-25	1	-0/+89
\|
*	Fix used wire check for clk	Yann Herklotz	2019-05-24	1	-0/+6
\|
*	Change simple graph check to acyclic check	Yann Herklotz	2019-05-19	1	-5/+12
\|
*	Add test for removing unused wires	Yann Herklotz	2019-05-15	1	-0/+54
\|
*	Add test for clean all	Yann Herklotz	2019-05-14	1	-4/+67
\|
*	Add test for clean function	Yann Herklotz	2019-05-14	1	-6/+78
\|
*	Format with brittany	Yann Herklotz	2019-05-13	4	-69/+71
\|
*	Add NonEmpty to tests	Yann Herklotz	2019-05-13	1	-21/+21
\|
*	Change the arguments to Text in the Parser	Yann Herklotz	2019-05-13	1	-2/+3
\|
*	Add more dependencies to build Yosys on EC2	Yann Herklotz	2019-05-12	1	-2/+2
\|
*	Add working statement reduction	Yann Herklotz	2019-05-12	1	-0/+85
\|
*	Implement module item reduction properly	Yann Herklotz	2019-05-11	1	-6/+6
\|
*	Fix warnings for CI	Yann Herklotz	2019-05-11	1	-2/+1
\|
*	Add reduction unit tests	Yann Herklotz	2019-05-11	1	-0/+2
\|
*	Add new reduction techniques	Yann Herklotz	2019-05-11	1	-32/+139
\|
*	Fixed parser to parse all the generated verilog	Yann Herklotz	2019-05-10	1	-9/+45
\|
*	Add always and initial blocks to parser	Yann Herklotz	2019-05-10	2	-1/+39
\|
*	Add parser and reducer tests	Yann Herklotz	2019-05-09	2	-0/+106
\|
*	Add new pretty printer with indentation	Yann Herklotz	2019-05-09	2	-30/+4
\|
*	Support multiple reg assigns in if statements	Yann Herklotz	2019-05-06	1	-1/+1
\|
*	Fix compiling on CI	Yann Herklotz	2019-04-19	1	-2/+4
\|
*	Extend property tests to ResultT	Yann Herklotz	2019-04-17	1	-25/+21
\|
*	Fix tests and remove Parser tests for now	Yann Herklotz	2019-04-17	1	-3/+54
\|
*	Update property tests	Yann Herklotz	2019-04-14	1	-18/+17
\|
*	Fix tests passing	Yann Herklotz	2019-04-13	1	-6/+4
\|
*	Large refactor with passing tests	Yann Herklotz	2019-04-02	1	-6/+7
\|
*	Fix hlint hints	Yann Herklotz	2019-04-02	1	-2/+2
\|
*	Change property tests to use Hedgehog	Yann Herklotz	2019-04-02	1	-46/+32
\|
*	Run through brittany	Yann Herklotz	2019-04-01	2	-6/+8
\|
*	Add back fixed doctest	Yann Herklotz	2019-04-01	1	-1/+12
\|
*	Fix some of the tests	Yann Herklotz	2019-03-31	1	-2/+3
\|
*	Reformat using brittany	Yann Herklotz Grave	2019-02-25	2	-11/+24
\|
*	Indent by 4	Yann Herklotz Grave	2019-02-17	2	-78/+77
\|
*	Fix CodeGen bug and add more property tests	Yann Herklotz Grave	2019-02-16	1	-12/+16
\|
*	[Fix #7] Add property test to parser	Yann Herklotz Grave	2019-02-16	1	-1/+32
\|
*	Fix warnings for -Wall	Yann Herklotz Grave	2019-02-16	3	-6/+5
\|
*	Change test case to use plated instance	Yann Herklotz	2019-02-08	1	-1/+1
\|
*	Fix all the compile and test errors	Yann Herklotz	2019-02-01	1	-1/+1
\|
*	Add type annotations	Yann Herklotz	2019-02-01	1	-0/+2
\|
*	Prettify files	Yann Herklotz	2019-01-20	2	-35/+76
\|
*	Fix unit test and cabal file	Yann Herklotz	2019-01-20	1	-1/+0
\|
*	Rename moduleId to modId	Yann Herklotz	2019-01-20	1	-0/+1
\|
*	Rename remaining modules	Yann Herklotz	2019-01-10	3	-4/+4
\|
*	Move tests to test	Yann Herklotz	2019-01-09	5	-0/+93
\|
*	Rename folder to examples	Yann Herklotz	2018-11-08	1	-23/+0
\|
*	Add simple verilog AND gate	Yann Herklotz	2018-11-07	1	-0/+23