aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Remove DRBG from Fuzz.hsfix/remove-DRBGYann Herklotz2019-11-051-13/+17
|
* Remove DRBG dependencyYann Herklotz2019-11-052-27/+32
|
* Add Vagrant fileYann Herklotz Grave2019-11-051-0/+74
|
* Classify Verilog correctlyYann Herklotz2019-11-051-1/+2
|
* Update reducer scriptYann Herklotz2019-11-051-8/+22
|
* Add reduction pass to remove constants from concatYann Herklotz2019-11-055-15/+88
|
* Add asynchronous loadYann Herklotz2019-11-051-2/+6
|
* Add support for Quartus using projectsYann Herklotz2019-11-042-17/+45
|
* Fix testsuite by adding preprocessorYann Herklotz2019-11-011-10/+9
|
* Fix dffeas specificationYann Herklotz2019-10-311-4/+2
|
* Add parsing of existing rtl when starting fuzz runYann Herklotz2019-10-312-10/+31
|
* Add reducer testing scriptYann Herklotz2019-10-311-0/+51
|
* Add data-file installation pathYann Herklotz2019-10-297-40/+58
| | | | | This removes the need to recursively copy the data directory which will also save on space.
* Revert .envrc codeYann Herklotz2019-10-281-83/+0
|
* Run simulation on all tools passing synthesisYann Herklotz2019-10-281-20/+27
|
* Add --no-reductionYann Herklotz2019-10-282-23/+20
|
* Add mtl dependency to enable easier use of transformersYann Herklotz2019-10-273-172/+202
|
* Add OptParser to separate option parsingYann Herklotz2019-10-272-245/+270
|
* Update configv0.4.0.1Yann Herklotz2019-10-251-2/+4
|
* Update the version string for future releaseYann Herklotz2019-10-251-1/+1
|
* Change to one lineYann Herklotz2019-10-251-61/+17
|
* Add comment to code generationYann Herklotz2019-10-251-1/+1
|
* Update README with current build procedureYann Herklotz2019-10-251-11/+29
|
* Add the literal list to the mod instantiationYann Herklotz2019-10-251-2/+3
|
* Fix subtle issue with module generationYann Herklotz2019-10-251-0/+1
|
* Change location of the html reportsYann Herklotz2019-10-182-4/+6
|
* Add -k functionalityYann Herklotz2019-10-183-9/+31
|
* Edit .envrc for nixYann Herklotz2019-10-181-1/+1
|
* Rename Sim to ToolYann Herklotz2019-10-1815-77/+72
|
* Update default configurationYann Herklotz2019-10-181-13/+10
|
* Update runnerYann Herklotz2019-10-181-15/+22
|
* Remove reference to nix filesYann Herklotz2019-10-071-1/+0
|
* Clean up default.nix fileYann Herklotz2019-10-071-5/+3
|
* Remove nix folderYann Herklotz2019-10-074-77/+0
|
* Fix cabal filev0.4.0.0Yann Herklotz2019-10-061-1/+10
|
* Pin the nix repositoryYann Herklotz2019-10-061-3/+13
|
* Fix spelling in readmeYann Herklotz2019-10-061-3/+3
|
* Change benchmark informationYann Herklotz2019-10-061-15/+16
| | | | | Generation became ~8x slower because of the StateT Context Gen ==> GenT (State Context) change.
* Test cases pass againYann Herklotz2019-10-061-12/+0
|
* [Fix #63] Make build pass againYann Herklotz2019-10-065-113/+59
|
* Add more scriptsYann Herklotz2019-09-184-0/+190
|
* Rename main modulesYann Herklotz2019-09-1843-259/+275
|
* Small changes to .cabalYann Herklotz2019-09-061-2/+7
|
* Rename cabal file to fix nixYann Herklotz2019-09-041-0/+0
|
* Renaming to VeriSmithYann Herklotz2019-09-0434-0/+0
|
* Change name from VeriFuzz to VeriSmithYann Herklotz2019-08-2946-379/+372
|
* Add new bug that was foundYann Herklotz2019-08-151-0/+1
|
* Added benchmark results for comparisonYann Herklotz2019-08-071-0/+27
|
* Update aws setup scriptYann Herklotz2019-08-071-2/+3
|
* Fix wording of readmeYann Herklotz2019-08-011-3/+4
|
generated by cgit (git 2.34.1) at 2024-05-18 10:56:34 +0000