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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Add extra dependencies	Yann Herklotz	2019-02-05	1	-0/+4
\|
*	Fix print of bytestring	Yann Herklotz	2019-02-05	1	-3/+5
\|
*	Add conversion to bytestring	Yann Herklotz	2019-02-05	1	-6/+35
\|
*	Add options	Yann Herklotz	2019-02-03	3	-71/+117
\|
*	Add optparse-applicative dependency	Yann Herklotz	2019-02-03	1	-0/+1
\|
*	Small fixes to module generation	Yann Herklotz	2019-02-03	1	-4/+7
\|
*	Add .gitignore	Yann Herklotz	2019-02-03	1	-1/+2
\|
*	Fix logging	Yann Herklotz	2019-02-03	2	-2/+3
\|
*	Add timeout and timeout check	Yann Herklotz	2019-02-02	2	-4/+11
\|
*	Remove directories without failures	Yann Herklotz	2019-02-02	1	-1/+2
\|
*	Reset Xst and Yosys default	Yann Herklotz	2019-02-02	1	-1/+1
\|
*	Try to add logging	Yann Herklotz	2019-02-02	6	-22/+35
\|
*	Add mutation for declaration	Yann Herklotz	2019-02-02	1	-0/+5
\|
*	Add mutation to declare other wires	Yann Herklotz	2019-02-02	1	-7/+28
\|
*	Add brackets around number	Yann Herklotz	2019-02-02	1	-1/+1
\|
*	Add case for empty context	Yann Herklotz	2019-02-02	1	-0/+5
\|
*	Smaller test case	Yann Herklotz	2019-02-02	1	-1/+1
\|
*	Change main to generate completely random module	Yann Herklotz	2019-02-02	1	-1/+1
\|
*	Remove last warning	Yann Herklotz	2019-02-01	1	-1/+4
\|