aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Fix to read the verilog instead of a formal reprYann Herklotz2019-08-011-1/+1
|
* Add benchmarkYann Herklotz2019-07-283-4/+4
|
* Add some more performance optimisationsYann Herklotz2019-07-271-1/+5
|
* Add faster build to travisYann Herklotz2019-07-271-0/+1
|
* Make the nix build more conciseYann Herklotz2019-07-274-96/+13
|
* Add a benchmarkYann Herklotz2019-07-276-61/+196
|
* Add benchmarkYann Herklotz2019-07-271-0/+7
|
* Move the imports to VeriFuzz.hsYann Herklotz2019-07-262-7/+11
|
* Move Gen.hs to Generate.hsYann Herklotz2019-07-263-4/+4
|
* Add non determinism probability to generationYann Herklotz2019-07-264-25/+64
|
* Remove old way of running testsYann Herklotz2019-07-231-13/+0
|
* Add more documentation about the new buildYann Herklotz2019-07-231-14/+39
|
* Bump version to 0.3.1.0v0.3.1.0Yann Herklotz2019-07-231-2/+2
|
* [Fix #52] Correctly resize the modulesYann Herklotz2019-07-231-6/+9
| | | | | This was fixed by taking out the clock and wiring it separately as it was shifting all the assignments.
* Add new maintainer emailYann Herklotz2019-07-2336-297/+219
|
* Add release to nixYann Herklotz2019-07-231-0/+2
|
* Fix nix build and add to travisYann Herklotz2019-07-236-47/+53
|
* Fix the filtering of the local valuesYann Herklotz2019-07-231-1/+4
|
* Add end of lineYann Herklotz2019-07-231-1/+1
|
* Remove stack and format fuzzYann Herklotz2019-07-235-52/+111
|
* Add .env and fix VeriFuzz.hsYann Herklotz2019-07-212-23/+22
|
* Update default.nixYann Herklotz2019-07-212-5/+7
|
* Merge branch 'master' into fix/resize-modportsYann Herklotz2019-07-2162-478/+2202
|\
| * Add section about configuration fileYann Herklotz2019-07-052-6/+79
| |
| * Small changes to the documentationYann Herklotz2019-07-051-17/+14
| |
| * Add description to dataYann Herklotz2019-06-291-0/+5
| |
| * Format filesYann Herklotz2019-06-2932-289/+416
| |
| * Fix pedantic warningsYann Herklotz2019-06-295-10/+21
| |
| * Add generated constructsYann Herklotz2019-06-291-6/+16
| |
| * Add links to presentation and thesisYann Herklotz2019-06-291-7/+26
| |
| * Add some more statsYann Herklotz2019-06-291-0/+3
| |
| * Add reported bugsYann Herklotz2019-06-291-8/+12
| |
| * Add found bugsYann Herklotz2019-06-291-0/+19
| |
| * Add back the simulationYann Herklotz2019-06-295-63/+60
| |
generated by cgit (git 2.34.1) at 2024-06-28 21:47:33 +0000