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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add template file	Yann Herklotz	2019-01-20	4	-47/+72
\|
*	Rename moduleId to modId	Yann Herklotz	2019-01-20	7	-22/+33
\|
*	Reformat with stylish-haskell	Yann Herklotz	2019-01-19	15	-87/+70
\|
*	Add hlint changes	Yann Herklotz	2019-01-19	3	-4/+3
\|
*	Set column to 100	Yann Herklotz	2019-01-19	9	-83/+31
\|
*	Add brittany formatting instead of stylish-haskell	Yann Herklotz	2019-01-19	17	-290/+387
\|
*	Small improvement to stmnt and expr function	Yann Herklotz	2019-01-19	1	-13/+16
\|
*	Swap the exports for the types of the AST	Yann Herklotz	2019-01-19	1	-2/+2
\|
*	Inline the timeout function	Yann Herklotz	2019-01-19	1	-0/+2
\|
*	Fix all the warnings	Yann Herklotz	2019-01-10	8	-47/+37
\|
*	Add documentation in AST	Yann Herklotz	2019-01-10	1	-15/+28
\|
*	Fix documentation error	Yann Herklotz	2019-01-10	1	-1/+1
\|
*	Add explicit exports	Yann Herklotz	2019-01-10	1	-24/+55
\|
*	Fix warnings	Yann Herklotz	2019-01-10	4	-51/+38
\|
*	Remove Arbitrary from main module	Yann Herklotz	2019-01-10	1	-2/+0
\|
*	Derive as many properties as possible	Yann Herklotz	2019-01-10	1	-30/+21
\|
*	Fix some imports	Yann Herklotz	2019-01-10	1	-53/+14
\|
*	Add render to test	Yann Herklotz	2019-01-10	1	-3/+3
\|
*	Remove Arbitrary.hs	Yann Herklotz	2019-01-10	1	-70/+0
\|
*	Fix warnings	Yann Herklotz	2019-01-10	3	-44/+13
\|
*	Rename remaining modules	Yann Herklotz	2019-01-10	4	-205/+91
\|
*	Rename files out of the module	Yann Herklotz	2019-01-10	19	-0/+0
\|
*	Rename module names so that I can move them	Yann Herklotz	2019-01-10	15	-183/+315
\|
*	Add show instance to Identifier	Yann Herklotz	2019-01-09	1	-4/+8
\|
*	Fix Xst synthesis	Yann Herklotz	2019-01-09	1	-5/+11
\|
*	Small improvements to Icarus	Yann Herklotz	2019-01-09	1	-7/+12
\|
*	[Fix #19] Add support for equivalence checking	Yann Herklotz	2019-01-09	1	-7/+42
\|
*	[Fix #20] Add more examples and finish makeTop	Yann Herklotz	2019-01-09	1	-0/+31
\|
*	Change to timeout to support FilePath	Yann Herklotz	2019-01-09	1	-4/+4
\|
*	Make generated wires longer	Yann Herklotz	2019-01-09	1	-3/+5
\|
*	Finish the testbenck for Icarus	Yann Herklotz	2019-01-02	1	-2/+18
\|
*	Add conversion ByteString -> Integer	Yann Herklotz	2019-01-02	1	-3/+2
\| \| \| \|	This means that the integer can then be printed in hex using showHex.
*	Add num instance for the delay	Yann Herklotz	2019-01-02	1	-0/+9
\|
*	Fix indentation	Yann Herklotz	2019-01-02	1	-10/+10
\|
*	Remove Monoid instance for LVal, as it does not quite fit	Yann Herklotz	2019-01-01	1	-9/+0
\|
*	Add bsToI function	Yann Herklotz	2019-01-01	1	-5/+8
\|
*	Add helper function to turn port into expr	Yann Herklotz	2019-01-01	1	-0/+3
\|
*	Add monoid instance for LVal	Yann Herklotz	2019-01-01	1	-1/+10
\|
*	Fix Monoid instance for Expr	Yann Herklotz	2019-01-01	1	-1/+1
\|
*	Add back monoid instance for statement	Yann Herklotz	2019-01-01	1	-0/+3
\|
*	Fix logic in CodeGen with maybe	Yann Herklotz	2019-01-01	1	-2/+4
\|
*	Fix linting warnings	Yann Herklotz	2019-01-01	8	-16/+14
\|
*	Formatting	Yann Herklotz	2019-01-01	1	-3/+3
\|
*	Remove empty statement and Monoid instance	Yann Herklotz	2019-01-01	1	-4/+0
\|
*	Fix Semigroup instances	Yann Herklotz	2019-01-01	1	-4/+8
\|
*	Use Monoid Statement instance to make code more concise	Yann Herklotz	2019-01-01	1	-5/+3
\|
*	Add documentation	Yann Herklotz	2019-01-01	1	-0/+10
\|
*	Add string instance to expression	Yann Herklotz	2019-01-01	1	-12/+42
\|
*	Add missing case in function	Yann Herklotz	2018-12-31	1	-0/+2
\|
*	Add show instance and add concat to reglval	Yann Herklotz	2018-12-31	4	-42/+88
\|