index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
|
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
|
*
|
Fix smtbmc.py handling of zero appended steps
Clifford Wolf
2019-03-14
1
-5
/
+5
|
*
|
Add "mutate" command DB reduce functionality
Clifford Wolf
2019-03-14
1
-12
/
+181
|
*
|
Add hashlib "<container>::element(int n)" methods
Clifford Wolf
2019-03-14
1
-0
/
+6
|
*
|
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
*
|
|
Disable realmath tests
Clifford Wolf
2019-03-15
1
-1
/
+1
|
/
/
*
|
Merge pull request #874 from YosysHQ/clifford/andopt
Clifford Wolf
2019-03-14
1
-0
/
+7
|
\
\
|
*
|
Improve handling of and-with-1 and or-with-0 in opt_expr, fixes #327
Clifford Wolf
2019-03-14
1
-0
/
+7
|
/
/
*
|
Merge pull request #872 from YosysHQ/clifford/pmuxfix
Clifford Wolf
2019-03-14
2
-1
/
+10
|
\
\
|
*
|
Improve handling of "full_case" attributes
Clifford Wolf
2019-03-14
1
-0
/
+9
|
*
|
Fix a syntax bug in ilang backend related to process case statements
Clifford Wolf
2019-03-14
1
-1
/
+1
|
/
/
*
|
Merge pull request #869 from cr1901/win-shell
Clifford Wolf
2019-03-14
3
-1
/
+377
|
\
\
|
*
|
Install launcher executable when running yosys-smtbmc on Windows.
William D. Jones
2019-03-13
3
-1
/
+377
*
|
|
Merge pull request #868 from YosysHQ/clifford/fixmem
Clifford Wolf
2019-03-13
2
-40
/
+24
|
\
\
\
|
*
|
|
Remove ice40/cells_sim.v hack to avoid warning for blocking memory writes
Clifford Wolf
2019-03-12
1
-19
/
+0
|
*
|
|
Improve handling of memories used in mem index expressions on LHS of an assig...
Clifford Wolf
2019-03-12
1
-5
/
+16
|
*
|
|
Remove outdated "blocking assignment to memory" warning
Clifford Wolf
2019-03-12
1
-10
/
+0
|
*
|
|
Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for non-init writes, fixes #867
Clifford Wolf
2019-03-12
1
-6
/
+8
|
|
/
/
*
|
|
Fix a bug in handling quotes in multi-cmd lines in Yosys scripts
Clifford Wolf
2019-03-12
1
-1
/
+7
*
|
|
Merge pull request #866 from YosysHQ/clifford/idstuff
Clifford Wolf
2019-03-12
5
-5
/
+71
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Improve determinism of IdString DB for similar scripts
Clifford Wolf
2019-03-11
5
-5
/
+71
*
|
|
Merge pull request #864 from YosysHQ/svalabelfix
Eddie Hung
2019-03-11
2
-92
/
+66
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix handling of cases that look like sva labels, fixes #862
Clifford Wolf
2019-03-10
2
-92
/
+66
*
|
|
Add ENABLE_GLOB Makefile switch
Clifford Wolf
2019-03-11
2
-3
/
+10
|
/
/
*
|
Fix typo in ice40_braminit help msg
Clifford Wolf
2019-03-09
1
-1
/
+1
*
|
Merge pull request #859 from smunaut/ice40_braminit
Clifford Wolf
2019-03-09
4
-37
/
+212
|
\
\
|
*
|
ice40: Run ice40_braminit pass by default
Sylvain Munaut
2019-03-08
1
-0
/
+1
|
*
|
ice40: Add ice40_braminit pass to allow initialization of BRAM from file
Sylvain Munaut
2019-03-08
3
-37
/
+211
*
|
|
Fix signed $shift/$shiftx handling in write_smt2
Clifford Wolf
2019-03-09
1
-1
/
+2
*
|
|
Add $dffsr support to async2sync
Clifford Wolf
2019-03-09
1
-2
/
+51
*
|
|
Merge pull request #858 from YosysHQ/clifford/svalabels
Clifford Wolf
2019-03-09
6
-58
/
+203
|
\
\
\
|
*
|
|
Also add support for labels on sva module items, fixes #699
Clifford Wolf
2019-03-08
2
-44
/
+113
|
*
|
|
Use SVA label in smt export if available
Clifford Wolf
2019-03-07
1
-2
/
+2
|
*
|
|
Add support for SVA labels in read_verilog
Clifford Wolf
2019-03-07
3
-26
/
+89
|
*
|
|
Add hack for handling SVA labels via Verific
Clifford Wolf
2019-03-07
1
-1
/
+14
*
|
|
|
Merge pull request #861 from YosysHQ/verific_chparam
Clifford Wolf
2019-03-08
2
-3
/
+20
|
\
\
\
\
|
*
|
|
|
Update help message for -chparam
Eddie Hung
2019-03-09
1
-1
/
+2
|
*
|
|
|
Add -chparam option to verific command
Eddie Hung
2019-03-09
1
-2
/
+18
|
*
|
|
|
Fix spelling
Eddie Hung
2019-03-09
1
-1
/
+1
|
/
/
/
/
*
|
|
|
Merge branch 'master' of github.com:YosysHQ/yosys
Clifford Wolf
2019-03-07
6
-10
/
+12
|
\
\
\
\
|
*
\
\
\
Merge pull request #856 from kprasadvnsi/master
Clifford Wolf
2019-03-07
6
-10
/
+12
|
|
\
\
\
\
|
|
|
/
/
/
|
|
/
|
|
|
|
|
*
|
|
examples/anlogic/ now also output the SVF file.
Kali Prasad
2019-03-06
6
-10
/
+12
*
|
|
|
|
Fix handling of task output ports in clocked always blocks, fixes #857
Clifford Wolf
2019-03-07
2
-15
/
+37
|
/
/
/
/
*
|
|
|
Add link to SF2 / igloo2 macro library guide
Clifford Wolf
2019-03-07
1
-21
/
+24
*
|
|
|
Improvements in sf2 cells_sim.v
Clifford Wolf
2019-03-06
2
-30
/
+251
*
|
|
|
Add sf2 techmap rules for more FF types
Clifford Wolf
2019-03-06
1
-25
/
+39
*
|
|
|
Refactor SF2 iobuf insertion, Add clkint insertion
Clifford Wolf
2019-03-06
4
-84
/
+153
[prev]
[next]