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
/
VeriFuzz
/
Verilog
Commit message (
Expand
)
Author
Age
Files
Lines
*
Support multiple reg assigns in if statements
Yann Herklotz
2019-05-06
1
-19
/
+18
*
Modify generation of statements to create more interesting ones
Yann Herklotz
2019-05-05
1
-16
/
+35
*
Format with brittany
Yann Herklotz
2019-05-05
3
-25
/
+38
*
Add seeds for reproducible runs
Yann Herklotz
2019-05-05
1
-1
/
+1
*
Add random bit selection for wires
Yann Herklotz
2019-04-26
5
-34
/
+74
*
Fix code generation for always blocks with or
Yann Herklotz
2019-04-23
1
-3
/
+3
*
Fine tune the generation
Yann Herklotz
2019-04-23
1
-15
/
+13
*
Add event list generation for always blocks
Yann Herklotz
2019-04-23
2
-3
/
+4
*
Add support for more event lists
Yann Herklotz
2019-04-21
3
-7
/
+41
*
Reduce the wire size as Quartus was crashing
Yann Herklotz
2019-04-17
1
-1
/
+9
*
Fix tests and remove Parser tests for now
Yann Herklotz
2019-04-17
1
-5
/
+5
*
Move declaration of SourceInfo
Yann Herklotz
2019-04-15
3
-8
/
+27
*
Format with brittany and add right modules
Yann Herklotz
2019-04-15
2
-16
/
+16
*
Add Bit vector instead of using numbers
Yann Herklotz
2019-04-14
5
-163
/
+141
*
Changes to general types
Yann Herklotz
2019-04-14
1
-95
/
+86
*
Add Eval module to evaluate expressions
Yann Herklotz
2019-04-14
1
-0
/
+103
*
Add BitVec type to model Verilog bit vectors
Yann Herklotz
2019-04-14
1
-0
/
+115
*
Fix tests passing
Yann Herklotz
2019-04-13
2
-2
/
+2
*
Remove Arbitrary model
Yann Herklotz
2019-04-12
1
-226
/
+0
*
Add for loop to design
Yann Herklotz
2019-04-12
3
-45
/
+130
*
Change Port type to include lower bound
Yann Herklotz
2019-04-12
3
-16
/
+20
*
Fix the generation of modules and add initialisation
Yann Herklotz
2019-04-10
7
-90
/
+204
*
Add probabilities to generation of expressions
Yann Herklotz
2019-04-09
5
-35
/
+50
*
Add generation of parameters and constant expressions
Yann Herklotz
2019-04-09
3
-22
/
+60
*
Add Parameter type and remove Description
Yann Herklotz
2019-04-09
8
-83
/
+192
*
Create Arbitrary module
Yann Herklotz
2019-04-08
4
-212
/
+232
*
Generate flip-flops instead of latches
Yann Herklotz
2019-04-06
2
-13
/
+5
*
New combine function
Yann Herklotz
2019-04-04
1
-0
/
+5
*
Fix adding port to state and add everything to output
Yann Herklotz
2019-04-04
1
-8
/
+20
*
Better formatting for if-statement
Yann Herklotz
2019-04-04
1
-2
/
+2
*
Fix infinite loop in state based generation
Yann Herklotz
2019-04-03
1
-12
/
+17
*
Export Vivado types and fix test failure
Yann Herklotz
2019-04-03
1
-1
/
+1
*
Apply brittany to modified modules
Yann Herklotz
2019-04-03
1
-6
/
+8
*
Formatting file
Yann Herklotz
2019-04-03
1
-92
/
+92
*
Add emacs mode line to Lex.x
Yann Herklotz
2019-04-02
1
-0
/
+1
*
Large refactor with passing tests
Yann Herklotz
2019-04-02
9
-0
/
+2444
*
More restructuring
Yann Herklotz
2019-02-01
4
-1081
/
+0
*
Add back Show for tests
Yann Herklotz
2019-02-01
1
-21
/
+21
*
[Fix #28] Add Expression generation with context
Yann Herklotz
2019-02-01
1
-16
/
+29
*
[Fix #27] Add function to Expr and add Generation type
Yann Herklotz
2019-02-01
2
-22
/
+54
*
[Fix #24] Small changes and looked at always block output
Yann Herklotz
2019-02-01
1
-7
/
+9
*
Make code a bit more readable
Yann Herklotz
2019-02-01
1
-1
/
+2
*
Remove extra import
Yann Herklotz
2019-02-01
1
-1
/
+0
*
[Fix #22] Fix SAT solver equivalence checking
Yann Herklotz
2019-01-20
3
-4
/
+40
*
Prettify files
Yann Herklotz
2019-01-20
3
-0
/
+11
*
Rename moduleId to modId
Yann Herklotz
2019-01-20
4
-9
/
+12
*
Reformat with stylish-haskell
Yann Herklotz
2019-01-19
4
-23
/
+15
*
Add hlint changes
Yann Herklotz
2019-01-19
3
-4
/
+3
*
Set column to 100
Yann Herklotz
2019-01-19
3
-62
/
+23
*
Add brittany formatting instead of stylish-haskell
Yann Herklotz
2019-01-19
4
-162
/
+230
[next]