index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
sat
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fixed the help summary line for a few commands
acw1251
2019-06-19
2
-4
/
+4
*
Error out if no top module given before 'sim'
Eddie Hung
2019-06-05
1
-0
/
+5
*
Fix typo in fmcombine log message, fixes #1063
Clifford Wolf
2019-06-05
1
-2
/
+2
*
Add "fmcombine -initeq -anyeq"
Clifford Wolf
2019-05-11
1
-3
/
+38
*
Fix bug in "expose -input"
Clifford Wolf
2019-05-06
1
-1
/
+1
*
Add missing enable_undef to "sat -tempinduct-def", fixes #883
Clifford Wolf
2019-05-02
1
-0
/
+1
*
Add "techmap -wb", use in formal flows
Clifford Wolf
2019-04-20
1
-4
/
+4
*
Added missing argument checking to "mutate" command
Clifford Wolf
2019-04-04
1
-0
/
+32
*
Add "cutpoint -undef"
Clifford Wolf
2019-03-26
1
-10
/
+14
*
Add "cutpoint" pass
Clifford Wolf
2019-03-25
2
-0
/
+165
*
Add "mutate -none -mode", "mutate -mode none"
Clifford Wolf
2019-03-23
1
-1
/
+30
*
Add "mutate -s <filename>"
Clifford Wolf
2019-03-23
1
-2
/
+24
*
Improve mix of src/wire/wirebit coverage in "mutate -list"
Clifford Wolf
2019-03-16
1
-29
/
+84
*
Add "fmcombine -fwd -bwd -nop"
Clifford Wolf
2019-03-15
1
-10
/
+59
*
Add fmcombine pass
Clifford Wolf
2019-03-15
2
-0
/
+293
*
Improvements in "mutate" list-reduce algorithm
Clifford Wolf
2019-03-15
1
-13
/
+36
*
Add "mutate -cfg", improve pick_cover behavior
Clifford Wolf
2019-03-14
1
-46
/
+101
*
Add a strictly coverage-driven mutation selection strategy
Clifford Wolf
2019-03-14
1
-1
/
+70
*
Improve "mutate" wire coverage metric
Clifford Wolf
2019-03-14
1
-1
/
+16
*
Add more mutation types, improve mutation src cover
Clifford Wolf
2019-03-14
1
-92
/
+268
*
Add "mutate" command DB reduce functionality
Clifford Wolf
2019-03-14
1
-12
/
+181
*
Add "mutate -mode inv", various other mutate improvements
Clifford Wolf
2019-03-14
1
-99
/
+213
*
Add basic "mutate -list N" framework
Clifford Wolf
2019-03-14
2
-0
/
+230
*
Add $dffsr support to async2sync
Clifford Wolf
2019-03-09
1
-2
/
+51
*
Improvements in "supercover" pass
Clifford Wolf
2019-02-27
1
-2
/
+18
*
Add "supercover" skeleton
Clifford Wolf
2019-02-27
2
-0
/
+77
*
Fixed minor typo in "sim" help message
acw1251
2018-09-12
1
-1
/
+1
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
9
-18
/
+18
*
Add async2sync pass
Clifford Wolf
2018-07-19
2
-0
/
+148
*
Removed $timescale from "sat" command VCD writer
Clifford Wolf
2018-03-29
1
-1
/
+0
*
Add "expose -input"
Clifford Wolf
2018-03-12
1
-8
/
+43
*
Add $dlatchsr support to clk2fflogic
Clifford Wolf
2018-02-26
1
-4
/
+25
*
Fix a bug in clk2fflogic memory handling
Clifford Wolf
2017-12-14
1
-1
/
+1
*
Add clk2fflogic memory support
Clifford Wolf
2017-12-14
1
-1
/
+77
*
Check for memories in clk2fflogic
Clifford Wolf
2017-12-13
1
-0
/
+5
*
Rename "singleton" pass to "uniquify"
Clifford Wolf
2017-08-20
1
-1
/
+1
*
Add "sim -zinit -rstlen"
Clifford Wolf
2017-08-18
1
-1
/
+53
*
Add "sim" support for memories
Clifford Wolf
2017-08-18
1
-2
/
+136
*
Add support for assert/assume/cover to "sim" command
Clifford Wolf
2017-08-18
1
-4
/
+47
*
Add writeback mode to "sim" command
Clifford Wolf
2017-08-17
1
-0
/
+44
*
Improve "sim" command
Clifford Wolf
2017-08-17
1
-54
/
+272
*
Add "sim" command skeleton
Clifford Wolf
2017-08-16
2
-0
/
+372
*
Add "setundef -anyseq"
Clifford Wolf
2017-05-28
1
-1
/
+2
*
Bugfix in "miter -assert" handling of assumptions
Clifford Wolf
2016-10-17
1
-2
/
+2
*
Added clk2fflogic support for $dffsr and $dlatch
Clifford Wolf
2016-10-17
1
-1
/
+57
*
Improvements and bugfixes in clk2fflogic
Clifford Wolf
2016-10-16
1
-13
/
+21
*
Some minor build fixes for Visual C
Clifford Wolf
2016-10-14
1
-2
/
+11
*
Added clk2fflogic
Clifford Wolf
2016-10-14
2
-0
/
+154
*
Added $ff and $_FF_ cell types
Clifford Wolf
2016-10-12
1
-7
/
+31
*
Improvements in assertpmux
Clifford Wolf
2016-09-07
1
-21
/
+158
[next]