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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Reformat using brittany	Yann Herklotz Grave	2019-02-25	1	-10/+27
\|
*	Indent by 4	Yann Herklotz Grave	2019-02-17	1	-73/+85
\|
*	Add Parser to Main.hs	Yann Herklotz Grave	2019-02-17	1	-1/+20
\|
*	Fix all warnings	Yann Herklotz Grave	2019-02-15	1	-1/+0
\|
*	Fix warnings	Yann Herklotz Grave	2019-02-15	1	-3/+2
\|
*	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
\|
*	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 print of bytestring	Yann Herklotz	2019-02-05	1	-3/+5
\|
*	Add options	Yann Herklotz	2019-02-03	2	-70/+114
\|
*	Add timeout and timeout check	Yann Herklotz	2019-02-02	1	-3/+10
\|
*	Remove directories without failures	Yann Herklotz	2019-02-02	1	-1/+2
\|
*	Try to add logging	Yann Herklotz	2019-02-02	1	-6/+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
\|
*	Fix all the compile and test errors	Yann Herklotz	2019-02-01	1	-12/+4
\|
*	Structure changes	Yann Herklotz	2019-02-01	1	-12/+16
\|
*	Better formatting	Yann Herklotz	2019-02-01	1	-8/+17
\|
*	Fix the main app	Yann Herklotz	2019-01-23	1	-5/+6
\|
*	Better multithreading	Yann Herklotz	2019-01-22	1	-5/+11
\|
*	Make main infinitely recurse	Yann Herklotz	2019-01-21	1	-10/+23
\|
*	Format of main file	Yann Herklotz	2019-01-20	1	-4/+6
\|
*	Prettify files	Yann Herklotz	2019-01-20	1	-1/+4
\|
*	Rename moduleId to modId	Yann Herklotz	2019-01-20	1	-3/+5
\|
*	Reformat with stylish-haskell	Yann Herklotz	2019-01-19	1	-22/+19
\|
*	Print absolute value of hash	Yann Herklotz	2019-01-19	1	-1/+1
\| \| \| \| \| \| \| \|	There should be a better solution though using Crypto.Hash.Md5 for example, which works on bytestrings. This could be done by encoding the text as a ByteString and hashing that, or parsing all of the outputs and generating a ByteString from that.
*	Rename remaining modules	Yann Herklotz	2019-01-10	1	-2/+2
\|
*	Adding more examples to main	Yann Herklotz	2019-01-09	1	-2/+9
\|
*	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	1	-0/+0
\|
*	Fix linting warnings	Yann Herklotz	2019-01-01	1	-1/+1
\|
*	Fix dot generation	Yann Herklotz	2018-12-31	1	-4/+6
\|
*	Upgrade stack version	Yann Herklotz	2018-12-30	1	-8/+2
\|
*	Add remove duplicates	Yann Herklotz	2018-12-29	1	-2/+2
\|
*	Add new generation method	Yann Herklotz	2018-12-29	1	-6/+11
\|
*	Make generation more controlled	Yann Herklotz	2018-12-29	1	-6/+6
\|
*	Fix documentation and copyright	Yann Herklotz	2018-12-28	1	-3/+3
\|
*	Add executable for Yosys	Yann Herklotz	2018-12-28	1	-0/+1
\|
*	Edit main	Yann Herklotz	2018-12-28	1	-3/+3
\|
*	Remove OverloadedStrings in favour of declaration in module	Yann Herklotz	2018-12-27	1	-2/+0
\|
*	Add yosys shell script	Yann Herklotz	2018-12-27	1	-0/+18
\|
*	Generate completely random verilog	Yann Herklotz	2018-12-27	1	-3/+5
\|
*	Fix main and improve speed of run script	Yann Herklotz	2018-12-25	1	-1/+1
\|
*	Add nesting to the SourceText	Yann Herklotz	2018-12-23	1	-1/+3
\|
*	Add qualified imports	Yann Herklotz	2018-12-15	1	-13/+12
\|
*	Add quickcheck to main	Yann Herklotz	2018-12-04	1	-0/+3
\|