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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Add options	Yann Herklotz	2019-02-03	1	-1/+3
\|
*	Add optparse-applicative dependency	Yann Herklotz	2019-02-03	1	-0/+1
\|
*	Fix all the compile and test errors	Yann Herklotz	2019-02-01	1	-2/+3
\|
*	Fix modules in cabal file	Yann Herklotz	2019-02-01	1	-18/+16
\|
*	Reformat cabal file	Yann Herklotz	2019-02-01	1	-92/+93
\|
*	Add filepath dependencies	Yann Herklotz	2019-01-23	1	-0/+1
\|
*	Compile main as threaded	Yann Herklotz	2019-01-21	1	-0/+1
\|
*	Fix unit test and cabal file	Yann Herklotz	2019-01-20	1	-1/+1
\|
*	Add internal simulator module	Yann Herklotz	2019-01-20	1	-2/+3
\|
*	Reformat with stylish-haskell	Yann Herklotz	2019-01-19	1	-0/+1
\|
*	Add examples and data to tar file	Yann Herklotz	2019-01-19	1	-0/+2
\|
*	Remove arbitrary from file list	Yann Herklotz	2019-01-10	1	-1/+0
\|
*	Update lts version	Yann Herklotz	2019-01-10	1	-2/+3
\|
*	Rename remaining modules	Yann Herklotz	2019-01-10	1	-19/+19
\|
*	Add doctest-discover	Yann Herklotz	2019-01-09	1	-2/+4
\|
*	Remove Test.hs from build	Yann Herklotz	2019-01-06	1	-11/+2
\|