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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Move tests to test	Yann Herklotz	2019-01-09	5	-0/+0
\|
*	Add doctest-discover	Yann Herklotz	2019-01-09	3	-6/+10
\|
*	Add dependencies for hoogle support	Yann Herklotz	2019-01-09	1	-0/+4
\|
*	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
\|
*	Adding more examples to main	Yann Herklotz	2019-01-09	1	-2/+9
\|
*	Remove Test.hs from build	Yann Herklotz	2019-01-06	1	-11/+2
\|
*	remove Test.hs, will all be in Main.hs	Yann Herklotz	2019-01-06	1	-19/+0
\|
*	Add changes to Main.hs	Yann Herklotz	2019-01-06	1	-9/+31
\|
*	Renaming testing file	Yann Herklotz	2019-01-02	2	-2/+2
\|
*	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	9	-17/+15
\|
*	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
\|
*	Fix build errors	Yann Herklotz	2018-12-31	2	-2/+5
\|
*	Remove sep and fromList in favour of fold	Yann Herklotz	2018-12-31	3	-26/+7
\|
*	Separate arbitrary from types	Yann Herklotz	2018-12-31	1	-0/+184
\|
*	Adding code to Icarus	Yann Herklotz	2018-12-31	1	-3/+15
\|
*	Large refactor	Yann Herklotz	2018-12-31	9	-345/+171
\|
*	Finish module instantiation	Yann Herklotz	2018-12-31	3	-6/+16
\|
*	Add direction to Decl and add doctest	Yann Herklotz	2018-12-31	4	-11/+26
\|
*	[Fix #17] Add size to ports	Yann Herklotz	2018-12-31	2	-5/+13
\|
*	Add doctest test	Yann Herklotz	2018-12-31	1	-0/+8
\|
*	Adding doctest suite	Yann Herklotz	2018-12-31	2	-0/+15
\|
*	Fix dot generation	Yann Herklotz	2018-12-31	2	-4/+7
\|
*	Delete lib folder	Yann Herklotz	2018-12-30	1	-0/+0
\|
*	[Fix #13, Fix #15] Fix type errors and add inst functions	Yann Herklotz	2018-12-30	4	-14/+17
\|
*	Change modPort type from Maybe to List	Yann Herklotz	2018-12-30	1	-1/+1
\|
*	Upgrade travis version	Yann Herklotz	2018-12-30	1	-2/+2
\|