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

	Commit message (Expand)	Author	Age	Files	Lines
*	Add seeds for reproducible runs	Yann Herklotz	2019-05-05	5	-46/+85
*	Add more reduction to tests	Yann Herklotz	2019-04-29	1	-2/+10
*	Add random bit selection for wires	Yann Herklotz	2019-04-26	6	-44/+89
*	Add --num command line option	Yann Herklotz	2019-04-25	1	-2/+11
*	Add time and date by default	Yann Herklotz	2019-04-24	2	-7/+20
*	Add documentation to Config.hs	Yann Herklotz	2019-04-23	2	-18/+130
*	Fix cells_xilinx_7.v LD and FD modules	Yann Herklotz	2019-04-23	1	-17/+0
*	Fix some errors in the templates	Yann Herklotz	2019-04-23	2	-0/+53
*	Fix XST Synthesis	Yann Herklotz	2019-04-23	1	-1/+1
*	Add simulator support to the config file	Yann Herklotz	2019-04-23	2	-179/+101
*	Formatting files and add result type to front end	Yann Herklotz	2019-04-23	6	-8/+15
*	Fix code generation for always blocks with or	Yann Herklotz	2019-04-23	1	-3/+3
*	Fine tune the generation	Yann Herklotz	2019-04-23	1	-15/+13
*	Add Report type	Yann Herklotz	2019-04-23	3	-1/+172
*	Add event list generation for always blocks	Yann Herklotz	2019-04-23	3	-73/+4
*	Add support for more event lists	Yann Herklotz	2019-04-21	4	-11/+74
*	Add new modules to fix Quartus equivalence check	Yann Herklotz	2019-04-21	2	-1/+55
*	Add helper functions to execute fuzzing multiple times	Yann Herklotz	2019-04-19	2	-11/+26
*	Move --pedantic flag to the end	Yann Herklotz	2019-04-19	1	-1/+1
*	Fix compiling on CI	Yann Herklotz	2019-04-19	2	-2/+7
*	Fix some suggestions in Result.hs	Yann Herklotz	2019-04-19	1	-5/+2
*	Equivalence test now running	Yann Herklotz	2019-04-19	1	-2/+1
*	Extend ResultT and Result with more instances	Yann Herklotz	2019-04-19	3	-9/+49
*	Add output information to Type	Yann Herklotz	2019-04-18	8	-82/+95
*	Add output path to each simulator	Yann Herklotz	2019-04-18	6	-50/+121
*	Use new fuzzing technique instead of the old function	Yann Herklotz	2019-04-17	5	-28/+36
*	Reduce the wire size as Quartus was crashing	Yann Herklotz	2019-04-17	1	-1/+9
*	Extend property tests to ResultT	Yann Herklotz	2019-04-17	1	-25/+21
*	Remove -Wall and -Werror, instead use --pedantic	Yann Herklotz	2019-04-17	1	-4/+1
*	Add new Fuzzing technique, that checks simulators against each other	Yann Herklotz	2019-04-17	1	-11/+97
*	Add Show instances to simulators	Yann Herklotz	2019-04-17	5	-8/+25
*	Add '--pedantic' to travis	Yann Herklotz	2019-04-17	1	-3/+3
*	Fix tests and remove Parser tests for now	Yann Herklotz	2019-04-17	4	-11/+65
*	Fix other type errors and replace with Result type	Yann Herklotz	2019-04-17	3	-35/+49
*	Update simulator with Result type	Yann Herklotz	2019-04-17	5	-61/+111
*	Add Fuzzer and implement it with the result type	Yann Herklotz	2019-04-17	1	-35/+26
*	Move Reduce file	Yann Herklotz	2019-04-17	1	-2/+2
*	Add Result type	Yann Herklotz	2019-04-17	1	-0/+101
*	Move declaration of SourceInfo	Yann Herklotz	2019-04-15	13	-37/+41
*	Format with brittany and add right modules	Yann Herklotz	2019-04-15	5	-19/+20
*	Remove non existant exports	Yann Herklotz	2019-04-15	1	-6/+1
*	Fix warnings	Yann Herklotz	2019-04-15	1	-9/+14
*	Rename Synthesisor -> Synthesiser	Yann Herklotz	2019-04-15	5	-13/+13
*	Replace Env by Fuzz	Yann Herklotz	2019-04-15	2	-58/+113
*	Some changes to recursion schemes	Yann Herklotz	2019-04-14	1	-18/+4
*	Remove blocking assignment from Generation	Yann Herklotz	2019-04-14	1	-1/+1
*	Change port declarations in Reduce	Yann Herklotz	2019-04-14	1	-4/+4
*	Print out local time	Yann Herklotz	2019-04-14	1	-2/+5
*	Add bit vector to Icarus simulation	Yann Herklotz	2019-04-14	1	-1/+6
*	Add Bit vector instead of using numbers	Yann Herklotz	2019-04-14	6	-184/+142