aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Graph
Commit message (Collapse)AuthorAgeFilesLines
* Make generated wires longerYann Herklotz2019-01-091-3/+5
|
* Fix linting warningsYann Herklotz2019-01-012-3/+3
|
* Fix build errorsYann Herklotz2018-12-311-2/+4
|
* Remove sep and fromList in favour of foldYann Herklotz2018-12-311-4/+4
|
* Large refactorYann Herklotz2018-12-312-9/+9
|
* [Fix #13, Fix #15] Fix type errors and add inst functionsYann Herklotz2018-12-301-1/+1
|
* [Fix #14] Add size to Port typeYann Herklotz2018-12-301-2/+2
|
* Add remove duplicatesYann Herklotz2018-12-292-6/+18
|
* Add alternative generation methodYann Herklotz2018-12-291-0/+29
|
* Add new generation methodYann Herklotz2018-12-291-14/+14
|
* Style changesYann Herklotz2018-12-291-7/+7
|
* Changes to the APIYann Herklotz2018-12-291-14/+21
|
* Fix documentation and copyrightYann Herklotz2018-12-283-9/+9
|
* Fix imports and cabal fileYann Herklotz2018-12-281-3/+3
|
* Remove OverloadedStrings in favour of declaration in moduleYann Herklotz2018-12-272-4/+0
|
* Small style changeYann Herklotz2018-12-271-1/+1
|
* Type fixesYann Herklotz2018-12-251-7/+8
|
* Format ASTGenYann Herklotz2018-12-221-6/+3
|
* [Fix #2] Add generation of AST from CircuitYann Herklotz2018-12-221-8/+21
|
* Add more functions to the code generationYann Herklotz2018-12-222-25/+21
|
* Add more AST generationYann Herklotz2018-12-201-1/+19
|
* Fix documentationYann Herklotz2018-12-152-2/+32
|
* Add AST generationYann Herklotz2018-12-151-0/+47
|
* Add more code to the shared codeYann Herklotz2018-12-011-15/+5
|
* Move generation to new locationYann Herklotz2018-12-011-0/+63
|
* [lint] Remove unnecessary '$'Yann Herklotz2018-12-011-1/+1
|
* Fix type issue in mainYann Herklotz2018-11-301-5/+10
|
* Basic generation with errorsYann Herklotz2018-11-161-1/+1
|
* Format and remove unnecessary declarationsYann Herklotz2018-11-161-6/+3
|
* Add style to the filesYann Herklotz2018-11-141-4/+6
|
* Random generation of DAGYann Herklotz2018-11-091-13/+26
|
* Add initial module filesYann Herklotz2018-11-091-0/+13