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
*
write_xaiger: make more robust, update doc
Eddie Hung
2020-01-06
1
-29
/
+14
*
write_aiger: make more robust
Eddie Hung
2020-01-06
1
-0
/
+8
*
Add abc9.dff scratchpad option
Eddie Hung
2020-01-06
1
-0
/
+1
*
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2020-01-06
2
-191
/
+281
|
\
|
*
Merge pull request #1582 from nakengelhardt/abc_scratchpad_script
Eddie Hung
2020-01-06
2
-191
/
+281
|
|
\
|
|
*
check scratchpad for arguments in abc pass too
N. Engelhardt
2020-01-06
1
-157
/
+214
|
|
*
inherit default values when checking scratchpad for arguments
N. Engelhardt
2020-01-06
1
-27
/
+10
|
|
*
share codepath for scratchpad argument handling with command arguments
N. Engelhardt
2020-01-03
1
-40
/
+84
|
|
*
Merge branch 'master' of https://github.com/YosysHQ/yosys into abc_scratchpad...
N. Engelhardt
2020-01-03
122
-694
/
+4372
|
|
|
\
|
|
*
|
check scratchpad variable abc9.scriptfile
N. Engelhardt
2019-12-17
1
-0
/
+2
|
|
*
|
check scratchpad variables for custom abc scripts
N. Engelhardt
2019-12-13
2
-0
/
+4
*
|
|
|
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2020-01-06
19
-40
/
+69
|
\
|
|
|
|
*
|
|
Merge pull request #1611 from YosysHQ/mmicko/wrapcarry_fix
Miodrag Milanović
2020-01-05
1
-0
/
+2
|
|
\
\
\
|
|
|
_
|
/
|
|
/
|
|
|
|
*
|
Valid to have attribute starting with SB_CARRY.
Miodrag Milanovic
2020-01-04
1
-0
/
+2
|
|
/
/
|
*
|
Merge pull request #1604 from whitequark/unify-ram-naming
whitequark
2020-01-02
18
-40
/
+67
|
|
\
\
|
|
*
|
Harmonize BRAM/LUTRAM descriptions across all of Yosys.
whitequark
2020-01-01
18
-40
/
+67
*
|
|
|
Reword (* abc9_flop *) description
Eddie Hung
2020-01-06
1
-2
/
+3
*
|
|
|
Restore write_xaiger's holes_mode since port_id order causes QoR
Eddie Hung
2020-01-03
1
-27
/
+19
*
|
|
|
Cleanup
Eddie Hung
2020-01-02
1
-2
/
+1
*
|
|
|
Fix spacing
Eddie Hung
2020-01-02
1
-1
/
+1
*
|
|
|
write_xaiger: get rid of external_bits dict
Eddie Hung
2020-01-02
1
-1
/
+1
*
|
|
|
Combine tests to check multiple clock domains
Eddie Hung
2020-01-02
1
-33
/
+10
*
|
|
|
synth_xilinx -dff to work with abc too
Eddie Hung
2020-01-02
1
-6
/
+14
*
|
|
|
Merge remote-tracking branch 'origin/master' into xaig_dff
Eddie Hung
2020-01-02
27
-92
/
+160
|
\
|
|
|
|
*
|
|
Merge pull request #1609 from YosysHQ/clifford/fix1596
Clifford Wolf
2020-01-02
1
-4
/
+25
|
|
\
\
\
|
|
*
|
|
Always create $shl, $shr, $sshl, $sshr cells with unsigned B inputs
Clifford Wolf
2020-01-02
1
-4
/
+25
|
*
|
|
|
Merge pull request #1601 from YosysHQ/eddie/synth_retime
Eddie Hung
2020-01-02
13
-48
/
+52
|
|
\
\
\
\
|
|
*
|
|
|
Update doc that "-retime" calls abc with "-dff -D 1"
Eddie Hung
2019-12-30
11
-12
/
+12
|
|
*
|
|
|
Disable synth_gowin -abc9 as it offers no advantages yet
Eddie Hung
2019-12-30
1
-12
/
+12
|
|
*
|
|
|
Revert "Revert "synth_* with -retime option now calls abc with -D 1 as well""
Eddie Hung
2019-12-30
11
-13
/
+13
|
|
*
|
|
|
Revert "ABC to call retime all the time"
Eddie Hung
2019-12-30
1
-11
/
+15
|
*
|
|
|
|
Merge pull request #1608 from YosysHQ/eddie/ifndef_YOSYS
Eddie Hung
2020-01-02
1
-6
/
+6
|
|
\
\
\
\
\
|
|
|
_
|
/
/
/
|
|
/
|
|
|
|
|
|
*
|
|
|
ifdef __ICARUS__ -> ifndef YOSYS
Eddie Hung
2020-01-01
1
-6
/
+6
|
|
/
/
/
/
|
*
|
|
|
Merge pull request #1606 from YosysHQ/eddie/improve_tests
Eddie Hung
2020-01-01
10
-19
/
+20
|
|
\
\
\
\
|
|
*
|
|
|
Revert insertion of 'reg', leave note behind
Eddie Hung
2020-01-01
1
-1
/
+2
|
|
*
|
|
|
Fix anlogic async flop mapping
Eddie Hung
2020-01-01
1
-8
/
+8
|
|
*
|
|
|
Do not do call equiv_opt when no sim model exists
Eddie Hung
2019-12-31
2
-4
/
+4
|
|
*
|
|
|
Fix warnings
Eddie Hung
2019-12-31
2
-2
/
+2
|
|
*
|
|
|
Call equiv_opt with -multiclock and -assert
Eddie Hung
2019-12-31
5
-5
/
+5
|
|
|
|
/
/
|
|
|
/
|
|
|
*
|
|
|
Merge pull request #1605 from YosysHQ/iopad_fix
Miodrag Milanović
2020-01-01
2
-0
/
+22
|
|
\
\
\
\
|
|
|
/
/
/
|
|
/
|
|
|
|
|
*
|
|
Added a test case
Miodrag Milanovic
2020-01-01
1
-0
/
+19
|
|
*
|
|
take skip wire bits into account
Miodrag Milanovic
2020-01-01
1
-0
/
+3
|
|
/
/
/
|
*
|
|
Grammar
Eddie Hung
2019-12-30
1
-1
/
+1
|
*
|
|
Update timings for Xilinx S7 cells
Eddie Hung
2019-12-30
1
-15
/
+35
*
|
|
|
Add 'abc9 -dff' to CHANGELOG
Eddie Hung
2020-01-02
1
-0
/
+1
*
|
|
|
Update doc
Eddie Hung
2020-01-02
1
-4
/
+4
*
|
|
|
Update comments
Eddie Hung
2020-01-02
1
-11
/
+6
*
|
|
|
abc9 -keepff -> -dff; refactor dff operations
Eddie Hung
2020-01-02
4
-166
/
+135
*
|
|
|
Clamp -46ps for FDPE* too
Eddie Hung
2020-01-01
1
-2
/
+2
*
|
|
|
Get rid of (* abc9_keep *) in write_xaiger too
Eddie Hung
2020-01-01
1
-15
/
+18
[next]
