index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
|
abc9_ops: -prep_dff_map to check $_DFF_[NP]_.Q drives module output
Eddie Hung
2020-05-14
1
-1
/
+5
|
*
|
abc9_ops: do away with '$abc9_cells' selection
Eddie Hung
2020-05-14
2
-40
/
+30
|
*
|
abc9_ops: use new 'design -delete' and 'select -unset'
Eddie Hung
2020-05-14
2
-16
/
+7
|
*
|
submod: revert accidental change
Eddie Hung
2020-05-14
1
-1
/
+1
|
*
|
abc9_ops: -prep_dff_map to warn if no specify cells
Eddie Hung
2020-05-14
1
-7
/
+12
|
*
|
abc9_ops: -prep_dff_map to cope with plain $_DFF_[NP]_ flops
Eddie Hung
2020-05-14
1
-12
/
+39
|
*
|
abc9: cleanup
Eddie Hung
2020-05-14
1
-4
/
+1
|
*
|
abc9_ops: do not use (* abc9_init *)
Eddie Hung
2020-05-14
1
-16
/
+31
|
*
|
abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes
Eddie Hung
2020-05-14
3
-258
/
+391
|
*
|
abc9: fix behaviour and help for -box option
Eddie Hung
2020-05-14
1
-3
/
+7
*
|
|
Merge pull request #2055 from YosysHQ/eddie/logger_multiple
Eddie Hung
2020-05-14
1
-7
/
+36
|
\
\
\
|
*
|
|
logger: clean up doc
Eddie Hung
2020-05-14
1
-1
/
+2
|
*
|
|
logger: fix for multiple calls with same pattern
Eddie Hung
2020-05-14
1
-6
/
+34
|
|
/
/
*
|
|
opt_expr: Sx to Sz; spotted by @Xiretza
Eddie Hung
2020-05-14
1
-1
/
+1
*
|
|
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
Eddie Hung
2020-05-14
1
-25
/
+111
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
Fix whitespace
Eddie Hung
2020-05-14
1
-1
/
+1
|
*
|
opt_expr: consume_x to require/imply !keepdc
Eddie Hung
2020-05-08
1
-5
/
+6
|
*
|
opt_expr: restore consume_x; use for coarse grained too
Eddie Hung
2020-05-08
1
-6
/
+6
|
*
|
opt_expr: const_xnor replacement to pad Y with 1'b1
Eddie Hung
2020-04-24
1
-1
/
+2
|
*
|
opt_expr: more fixes for $xor/$xnor
Eddie Hung
2020-04-24
1
-23
/
+47
|
*
|
opt_expr: do not group by X, more fixes
Eddie Hung
2020-04-23
1
-18
/
+59
|
*
|
opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells too
Eddie Hung
2020-04-23
1
-10
/
+29
*
|
|
opt_clean: improve warning message
Eddie Hung
2020-05-14
1
-1
/
+1
*
|
|
opt_clean: rminit without -purge; also remove if consistent with const..
Eddie Hung
2020-05-14
1
-9
/
+17
*
|
|
opt_clean: really make 'clean' identical to 'opt_clean' by rminit too
Eddie Hung
2020-05-14
1
-3
/
+2
*
|
|
Merge pull request #2005 from YosysHQ/claire/fix1990
Claire Wolf
2020-05-07
1
-3
/
+10
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Fix the other "opt_expr -fine" bug introduced in 213a89558
Claire Wolf
2020-05-02
1
-7
/
+19
|
*
|
Add plusargs for output files in test_autotb output
Claire Wolf
2020-05-02
1
-3
/
+10
*
|
|
Merge pull request #2014 from YosysHQ/claire/fixoptalu
Claire Wolf
2020-05-03
1
-7
/
+19
|
\
\
\
|
*
|
|
Fix the other "opt_expr -fine" bug introduced in 213a89558
Claire Wolf
2020-05-02
1
-7
/
+19
|
|
/
/
*
/
/
abc9_ops: -reintegrate to be sensitive to start_offset too
Eddie Hung
2020-05-02
1
-3
/
+5
|
/
/
*
|
Merge pull request #2010 from YosysHQ/claire/fixopt
Claire Wolf
2020-05-02
1
-7
/
+19
|
\
\
|
*
|
Fix "opt_expr -fine" bug introduced in 213a89558
Claire Wolf
2020-05-01
1
-7
/
+19
*
|
|
Add WASI platform support.
whitequark
2020-04-30
7
-9
/
+31
|
/
/
*
|
bugpoint: improve messaging
Eddie Hung
2020-04-24
1
-7
/
+7
*
|
bugpoint: (* keep *) to (* bugpoint_keep *); also apply to modules/cells
Eddie Hung
2020-04-24
1
-5
/
+14
*
|
bugpoint: skip ports with (* keep *) on; add header
Eddie Hung
2020-04-24
1
-9
/
+18
*
|
bugpoint: improve help text
Eddie Hung
2020-04-23
1
-11
/
+13
|
/
*
Merge pull request #1974 from YosysHQ/eddie/abc9_disable_mfs
Eddie Hung
2020-04-23
1
-2
/
+17
|
\
|
*
abc9: tolerate ABC nonzero exit code if output.aig; write before &mfs
Eddie Hung
2020-04-20
1
-2
/
+13
|
*
xilinx/ecp5: disable abc9's "&mfs" optimisation
Eddie Hung
2020-04-20
1
-0
/
+4
*
|
Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs
Claire Wolf
2020-04-23
1
-5
/
+2
|
\
\
|
*
|
qbfsat: Make hole name recovery more robust. Allow multiple cell types to sha...
Alberto Gonzalez
2020-04-23
1
-5
/
+2
*
|
|
Merge pull request #1988 from boqwxp/qbfsat
Claire Wolf
2020-04-23
1
-6
/
+22
|
\
\
\
|
*
|
|
qbfsat: Add `-assume-negative-polarity` option.
Alberto Gonzalez
2020-04-23
1
-6
/
+22
|
|
/
/
*
/
/
xilinx: xilinx_dsp_cascade to check CREG for DSP48E1 only
Eddie Hung
2020-04-22
1
-1
/
+1
|
/
/
*
|
Merge pull request #1949 from YosysHQ/eddie/select_blackbox
Eddie Hung
2020-04-22
1
-9
/
+26
|
\
\
|
*
|
Update passes/cmds/select.cc
Claire Wolf
2020-04-22
1
-2
/
+2
|
*
|
select: do not select black/white boxes by default, '=' prefix to do so
Eddie Hung
2020-04-22
1
-5
/
+5
|
*
|
Add '=' selection pattern prefix for non-blackbox only patterns
Claire Wolf
2020-04-21
1
-12
/
+26
[prev]
[next]