index
:
verismith
dev/distance
dev/reducer
develop
feature/hashmap
feature/ignored-constructs
feature/nondeterminism
feature/update-dependencies
fix/remove-DRBG
master
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
Verismith
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add different identifier for forloops
Yann Herklotz
2019-11-24
1
-15
/
+17
*
Add ModConnNamed in testbench
Yann Herklotz
2019-11-24
1
-1
/
+1
*
Add extension to simulation reduction
Yann Herklotz
2019-11-24
1
-1
/
+1
*
Fix more changes to for loops
Yann Herklotz
2019-11-24
1
-1
/
+1
*
Do not mutate the expression in the for loop
Yann Herklotz
2019-11-24
1
-1
/
+1
*
Add output of v file during reduction
Yann Herklotz
2019-11-24
2
-35
/
+20
*
Show the result as it is run
Yann Herklotz
2019-11-24
1
-4
/
+4
*
Add cross-check between netlists
Yann Herklotz
2019-11-24
2
-9
/
+14
*
Fix counter-example simulation run
Yann Herklotz
2019-11-24
1
-1
/
+1
*
Support proper Quartus Pro version
Yann Herklotz
2019-11-14
5
-40
/
+166
*
Add delay to finish
Yann Herklotz
2019-11-14
1
-1
/
+1
*
Add z3 as default equivalence check with ABC
Yann Herklotz
2019-11-14
1
-0
/
+1
*
Add reduction for simulation failures
Yann Herklotz
2019-11-12
6
-70
/
+174
*
Use text to store counter-example
Yann Herklotz
2019-11-12
1
-15
/
+15
*
Add counter example parsing
Yann Herklotz
2019-11-10
6
-30
/
+147
*
Add reduction pass to remove constants from concat
Yann Herklotz
2019-11-05
3
-4
/
+47
*
Add support for Quartus using projects
Yann Herklotz
2019-11-04
2
-17
/
+45
*
Add parsing of existing rtl when starting fuzz run
Yann Herklotz
2019-10-31
1
-8
/
+23
*
Add data-file installation path
Yann Herklotz
2019-10-29
5
-33
/
+42
*
Run simulation on all tools passing synthesis
Yann Herklotz
2019-10-28
1
-20
/
+27
*
Add --no-reduction
Yann Herklotz
2019-10-28
1
-21
/
+17
*
Add mtl dependency to enable easier use of transformers
Yann Herklotz
2019-10-27
2
-142
/
+172
*
Add OptParser to separate option parsing
Yann Herklotz
2019-10-27
1
-0
/
+266
*
Add comment to code generation
Yann Herklotz
2019-10-25
1
-1
/
+1
*
Add the literal list to the mod instantiation
Yann Herklotz
2019-10-25
1
-2
/
+3
*
Fix subtle issue with module generation
Yann Herklotz
2019-10-25
1
-0
/
+1
*
Change location of the html reports
Yann Herklotz
2019-10-18
2
-4
/
+6
*
Add -k functionality
Yann Herklotz
2019-10-18
2
-7
/
+29
*
Rename Sim to Tool
Yann Herklotz
2019-10-18
13
-65
/
+60
*
[Fix #63] Make build pass again
Yann Herklotz
2019-10-06
2
-57
/
+54
*
Rename main modules
Yann Herklotz
2019-09-18
33
-0
/
+7038