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
Branch
Commit message
Author
Age
master
Fix shuffle for VecSelect and RangeSelect
Yann Herklotz
3 years
dev/reducer
Merge branch 'master' into dev/reducer
Yann Herklotz
4 years
dev/distance
Fix distance always giving 0
Yann Herklotz
4 years
develop
Fix .gitignore
Yann Herklotz
4 years
feature/update-dependencies
Upgrading packages to work with 8.2.2
Yann Herklotz
4 years
fix/remove-DRBG
Remove DRBG from Fuzz.hs
Yann Herklotz
5 years
feature/ignored-constructs
Add new AST for Specify keyword
Yann Herklotz
5 years
feature/nondeterminism
Merge branch 'master' into HEAD
Yann Herklotz
5 years
feature/hashmap
Use HashMap for context
Yann Herklotz
5 years
Tag
Download
Author
Age
v1.0.0.2
verismith-1.0.0.2.tar.gz
verismith-1.0.0.2.zip
Yann Herklotz
4 years
v0.6.0.2
verismith-0.6.0.2.tar.gz
verismith-0.6.0.2.zip
Yann Herklotz
4 years
v0.6.0.1
verismith-0.6.0.1.tar.gz
verismith-0.6.0.1.zip
Yann Herklotz
4 years
v0.6.0.0
verismith-0.6.0.0.tar.gz
verismith-0.6.0.0.zip
Yann Herklotz
4 years
fpga20
verismith-fpga20.tar.gz
verismith-fpga20.zip
Yann Herklotz
4 years
v0.5.0.1
verismith-0.5.0.1.tar.gz
verismith-0.5.0.1.zip
Yann Herklotz
4 years
v0.5.0.0
verismith-0.5.0.0.tar.gz
verismith-0.5.0.0.zip
Yann Herklotz
4 years
v0.4.0.1
verismith-0.4.0.1.tar.gz
verismith-0.4.0.1.zip
Yann Herklotz
5 years
v0.4.0.0
verismith-0.4.0.0.tar.gz
verismith-0.4.0.0.zip
Yann Herklotz
5 years
v0.3.1.0
verismith-0.3.1.0.tar.gz
verismith-0.3.1.0.zip
Yann Herklotz
5 years
[...]
Age
Commit message
Author
Files
Lines
2019-11-24
Upgrade version to v0.5.0.0
v0.5.0.0
Yann Herklotz
1
-2
/
+2
2019-11-24
Add ModConnNamed in testbench
Yann Herklotz
1
-1
/
+1
2019-11-24
Add extension to simulation reduction
Yann Herklotz
1
-1
/
+1
2019-11-24
Fix more changes to for loops
Yann Herklotz
1
-1
/
+1
2019-11-24
Do not mutate the expression in the for loop
Yann Herklotz
1
-1
/
+1
2019-11-24
Fix build
Yann Herklotz
1
-1
/
+1
2019-11-24
Add output of v file during reduction
Yann Herklotz
2
-35
/
+20
2019-11-24
Show the result as it is run
Yann Herklotz
1
-4
/
+4
2019-11-24
Add cross-check between netlists
Yann Herklotz
3
-11
/
+16
2019-11-24
Merge branch 'master' of github.com:ymherklotz/verismith
Yann Herklotz
2
-2
/
+2
[...]
Clone
https://git.ymhg.org/verismith
ssh://git@git.ymhg.org:verismith