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
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
7
-58
/
+91
*
Write config file with seed to the fuzz directory
Yann Herklotz
2019-05-05
2
-18
/
+21
*
Add seeds for reproducible runs
Yann Herklotz
2019-05-05
5
-46
/
+85
*
Add more reduction to tests
Yann Herklotz
2019-04-29
1
-2
/
+10
*
Add random bit selection for wires
Yann Herklotz
2019-04-26
6
-44
/
+89
*
Add --num command line option
Yann Herklotz
2019-04-25
1
-2
/
+11
*
Add time and date by default
Yann Herklotz
2019-04-24
2
-7
/
+20
*
Add documentation to Config.hs
Yann Herklotz
2019-04-23
2
-18
/
+130
*
Fix cells_xilinx_7.v LD and FD modules
Yann Herklotz
2019-04-23
1
-17
/
+0
*
Fix some errors in the templates
Yann Herklotz
2019-04-23
2
-0
/
+53
*
Fix XST Synthesis
Yann Herklotz
2019-04-23
1
-1
/
+1
*
Add simulator support to the config file
Yann Herklotz
2019-04-23
2
-179
/
+101
*
Formatting files and add result type to front end
Yann Herklotz
2019-04-23
6
-8
/
+15
*
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 Report type
Yann Herklotz
2019-04-23
3
-1
/
+172
*
Add event list generation for always blocks
Yann Herklotz
2019-04-23
3
-73
/
+4
*
Add support for more event lists
Yann Herklotz
2019-04-21
4
-11
/
+74
*
Add new modules to fix Quartus equivalence check
Yann Herklotz
2019-04-21
2
-1
/
+55
*
Add helper functions to execute fuzzing multiple times
Yann Herklotz
2019-04-19
2
-11
/
+26
*
Move --pedantic flag to the end
Yann Herklotz
2019-04-19
1
-1
/
+1
*
Fix compiling on CI
Yann Herklotz
2019-04-19
2
-2
/
+7
*
Fix some suggestions in Result.hs
Yann Herklotz
2019-04-19
1
-5
/
+2
*
Equivalence test now running
Yann Herklotz
2019-04-19
1
-2
/
+1
*
Extend ResultT and Result with more instances
Yann Herklotz
2019-04-19
3
-9
/
+49
*
Add output information to Type
Yann Herklotz
2019-04-18
8
-82
/
+95
*
Add output path to each simulator
Yann Herklotz
2019-04-18
6
-50
/
+121
*
Use new fuzzing technique instead of the old function
Yann Herklotz
2019-04-17
5
-28
/
+36
*
Reduce the wire size as Quartus was crashing
Yann Herklotz
2019-04-17
1
-1
/
+9
*
Extend property tests to ResultT
Yann Herklotz
2019-04-17
1
-25
/
+21
*
Remove -Wall and -Werror, instead use --pedantic
Yann Herklotz
2019-04-17
1
-4
/
+1
*
Add new Fuzzing technique, that checks simulators against each other
Yann Herklotz
2019-04-17
1
-11
/
+97
*
Add Show instances to simulators
Yann Herklotz
2019-04-17
5
-8
/
+25
*
Add '--pedantic' to travis
Yann Herklotz
2019-04-17
1
-3
/
+3
*
Fix tests and remove Parser tests for now
Yann Herklotz
2019-04-17
4
-11
/
+65
*
Fix other type errors and replace with Result type
Yann Herklotz
2019-04-17
3
-35
/
+49
*
Update simulator with Result type
Yann Herklotz
2019-04-17
5
-61
/
+111
*
Add Fuzzer and implement it with the result type
Yann Herklotz
2019-04-17
1
-35
/
+26
*
Move Reduce file
Yann Herklotz
2019-04-17
1
-2
/
+2
*
Add Result type
Yann Herklotz
2019-04-17
1
-0
/
+101
*
Move declaration of SourceInfo
Yann Herklotz
2019-04-15
13
-37
/
+41
*
Format with brittany and add right modules
Yann Herklotz
2019-04-15
5
-19
/
+20
*
Remove non existant exports
Yann Herklotz
2019-04-15
1
-6
/
+1
*
Fix warnings
Yann Herklotz
2019-04-15
1
-9
/
+14
*
Rename Synthesisor -> Synthesiser
Yann Herklotz
2019-04-15
5
-13
/
+13
*
Replace Env by Fuzz
Yann Herklotz
2019-04-15
2
-58
/
+113
*
Some changes to recursion schemes
Yann Herklotz
2019-04-14
1
-18
/
+4
*
Remove blocking assignment from Generation
Yann Herklotz
2019-04-14
1
-1
/
+1
*
Change port declarations in Reduce
Yann Herklotz
2019-04-14
1
-4
/
+4
[next]