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

	Commit message (Expand)	Author	Age	Files	Lines
*	Add found bugs	Yann Herklotz Grave	2019-03-03	9	-0/+847
*	Add applicative instance and Expr reduction	Yann Herklotz Grave	2019-03-02	1	-20/+48
*	Some formatting	Yann Herklotz Grave	2019-03-01	1	-4/+4
*	Remove warn in cabal	Yann Herklotz Grave	2019-03-01	1	-1/+1
*	Add better reduction with custom type	Yann Herklotz Grave	2019-03-01	1	-48/+73
*	Add lens to access main module in SourceInfo	Yann Herklotz Grave	2019-03-01	3	-7/+23
*	Lint fix	Yann Herklotz Grave	2019-03-01	1	-1/+1
*	[Fix #35] Add reducer that tries and reduce Verilog given a run	Yann Herklotz Grave	2019-03-01	1	-24/+94
*	[Fix #38] Fix parser to correctly identify input and output ports	Yann Herklotz Grave	2019-03-01	1	-2/+13
*	Add general function to mutations	Yann Herklotz Grave	2019-03-01	1	-1/+7
*	[Fix #37] Fix types in the simulator with more general functions	Yann Herklotz Grave	2019-03-01	3	-55/+63
*	Add missing modules to cabal	Yann Herklotz Grave	2019-03-01	1	-9/+9
*	Add missing modules to Internal module	Yann Herklotz Grave	2019-03-01	1	-1/+3
*	Add Simulation and Synthesis environments	Yann Herklotz Grave	2019-03-01	1	-12/+31
*	Fix indentation	Yann Herklotz Grave	2019-03-01	1	-19/+22
*	Fix warnings in ASTGen and make it more general	Yann Herklotz Grave	2019-03-01	1	-11/+9
*	[Fix #34, Fix #36] Add Ord instance to AST	Yann Herklotz Grave	2019-03-01	1	-49/+60
*	Fixing exports and imports in main library	Yann Herklotz Grave	2019-03-01	1	-13/+29
*	Add option to reduce file to Main	Yann Herklotz Grave	2019-03-01	1	-2/+39
*	Applying stylish-haskell	Yann Herklotz Grave	2019-03-01	2	-15/+13
*	Moving general simulator options into Internal	Yann Herklotz Grave	2019-03-01	3	-150/+173
*	Add documentation to main VeriFuzz module	Yann Herklotz Grave	2019-02-26	1	-0/+11
*	Add Ord to AST and fix reduction function	Yann Herklotz Grave	2019-02-26	2	-24/+26
*	Add failed tests to gitignore	Yann Herklotz Grave	2019-02-26	1	-1/+2
*	Add recursive reduce call	Yann Herklotz Grave	2019-02-25	2	-6/+35
*	Reformat using brittany	Yann Herklotz Grave	2019-02-25	17	-109/+238
*	Remove hlint.yaml	Yann Herklotz Grave	2019-02-25	1	-60/+0
*	Add haskell-src-exts dependency for hoogle build	Yann Herklotz Grave	2019-02-18	1	-0/+1
*	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