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
...
|
*
|
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
*
|
Update dff2dffe, dff2dffs, zinit to new FF types.
Marcelina Kościelnicka
2020-06-23
3
-43
/
+73
*
|
Add new FF types to simplemap.
Marcelina Kościelnicka
2020-06-23
1
-8
/
+133
*
|
Add support for new FF types in some opt passes.
Marcelina Kościelnicka
2020-06-23
3
-14
/
+53
*
|
Add new builtin FF types
Marcelina Kościelnicka
2020-06-23
1
-1
/
+4
|
/
*
Merge pull request #2173 from whitequark/use-cxx11-final-override
whitequark
2020-06-19
153
-340
/
+340
|
\
|
*
Use C++11 final/override keywords.
whitequark
2020-06-18
153
-340
/
+340
*
|
cutpoint: Improve efficiency by iterating over module ports instead of module...
Alberto Gonzalez
2020-06-18
1
-9
/
+10
|
/
*
Merge pull request #2153 from boqwxp/splitnets-cleanup
N. Engelhardt
2020-06-18
1
-16
/
+19
|
\
|
*
splitnets: Clean up pseudo-private member usage
Alberto Gonzalez
2020-06-13
1
-7
/
+6
|
*
splitnets: Slightly improve efficiency by avoiding some unnecessary lookups
Alberto Gonzalez
2020-06-13
1
-9
/
+13
*
|
Merge pull request #2142 from whitequark/splitnets-hdlname
whitequark
2020-06-18
1
-0
/
+4
|
\
|
|
*
splitnets: propagate (*hdlname*) and disambiguate via start_offset.
whitequark
2020-06-10
1
-0
/
+4
*
|
msvc does not support designated initializers in structs
Anonymous Maarten
2020-06-17
1
-5
/
+5
|
/
*
Drive-by modernization in sat.cc
Claire Wolf
2020-06-09
1
-4
/
+4
*
Do not optimize away FFs in "prep" and Verific fron-end
Claire Wolf
2020-06-09
1
-5
/
+12
*
flatten: accept processes.
whitequark
2020-06-09
1
-8
/
+8
*
flatten: preserve original object names via hdlname attribute.
whitequark
2020-06-08
1
-5
/
+16
*
flatten: only prepend $flatten once per wire.
whitequark
2020-06-08
1
-2
/
+6
*
flatten: make hygienic.
whitequark
2020-06-08
1
-155
/
+116
*
Merge pull request #2085 from rswarbrick/select
clairexen
2020-06-08
1
-14
/
+19
|
\
|
*
Pass some more args by reference in select.cc
Rupert Swarbrick
2020-05-27
1
-7
/
+7
|
*
Minor optimisations in select.cc's match_ids function
Rupert Swarbrick
2020-05-27
1
-9
/
+11
|
*
Silence warning in select.cc
Rupert Swarbrick
2020-05-27
1
-1
/
+4
*
|
Merge pull request #2089 from rswarbrick/modports
clairexen
2020-06-08
1
-13
/
+6
|
\
\
|
*
|
Simplify a modport check in hierarchy.cc
Rupert Swarbrick
2020-05-26
1
-13
/
+6
|
|
/
[prev]
[next]