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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use cachix for the build	Yann Herklotz	2020-05-13	1	-0/+1
\|
*	Remove unnecessary job	Yann Herklotz	2020-04-07	1	-6/+0
\|
*	Merge branch 'develop' of github.com:ymherklotz/verismith into develop	Yann Herklotz	2020-04-06	1	-0/+16
\|\
\| *	WIP changes to the AST types	Yann Herklotz	2020-03-16	1	-11/+13
\| \|
\| *	Add caching for cabal to travis	Yann Herklotz	2020-03-07	1	-0/+4
\| \|
\| *	Update build script to run in bash	Yann Herklotz	2020-03-07	1	-1/+1
\| \|
\| *	Fix travis build and .envrc	Yann Herklotz	2020-03-07	1	-1/+1
\| \|
\| *	New travis build	Yann Herklotz	2020-03-06	1	-0/+11
\| \|
* \|	Add cachix to travis build	Yann Herklotz	2020-04-06	1	-3/+8
\|/
*	Add benchmark	Yann Herklotz	2019-07-28	1	-2/+0
\|
*	Add some more performance optimisations	Yann Herklotz	2019-07-27	1	-1/+5
\|
*	Add faster build to travis	Yann Herklotz	2019-07-27	1	-0/+1
\|
*	Make the nix build more concise	Yann Herklotz	2019-07-27	1	-2/+0
\|
*	Add release to nix	Yann Herklotz	2019-07-23	1	-0/+2
\|
*	Fix nix build and add to travis	Yann Herklotz	2019-07-23	1	-25/+1
\|
*	Add new pretty printer with indentation	Yann Herklotz	2019-05-09	1	-1/+1
\|
*	Move --pedantic flag to the end	Yann Herklotz	2019-04-19	1	-1/+1
\|
*	Add '--pedantic' to travis	Yann Herklotz	2019-04-17	1	-3/+3
\|
*	Upgrade travis version	Yann Herklotz	2018-12-30	1	-2/+2
\|
*	Back to minimal	Yann Herklotz	2018-12-29	1	-0/+1
\|
*	Remove language specification as it is somehow slower	Yann Herklotz	2018-12-29	1	-1/+0
\|
*	Minimal language added	Yann Herklotz	2018-12-29	1	-0/+1
\|
*	Add link to README	Yann Herklotz	2018-12-29	1	-1/+1
\|
*	Downgrading ghc	Yann Herklotz	2018-12-29	1	-2/+2
\|
*	Add travis.yml file	Yann Herklotz	2018-12-29	1	-0/+24