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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Changes to general types	Yann Herklotz	2019-04-14	4	-99/+90
\|
*	Update property tests	Yann Herklotz	2019-04-14	1	-18/+17
\|
*	Update cabal with added modules	Yann Herklotz	2019-04-14	1	-0/+6
\|
*	Add Eval module to evaluate expressions	Yann Herklotz	2019-04-14	1	-0/+103
\|
*	Add BitVec type to model Verilog bit vectors	Yann Herklotz	2019-04-14	1	-0/+115
\|
*	Add Quartus implementation	Yann Herklotz	2019-04-14	1	-0/+52
\|