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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Remove interim report	Yann Herklotz	2019-02-01	1	-0/+0
\|
*	Small warning fix	Yann Herklotz	2019-02-01	1	-1/+1
\|
*	Fix all the compile and test errors	Yann Herklotz	2019-02-01	14	-62/+74
\|
*	Fix imports	Yann Herklotz	2019-02-01	13	-57/+61
\|
*	Fix modules in cabal file	Yann Herklotz	2019-02-01	1	-18/+16
\|
*	Rename XST and add imports	Yann Herklotz	2019-02-01	2	-20/+32
\|
*	Fix internal modules	Yann Herklotz	2019-02-01	1	-1/+11
\|
*	More restructuring	Yann Herklotz	2019-02-01	15	-130/+26
\|
*	Structure changes	Yann Herklotz	2019-02-01	9	-26/+65
\|
*	Reformat cabal file	Yann Herklotz	2019-02-01	1	-92/+93
\|
*	Add back Show for tests	Yann Herklotz	2019-02-01	1	-21/+21
\|
*	Add type annotations	Yann Herklotz	2019-02-01	1	-0/+2
\|
*	[Fix #28] Add Expression generation with context	Yann Herklotz	2019-02-01	1	-16/+29
\|