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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Indent by 4	Yann Herklotz Grave	2019-02-17	20	-845/+861
\|
*	Brittany formatting	Yann Herklotz Grave	2019-02-17	16	-231/+347
\|
*	Add Parser to Main.hs	Yann Herklotz Grave	2019-02-17	2	-2/+25
\|
*	Fix example in documentation	Yann Herklotz Grave	2019-02-16	1	-1/+1
\|
*	Fix CodeGen bug and add more property tests	Yann Herklotz Grave	2019-02-16	3	-14/+18
\|
*	[Fix #7] Add property test to parser	Yann Herklotz Grave	2019-02-16	2	-1/+33
\|
*	Fix to parser	Yann Herklotz Grave	2019-02-16	2	-44/+39
\|
*	Fix lint errors	Yann Herklotz Grave	2019-02-16	1	-4/+3
\|
*	Change to Parsec and add Lexer	Yann Herklotz Grave	2019-02-16	4	-66/+282
\|
*	Change Port type, adding signed info	Yann Herklotz Grave	2019-02-16	6	-33/+47
\|
*	Fix lint errors	Yann Herklotz Grave	2019-02-16	3	-10/+9
\|
*	Update version	Yann Herklotz Grave	2019-02-16	2	-8/+7
\|
*	Add export lists	Yann Herklotz Grave	2019-02-16	5	-24/+41
\|
*	Fix warnings for -Wall	Yann Herklotz Grave	2019-02-16	4	-8/+5
\|
*	Add Parser to library	Yann Herklotz Grave	2019-02-16	2	-0/+3
\|
*	Add number parsing	Yann Herklotz Grave	2019-02-16	1	-8/+37
\|
*	Add expression parsing	Yann Herklotz Grave	2019-02-15	1	-75/+96
\|
*	Take out non synthesisable comparison	Yann Herklotz Grave	2019-02-15	1	-2/+2
\|
*	Add -Wall -Werror for tests	Yann Herklotz Grave	2019-02-15	1	-0/+2
\|
*	Fix all warnings	Yann Herklotz Grave	2019-02-15	4	-8/+9
\|
*	Add -Wall and -Werror	Yann Herklotz Grave	2019-02-15	1	-2/+2
\|
*	Fix warnings	Yann Herklotz Grave	2019-02-15	1	-3/+2
\|
*	Add attoparsec-expr as a dependency	Yann Herklotz Grave	2019-02-13	1	-0/+1
\|
*	Add expression to parser	Yann Herklotz Grave	2019-02-13	1	-4/+111
\|
*	Fix parser build errorsv0.1.1.0	Yann Herklotz Grave	2019-02-11	1	-1/+1
\|
*	Fix versions and tests	Yann Herklotz Grave	2019-02-11	2	-5/+1
\|
*	Fix reduce build	Yann Herklotz Grave	2019-02-11	1	-2/+1
\|
*	Bump minor version	Yann Herklotz Grave	2019-02-11	1	-43/+43
\|
*	Add simple parser	Yann Herklotz Grave	2019-02-11	1	-0/+25
\|
*	Fix reducer	Yann Herklotz Grave	2019-02-11	2	-1/+2
\|
*	Fix tests in Mutate.hs	Yann Herklotz Grave	2019-02-09	1	-3/+16
\|
*	Remove Simulation from cabal and add dependencies	Yann Herklotz	2019-02-08	1	-1/+2
\|
*	Change test case to use plated instance	Yann Herklotz	2019-02-08	1	-1/+1
\|
*	Also fix ModCA issue for Mutate.hs	Yann Herklotz	2019-02-08	1	-1/+47
\|
*	Remove _ModCA and replace it by modContAssign	Yann Herklotz	2019-02-08	1	-1/+1
\|
*	Add Data derivations to AST and Plated instance to Expr	Yann Herklotz	2019-02-08	1	-26/+42
\|
*	Move simulation into library	Yann Herklotz	2019-02-08	1	-1/+89
\|
*	Remove Simulation file and move into library	Yann Herklotz	2019-02-08	1	-101/+0
\|
*	Make the main compile again	Yann Herklotz	2019-02-08	1	-2/+1
\|
*	Add Reduce which will contain the test reduction	Yann Herklotz	2019-02-08	1	-0/+29
\|
*	Set the timeout to 5 mins	Yann Herklotz	2019-02-07	1	-2/+2
\|
*	Add runner for verilog file	Yann Herklotz	2019-02-07	1	-3/+10
\|
*	Reduce the timeout	Yann Herklotz	2019-02-07	1	-3/+7
\|
*	Remove divide and mod from the generator list	Yann Herklotz	2019-02-07	1	-2/+2
\|
*	Fix bracket error	Yann Herklotz	2019-02-07	1	-6/+6
\|
*	Add more commandline options to Main	Yann Herklotz	2019-02-07	1	-10/+95
\|
*	Add show to simulation	Yann Herklotz	2019-02-06	1	-6/+18
\|
*	Add completely random module generation	Yann Herklotz	2019-02-05	1	-1/+2
\|
*	[Fix #21] Fix type signature to bytestring	Yann Herklotz	2019-02-05	1	-4/+4
\|
*	Add hashing of bytestring output	Yann Herklotz	2019-02-05	1	-16/+18
\|