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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Add more documentation about the new build	Yann Herklotz	2019-07-23	1	-14/+39
*	Bump version to 0.3.1.0v0.3.1.0	Yann Herklotz	2019-07-23	1	-2/+2
*	[Fix #52] Correctly resize the modules	Yann Herklotz	2019-07-23	1	-6/+9
*	Add new maintainer email	Yann Herklotz	2019-07-23	36	-297/+219
*	Add release to nix	Yann Herklotz	2019-07-23	1	-0/+2
*	Fix nix build and add to travis	Yann Herklotz	2019-07-23	6	-47/+53
*	Fix the filtering of the local values	Yann Herklotz	2019-07-23	1	-1/+4
*	Add end of line	Yann Herklotz	2019-07-23	1	-1/+1
*	Remove stack and format fuzz	Yann Herklotz	2019-07-23	5	-52/+111
*	Add .env and fix VeriFuzz.hs	Yann Herklotz	2019-07-21	2	-23/+22
*	Update default.nix	Yann Herklotz	2019-07-21	2	-5/+7
*	Merge branch 'master' into fix/resize-modports	Yann Herklotz	2019-07-21	62	-478/+2202
\|\
\| *	Add section about configuration file	Yann Herklotz	2019-07-05	2	-6/+79
\| *	Small changes to the documentation	Yann Herklotz	2019-07-05	1	-17/+14
\| *	Add description to data	Yann Herklotz	2019-06-29	1	-0/+5
\| *	Format files	Yann Herklotz	2019-06-29	32	-289/+416
\| *	Fix pedantic warnings	Yann Herklotz	2019-06-29	5	-10/+21
\| *	Add generated constructs	Yann Herklotz	2019-06-29	1	-6/+16
\| *	Add links to presentation and thesis	Yann Herklotz	2019-06-29	1	-7/+26
\| *	Add some more stats	Yann Herklotz	2019-06-29	1	-0/+3
\| *	Add reported bugs	Yann Herklotz	2019-06-29	1	-8/+12
\| *	Add found bugs	Yann Herklotz	2019-06-29	1	-0/+19
\| *	Add back the simulation	Yann Herklotz	2019-06-29	5	-63/+60
\| *	Add part of the simulator implementation	Yann Herklotz	2019-06-29	3	-5/+104
\| *	Add exclude script	Yann Herklotz	2019-06-06	1	-0/+37
\| *	Format all files	Yann Herklotz	2019-06-05	10	-104/+143
\| *	Fix size in output wire	Yann Herklotz	2019-06-05	1	-2/+3
\| *	Add combination option	Yann Herklotz	2019-06-05	3	-5/+10
\| *	Add median and mean sampling	Yann Herklotz	2019-06-02	1	-10/+39
\| *	Remove dead code	Yann Herklotz	2019-06-02	1	-1/+1
\| *	Add selection for soup	Yann Herklotz	2019-06-02	1	-1/+1
\| *	Add XOR to the output	Yann Herklotz	2019-06-02	2	-2/+3
\| *	Add fix to synthesise correctly with Quartus without MAC	Yann Herklotz	2019-06-02	1	-1/+2
\| *	Add check for quicker reduction	Yann Herklotz	2019-06-02	1	-17/+19
\| *	Add extra experiments	Yann Herklotz	2019-06-02	2	-0/+66
\| *	Fix cyclone_v cell declaration	Yann Herklotz	2019-06-02	1	-46/+12
\| *	Add output	Yann Herklotz	2019-05-30	1	-3/+3
\| *	Fix the conversion	Yann Herklotz	2019-05-30	1	-3/+13
\| *	Add conversion script	Yann Herklotz	2019-05-30	4	-0/+21
\| *	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