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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Support proper Quartus Pro version	Yann Herklotz	2019-11-14	5	-40/+166
*	Add delay to finish	Yann Herklotz	2019-11-14	1	-1/+1
*	Add z3 as default equivalence check with ABC	Yann Herklotz	2019-11-14	1	-0/+1
*	Add reduction for simulation failures	Yann Herklotz	2019-11-12	6	-70/+174
*	Use text to store counter-example	Yann Herklotz	2019-11-12	1	-15/+15
*	Add counter example parsing	Yann Herklotz	2019-11-10	7	-47/+164
*	Add reduction pass to remove constants from concat	Yann Herklotz	2019-11-05	4	-7/+57
*	Add support for Quartus using projects	Yann Herklotz	2019-11-04	2	-17/+45
*	Add parsing of existing rtl when starting fuzz run	Yann Herklotz	2019-10-31	2	-10/+31
*	Add data-file installation path	Yann Herklotz	2019-10-29	6	-38/+56
*	Run simulation on all tools passing synthesis	Yann Herklotz	2019-10-28	1	-20/+27
*	Add --no-reduction	Yann Herklotz	2019-10-28	2	-23/+20
*	Add mtl dependency to enable easier use of transformers	Yann Herklotz	2019-10-27	2	-142/+172
*	Add OptParser to separate option parsing	Yann Herklotz	2019-10-27	2	-245/+270
*	Add comment to code generation	Yann Herklotz	2019-10-25	1	-1/+1
*	Add the literal list to the mod instantiation	Yann Herklotz	2019-10-25	1	-2/+3
*	Fix subtle issue with module generation	Yann Herklotz	2019-10-25	1	-0/+1
*	Change location of the html reports	Yann Herklotz	2019-10-18	2	-4/+6
*	Add -k functionality	Yann Herklotz	2019-10-18	3	-9/+31
*	Rename Sim to Tool	Yann Herklotz	2019-10-18	14	-68/+63
*	[Fix #63] Make build pass again	Yann Herklotz	2019-10-06	2	-57/+54
*	Rename main modules	Yann Herklotz	2019-09-18	34	-203/+203
*	Renaming to VeriSmith	Yann Herklotz	2019-09-04	34	-0/+0
*	Change name from VeriFuzz to VeriSmith	Yann Herklotz	2019-08-29	34	-290/+290
*	Fix to read the verilog instead of a formal repr	Yann Herklotz	2019-08-01	1	-1/+1
*	Add a benchmark	Yann Herklotz	2019-07-27	3	-50/+163
*	Move the imports to VeriFuzz.hs	Yann Herklotz	2019-07-26	2	-7/+11
*	Move Gen.hs to Generate.hs	Yann Herklotz	2019-07-26	2	-3/+3
*	Add non determinism probability to generation	Yann Herklotz	2019-07-26	2	-24/+61
*	[Fix #52] Correctly resize the modules	Yann Herklotz	2019-07-23	1	-6/+9
*	Add new maintainer email	Yann Herklotz	2019-07-23	33	-284/+211
*	Fix nix build and add to travis	Yann Herklotz	2019-07-23	1	-16/+12
*	Fix the filtering of the local values	Yann Herklotz	2019-07-23	1	-1/+4
*	Remove stack and format fuzz	Yann Herklotz	2019-07-23	1	-33/+27
*	Add .env and fix VeriFuzz.hs	Yann Herklotz	2019-07-21	1	-23/+21
*	Merge branch 'master' into fix/resize-modports	Yann Herklotz	2019-07-21	29	-389/+1007
\|\
\| *	Format files	Yann Herklotz	2019-06-29	27	-269/+381
\| *	Fix pedantic warnings	Yann Herklotz	2019-06-29	5	-10/+21
\| *	Add back the simulation	Yann Herklotz	2019-06-29	3	-48/+55
\| *	Add part of the simulator implementation	Yann Herklotz	2019-06-29	3	-5/+104
\| *	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 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 check for synthfails	Yann Herklotz	2019-05-30	1	-1/+2
\| *	Add changes to work with older Vivado	Yann Herklotz	2019-05-26	1	-1/+1