aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Circuit
Commit message (Expand)AuthorAgeFilesLines
* Add new maintainer emailYann Herklotz2019-07-234-26/+18
* Format filesYann Herklotz2019-06-294-14/+22
* Changes to general typesYann Herklotz2019-04-141-2/+2
* Merge branch 'docs'Yann Herklotz2019-04-132-0/+12
|\
| * Add partial documentationYann Herklotz2019-04-072-0/+12
* | Change Port type to include lower boundYann Herklotz2019-04-121-2/+2
* | Add Parameter type and remove DescriptionYann Herklotz2019-04-091-2/+2
|/
* Large refactor with passing testsYann Herklotz2019-04-024-0/+233
* More restructuringYann Herklotz2019-02-014-223/+0
* Structure changesYann Herklotz2019-02-014-0/+223