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
*
proc_dlatch: Remove init values for combinatorial processes.
Marcelina Kościelnicka
2020-07-12
1
-0
/
+33
*
dfflegalize: Gather init values from all wires.
Marcelina Kościelnicka
2020-07-12
1
-1
/
+1
*
dfflibmap: Refactor to use dfflegalize internally.
Marcelina Kościelnicka
2020-07-09
1
-211
/
+78
*
clkbufmap: improve input pad handling.
Marcelina Kościelnicka
2020-07-09
1
-17
/
+39
*
clk2fflogic: Consistently treat async control signals as negative hold.
Marcelina Kościelnicka
2020-07-09
1
-57
/
+51
*
dfflegalize: Add special support for const-D latches.
Marcelina Kościelnicka
2020-07-09
1
-0
/
+18
*
dfflegalize: typo fix
Marcelina Kościelnicka
2020-07-07
1
-1
/
+1
*
Naming fixes.
Marcelina Kościelnicka
2020-07-05
2
-2
/
+2
*
dfflegalize: Prefer mapping dff to sdff before adff
Marcelina Kościelnicka
2020-07-05
1
-1
/
+1
*
opt_expr: Fix crash on $mul optimization with more zeros removed than Y has.
Marcelina Kościelnicka
2020-07-05
1
-0
/
+8
*
abc9: only techmap (* abc9_flop *) modules
Eddie Hung
2020-07-04
1
-1
/
+1
*
abc9: techmap from user design to allow abc9_flop modules to be composed
Eddie Hung
2020-07-04
1
-1
/
+1
*
Add newlines to help text for dfflegalize
Rupert Swarbrick
2020-07-03
1
-11
/
+11
*
Merge pull request #2208 from boqwxp/qbfsat-cleanup
clairexen
2020-07-02
2
-255
/
+273
|
\
|
*
qbfsat: Remove useless comment and #ifndef guards.
Alberto Gonzalez
2020-07-01
1
-5
/
+0
|
*
qbfsat: Specify default values for some options in the help message.
Alberto Gonzalez
2020-07-01
1
-0
/
+2
|
*
qbfsat: Clean up external executable command lines and update temporary direc...
Alberto Gonzalez
2020-07-01
1
-3
/
+7
|
*
qbfsat: Clean up and refactor data structures into `qbfsat.h`.
Alberto Gonzalez
2020-07-01
2
-248
/
+265
*
|
Merge pull request #2186 from YosysHQ/mwk/dfflegalize
clairexen
2020-07-02
2
-0
/
+1357
|
\
\
|
*
|
Add dfflegalize pass.
Marcelina Kościelnicka
2020-07-01
2
-0
/
+1357
*
|
|
Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
clairexen
2020-07-02
1
-2
/
+1
|
\
\
\
|
*
|
|
fmcombine: use the master ff cell type list
Marcelina Kościelnicka
2020-06-30
1
-2
/
+1
|
|
/
/
*
|
|
Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge
clairexen
2020-07-02
1
-3
/
+1
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
opt_merge: use the master FF type list
Marcelina Kościelnicka
2020-06-30
1
-3
/
+1
|
|
/
*
|
Merge pull request #2138 from boqwxp/qbfsat-oflag
clairexen
2020-07-01
1
-16
/
+47
|
\
\
|
*
|
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.
Alberto Gonzalez
2020-06-30
1
-16
/
+47
*
|
|
Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization
clairexen
2020-07-01
1
-2
/
+24
|
\
\
\
|
*
|
|
qbfsat: Fix name-based hole specialization.
Alberto Gonzalez
2020-06-30
1
-2
/
+24
|
|
/
/
*
|
|
Merge pull request #2199 from YosysHQ/mmicko/sim_memory
clairexen
2020-06-30
1
-1
/
+4
|
\
\
\
|
*
|
|
sim - error when memrd and memwr detected
Miodrag Milanovic
2020-06-29
1
-1
/
+4
*
|
|
|
Merge pull request #2201 from YosysHQ/fix_test_cell_ilang
clairexen
2020-06-30
1
-2
/
+2
|
\
\
\
\
|
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
Use ID macro to fix assertion
Miodrag Milanovic
2020-06-29
1
-2
/
+2
|
|
/
/
*
|
/
techmap: don't drop attributes on replaced cells.
whitequark
2020-06-29
1
-2
/
+3
|
|
/
|
/
|
*
|
Merge pull request #2200 from YosysHQ/mmicko/fix_expose
Miodrag Milanović
2020-06-29
1
-7
/
+23
|
\
\
|
*
|
Give error that options are exclusive
Miodrag Milanovic
2020-06-29
1
-2
/
+6
|
*
|
cleanup
Miodrag Milanovic
2020-06-29
1
-12
/
+13
|
*
|
expose pass fix
Miodrag Milanovic
2020-06-29
1
-5
/
+16
|
|
/
*
/
test_cell: don't generate directional shifts with \B_SIGNED=1
Xiretza
2020-06-28
1
-0
/
+4
|
/
*
Merge pull request #2168 from whitequark/assert-unused-exprs
clairexen
2020-06-25
5
-20
/
+20
|
\
|
*
Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).
whitequark
2020-06-19
1
-10
/
+10
|
*
Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().
whitequark
2020-06-19
4
-10
/
+10
*
|
Merge pull request #2135 from boqwxp/qbfsat-timeinfo
clairexen
2020-06-25
1
-1
/
+6
|
\
\
|
*
|
log, qbfsat: Include child process time in `PerformanceTimer::query()` and re...
Alberto Gonzalez
2020-06-21
1
-1
/
+6
*
|
|
Merge pull request #2093 from boqwxp/qbfsat-bugfixes
clairexen
2020-06-25
1
-86
/
+136
|
\
|
|
|
*
|
qbfsat: Simplify solution recovery parsing and tweak the solution regexes.
Alberto Gonzalez
2020-06-21
1
-22
/
+12
|
*
|
qbfsat: Avoid instantiating `AttrObject`s directly.
Alberto Gonzalez
2020-06-21
1
-9
/
+6
|
*
|
qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal...
Alberto Gonzalez
2020-06-21
1
-19
/
+37
|
*
|
qbfsat: Fixes three bugs.
Alberto Gonzalez
2020-06-21
1
-5
/
+17
|
*
|
qbfsat: Use bit precise mapping for hole value wires and a more robust hole s...
Alberto Gonzalez
2020-06-21
1
-80
/
+113
|
|
/
*
|
simplemap: Fix $dffsre mapping.
Marcelina Kościelnicka
2020-06-23
1
-1
/
+1
[next]