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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bump version to 0.3.1.0v0.3.1.0	Yann Herklotz	2019-07-23	1	-2/+2
\|
*	Add new maintainer email	Yann Herklotz	2019-07-23	1	-1/+1
\|
*	Fix nix build and add to travis	Yann Herklotz	2019-07-23	1	-1/+1
\|
*	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 statistics	Yann Herklotz	2019-05-21	1	-0/+2
\|
*	Add support for ghc-8.4.2	Yann Herklotz	2019-05-15	1	-16/+15
\|
*	Add html output for report	Yann Herklotz	2019-05-13	1	-0/+1
\|
*	Add ResultT to Sh conversion	Yann Herklotz	2019-05-13	1	-0/+1
\|
*	Add Identity synthesiser	Yann Herklotz	2019-05-13	1	-0/+1
\|
*	Add more dependencies to build Yosys on EC2	Yann Herklotz	2019-05-12	1	-4/+1
\|
*	Fix but remove the doctests for now	Yann Herklotz	2019-05-10	1	-11/+13
\| \| \| \| \|	They were not working well with the current printing method. I have to find a way to remove the spaces from the output.
*	Add new pretty printer with indentation	Yann Herklotz	2019-05-09	1	-2/+8
\|
*	Add NFData to force evaluation of config file	Yann Herklotz	2019-05-09	1	-0/+1
\|
*	Support multiple reg assigns in if statements	Yann Herklotz	2019-05-06	1	-3/+5
\|
*	Add Report type	Yann Herklotz	2019-04-23	1	-1/+2
\|
*	Extend ResultT and Result with more instances	Yann Herklotz	2019-04-19	1	-0/+3
\|
*	Remove -Wall and -Werror, instead use --pedantic	Yann Herklotz	2019-04-17	1	-4/+1
\|
*	Fix tests and remove Parser tests for now	Yann Herklotz	2019-04-17	1	-3/+5
\|
*	Format with brittany and add right modules	Yann Herklotz	2019-04-15	1	-1/+1
\|
*	Update cabal with added modules	Yann Herklotz	2019-04-14	1	-0/+6
\|
*	Remove Arbitrary model	Yann Herklotz	2019-04-12	1	-1/+0
\|
*	Create Arbitrary module	Yann Herklotz	2019-04-08	1	-0/+1
\|
*	Add Vivado module	Yann Herklotz	2019-04-03	1	-0/+1
\|
*	Large refactor with passing tests	Yann Herklotz	2019-04-02	1	-21/+23
\|
*	Remove fgl-arbitrary completely	Yann Herklotz	2019-04-02	1	-1/+0
\|
*	Remove QuickCheck and use Hedgehog instead	Yann Herklotz	2019-04-02	1	-14/+7
\|
*	Small fix to indentation	Yann Herklotz	2019-04-01	1	-4/+4
\|
*	Add back fixed doctest	Yann Herklotz	2019-04-01	1	-1/+18
\|
*	Fix warnings in code	Yann Herklotz	2019-03-31	1	-1/+1
\|
*	Remove doctest temporarily	Yann Herklotz	2019-03-31	1	-13/+0
\|
*	Fix some of the tests	Yann Herklotz	2019-03-31	1	-0/+1
\|
*	Rewrite the parser with real lexer	Yann Herklotz	2019-03-31	1	-2/+7
\|
*	Change license name	Yann Herklotz	2019-03-30	1	-4/+3
\|
*	Clean imports	Yann Herklotz Grave	2019-03-04	1	-1/+2
\|
*	Add transformers and procedural generation	Yann Herklotz Grave	2019-03-03	1	-1/+2
\|
*	Remove warn in cabal	Yann Herklotz Grave	2019-03-01	1	-1/+1
\|
*	Add missing modules to cabal	Yann Herklotz Grave	2019-03-01	1	-9/+9
\|
*	[Fix #7] Add property test to parser	Yann Herklotz Grave	2019-02-16	1	-0/+1
\|
*	Change to Parsec and add Lexer	Yann Herklotz Grave	2019-02-16	1	-2/+2
\|
*	Update version	Yann Herklotz Grave	2019-02-16	1	-2/+2
\|
*	Add Parser to library	Yann Herklotz Grave	2019-02-16	1	-0/+1
\|
*	Add -Wall -Werror for tests	Yann Herklotz Grave	2019-02-15	1	-0/+2
\|
*	Add -Wall and -Werror	Yann Herklotz Grave	2019-02-15	1	-2/+2
\|
*	Add attoparsec-expr as a dependency	Yann Herklotz Grave	2019-02-13	1	-0/+1
\|
*	Fix versions and tests	Yann Herklotz Grave	2019-02-11	1	-1/+1
\|
*	Bump minor version	Yann Herklotz Grave	2019-02-11	1	-43/+43
\|
*	Fix reducer	Yann Herklotz Grave	2019-02-11	1	-0/+1
\|
*	Remove Simulation from cabal and add dependencies	Yann Herklotz	2019-02-08	1	-1/+2
\|
*	Add extra dependencies	Yann Herklotz	2019-02-05	1	-0/+4
\|