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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add new maintainer email	Yann Herklotz	2019-07-23	1	-1/+1
\|
*	Remove stack and format fuzz	Yann Herklotz	2019-07-23	1	-33/+27
\|
*	Format files	Yann Herklotz	2019-06-29	1	-46/+50
\|
*	Fix pedantic warnings	Yann Herklotz	2019-06-29	1	-5/+1
\|
*	Add back the simulation	Yann Herklotz	2019-06-29	1	-21/+28
\|
*	Add part of the simulator implementation	Yann Herklotz	2019-06-29	1	-0/+45
\|
*	Format all files	Yann Herklotz	2019-06-05	1	-40/+45
\|
*	Add median and mean sampling	Yann Herklotz	2019-06-02	1	-10/+39
\|
*	Add check for synthfails	Yann Herklotz	2019-05-30	1	-1/+2
\|
*	Export helpers from Fuzz.hs	Yann Herklotz	2019-05-25	1	-0/+3
\|
*	Use synthesiser instance	Yann Herklotz	2019-05-25	1	-1/+1
\|
*	Add synthesis fails to fuzzer	Yann Herklotz	2019-05-25	1	-0/+16
\|
*	Fix used wire check for clk	Yann Herklotz	2019-05-24	1	-1/+1
\|
*	Reduction throws away path if it finds a passing one	Yann Herklotz	2019-05-24	1	-2/+2
\|
*	Add hat sampling to config	Yann Herklotz	2019-05-22	1	-2/+4
\|
*	Add hat sampling	Yann Herklotz	2019-05-21	1	-18/+40
\|
*	Add a different State and new FuzzReport output	Yann Herklotz	2019-05-21	1	-43/+112
\|
*	Fix warning on CI	Yann Herklotz	2019-05-20	1	-2/+2
\|
*	Format using brittany	Yann Herklotz	2019-05-20	1	-1/+5
\|
*	Only compare against the identity synth	Yann Herklotz	2019-05-20	1	-2/+3
\|
*	Format with brittany	Yann Herklotz	2019-05-13	1	-25/+26
\|
*	Fix report generation for fuzz run	Yann Herklotz	2019-05-13	1	-3/+10
\|
*	Add reduction to fuzz run	Yann Herklotz	2019-05-13	1	-2/+33
\|
*	Remove Maybe from equivalence check	Yann Herklotz	2019-05-13	1	-1/+1
\|
*	Add NFData to force evaluation of config file	Yann Herklotz	2019-05-09	1	-2/+3
\|
*	Only show the seed	Yann Herklotz	2019-05-07	1	-3/+1
\|
*	Add description field to Yosys	Yann Herklotz	2019-05-07	1	-4/+3
\|
*	Create better command line output	Yann Herklotz	2019-05-07	1	-7/+7
\|
*	Rename some functions to use nicer names	Yann Herklotz	2019-05-07	1	-1/+1
\|
*	Support multiple reg assigns in if statements	Yann Herklotz	2019-05-06	1	-8/+0
\|
*	Format with brittany	Yann Herklotz	2019-05-05	1	-20/+40
\|
*	Write config file with seed to the fuzz directory	Yann Herklotz	2019-05-05	1	-17/+20
\|
*	Add seeds for reproducible runs	Yann Herklotz	2019-05-05	1	-16/+45
\|
*	Add time and date by default	Yann Herklotz	2019-04-24	1	-3/+17
\|
*	Add simulator support to the config file	Yann Herklotz	2019-04-23	1	-162/+46
\|
*	Add helper functions to execute fuzzing multiple times	Yann Herklotz	2019-04-19	1	-9/+24
\|
*	Fix compiling on CI	Yann Herklotz	2019-04-19	1	-0/+3
\|
*	Equivalence test now running	Yann Herklotz	2019-04-19	1	-2/+1
\|
*	Extend ResultT and Result with more instances	Yann Herklotz	2019-04-19	1	-5/+8
\|
*	Add output information to Type	Yann Herklotz	2019-04-18	1	-44/+59
\|
*	Add output path to each simulator	Yann Herklotz	2019-04-18	1	-37/+93
\|
*	Add new Fuzzing technique, that checks simulators against each other	Yann Herklotz	2019-04-17	1	-11/+97
\|
*	Add Fuzzer and implement it with the result type	Yann Herklotz	2019-04-17	1	-35/+26
\|
*	Move declaration of SourceInfo	Yann Herklotz	2019-04-15	1	-2/+4
\|
*	Format with brittany and add right modules	Yann Herklotz	2019-04-15	1	-1/+2
\|
*	Fix warnings	Yann Herklotz	2019-04-15	1	-9/+14
\|
*	Replace Env by Fuzz	Yann Herklotz	2019-04-15	1	-0/+113