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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Rename main modules	Yann Herklotz	2019-09-18	1	-1/+1
\|
*	Change name from VeriFuzz to VeriSmith	Yann Herklotz	2019-08-29	1	-1/+1
\|
*	Add defaultMain	Yann Herklotz	2019-05-12	1	-244/+2
\|
*	Support multiple reg assigns in if statements	Yann Herklotz	2019-05-06	1	-3/+7
\|
*	Format with brittany	Yann Herklotz	2019-05-05	1	-9/+9
\|
*	Add seeds for reproducible runs	Yann Herklotz	2019-05-05	1	-2/+2
\|
*	Add --num command line option	Yann Herklotz	2019-04-25	1	-2/+11
\|
*	Add time and date by default	Yann Herklotz	2019-04-24	1	-4/+3
\|
*	Add documentation to Config.hs	Yann Herklotz	2019-04-23	1	-2/+2
\|
*	Formatting files and add result type to front end	Yann Herklotz	2019-04-23	1	-2/+1
\|
*	Add helper functions to execute fuzzing multiple times	Yann Herklotz	2019-04-19	1	-2/+2
\|
*	Use new fuzzing technique instead of the old function	Yann Herklotz	2019-04-17	1	-16/+7
\|
*	Move declaration of SourceInfo	Yann Herklotz	2019-04-15	1	-2/+2
\|
*	Fix the generation of modules and add initialisation	Yann Herklotz	2019-04-10	1	-87/+62
\|
*	Add config command and more fuzz options	Yann Herklotz	2019-04-04	1	-8/+57
\|
*	Generate Verilog instead of ModDecl	Yann Herklotz	2019-04-03	1	-1/+1
\|
*	Remove QuickCheck and use Hedgehog instead	Yann Herklotz	2019-04-02	1	-5/+2
\|
*	Run through brittany	Yann Herklotz	2019-04-01	1	-24/+27
\|
*	Add more options to main app	Yann Herklotz Grave	2019-03-07	1	-8/+16
\|
*	Add option to reduce file to Main	Yann Herklotz Grave	2019-03-01	1	-2/+39
\|
*	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
\|