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

	Commit message (Expand)	Author	Age	Files	Lines
...
\| *	Add changes to swarm	Yann Herklotz	2019-05-30	2	-6/+23
\| *	Add check for synthfails	Yann Herklotz	2019-05-30	1	-1/+2
\| *	Add changes to work with older Vivado	Yann Herklotz	2019-05-26	4	-6/+6
\| *	Fix reduction for statements	Yann Herklotz	2019-05-25	4	-15/+109
\| *	Export helpers from Fuzz.hs	Yann Herklotz	2019-05-25	1	-0/+3
\| *	Add more command line options for replay	Yann Herklotz	2019-05-25	1	-7/+69
\| *	Use synthesiser instance	Yann Herklotz	2019-05-25	1	-1/+1
\| *	Add synthesis fails to fuzzer	Yann Herklotz	2019-05-25	2	-0/+17
\| *	Add reducesynthesis function	Yann Herklotz	2019-05-25	1	-0/+13
\| *	Add timeout error to synthesisers	Yann Herklotz	2019-05-25	2	-12/+20
\| *	Add scripts to run verifuzz	Yann Herklotz	2019-05-25	2	-0/+31
\| *	Add more experiments	Yann Herklotz	2019-05-25	4	-0/+173
\| *	No expression reduction	Yann Herklotz	2019-05-24	1	-1/+1
\| *	Fix used wire check for clk	Yann Herklotz	2019-05-24	4	-14/+32
\| *	Reduction throws away path if it finds a passing one	Yann Herklotz	2019-05-24	2	-21/+18
\| *	Change parameters of generation	Yann Herklotz	2019-05-22	1	-7/+2
\| *	Add extra large configuration	Yann Herklotz	2019-05-22	1	-0/+45
\| *	Add hat sampling to config	Yann Herklotz	2019-05-22	10	-2/+22
\| *	Add choice for hat sampling in config	Yann Herklotz	2019-05-21	1	-6/+14
\| *	Add necessary exports to AST and CodeGen	Yann Herklotz	2019-05-21	2	-2/+2
\| *	Add lines of code to report	Yann Herklotz	2019-05-21	1	-3/+11
\| *	Add hat sampling	Yann Herklotz	2019-05-21	1	-18/+40
\| *	Lower version bound on statitics	Yann Herklotz	2019-05-21	1	-1/+1
\| *	Bump version with new changesv0.3.0.0	Yann Herklotz	2019-05-21	1	-1/+1
\| *	Add a different State and new FuzzReport output	Yann Herklotz	2019-05-21	1	-43/+112
\| *	Add more fields to the FuzzReport	Yann Herklotz	2019-05-21	1	-34/+145
\| *	Switch meaning of Semigroup	Yann Herklotz	2019-05-21	1	-1/+1
\| *	Remove unused function	Yann Herklotz	2019-05-21	1	-3/+0
\| *	Remove logging from within tools	Yann Herklotz	2019-05-21	5	-27/+9
\| *	Add statistics	Yann Herklotz	2019-05-21	1	-0/+2
\| *	Add shift example	Yann Herklotz	2019-05-21	1	-0/+103
\| *	add	Yann Herklotz	2019-05-21	9	-0/+387
\| *	Add only identity	Yann Herklotz	2019-05-21	1	-1/+1
\| *	Fix warning on CI	Yann Herklotz	2019-05-20	1	-2/+2
* \|	Add all vim backup files to gitignore	Yann Herklotz	2019-07-21	1	-1/+2
* \|	Add the shell.nix	Yann Herklotz	2019-07-21	1	-0/+25
* \|	Add nix style build	Yann Herklotz	2019-07-20	6	-0/+112
* \|	Multiple initialisations now appearing	Yann Herklotz	2019-07-20	3	-12/+25
* \|	Fix missing module instantiation	Yann Herklotz	2019-07-09	1	-1/+1
* \|	Broken fix for modport	Yann Herklotz	2019-05-20	1	-11/+19
\|/
*	Format using brittany	Yann Herklotz	2019-05-20	2	-4/+9
*	Only compare against the identity synth	Yann Herklotz	2019-05-20	3	-5/+6
*	Merge branch 'master' of github.com:ymherklotz/verifuzz	Yann Herklotz	2019-05-20	3	-43/+66
\|\
\| *	Change simple graph check to acyclic check	Yann Herklotz	2019-05-19	3	-32/+52
\| *	Merge branch 'master' of github.com:ymherklotz/verifuzz	Yann Herklotz	2019-05-18	3	-16/+48
\| \|\
\| * \|	Add colour to the report	Yann Herklotz	2019-05-18	1	-32/+35
* \| \|	Only modify expressions in swarm testing	Yann Herklotz	2019-05-20	2	-30/+7
* \| \|	Rename script	Yann Herklotz	2019-05-20	1	-0/+30
\| \|/ \|/\|
* \|	add statistics script	Yann Herklotz	2019-05-18	1	-0/+23
* \|	Add support for ghc-8.4.2	Yann Herklotz	2019-05-15	2	-16/+25
\|/