projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-07-09
whitequark
verilog_parser: turn S/R and R/R conflicts into hard...
commit
|
commitdiff
|
tree
2020-07-09
whitequark
Revert PRs #2203 and #2244.
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
xilinx: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
dfflibmap: Refactor to use dfflegalize internally.
commit
|
commitdiff
|
tree
2020-07-09
Lucas Castro
Fix issue #2251 (#2252)
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
clkbufmap: improve input pad handling.
commit
|
commitdiff
|
tree
2020-07-09
clairexen
Merge pull request #2244 from antmicro/logic
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
clk2fflogic: Consistently treat async control signals...
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
dfflegalize: Add special support for const-D latches.
commit
|
commitdiff
|
tree
2020-07-07
whitequark
Merge pull request #2246 from YosysHQ/mwk/dfflegalize...
commit
|
commitdiff
|
tree
2020-07-07
Marcelina Kościelnicka
dfflegalize: typo fix
commit
|
commitdiff
|
tree
2020-07-06
Marcelina Kościelnicka
efinix: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-06
Marcelina Kościelnicka
gowin: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-06
Kamil Rakoczy
Add logic param and integer bad syntax tests
commit
|
commitdiff
|
tree
2020-07-06
Lukasz Dalek
Support logic typed parameters
commit
|
commitdiff
|
tree
2020-07-05
Dan Ravensloft
intel_alm: direct M10K instantiation
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
Naming fixes.
commit
|
commitdiff
|
tree
2020-07-05
Dan Ravensloft
synth_gowin: ABC9 support
commit
|
commitdiff
|
tree
2020-07-05
Dan Ravensloft
intel_alm: add Cyclone 10 GX tests
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
Merge pull request #2236 from YosysHQ/mwk/dfflegalize...
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
ecp5: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-05
whitequark
Merge pull request #2227 from Ravenslofty/ccache
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
Merge pull request #2232 from YosysHQ/mwk/gowin-sim...
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
dfflegalize: Prefer mapping dff to sdff before adff
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
opt_expr: Fix crash on $mul optimization with more...
commit
|
commitdiff
|
tree
2020-07-05
Dan Ravensloft
intel_alm: DSP inference
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
ice40: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-05
Marcelina Kościelnicka
gowin: Fix INIT values in sim library.
commit
|
commitdiff
|
tree
2020-07-04
Dan Ravensloft
gowin: replace determine_init with setundef
commit
|
commitdiff
|
tree
2020-07-04
Marcelina Kościelnicka
synth_intel_alm: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-04
Dan Ravensloft
Add option to use ccache when building
commit
|
commitdiff
|
tree
2020-07-04
Dan Ravensloft
Improve MISTRAL_FF specify rules
commit
|
commitdiff
|
tree
2020-07-04
Eddie Hung
tests: update fsm.ys resource count
commit
|
commitdiff
|
tree
2020-07-04
Eddie Hung
abc9: only techmap (* abc9_flop *) modules
commit
|
commitdiff
|
tree
2020-07-04
Eddie Hung
intel_alm: compose $__MISTRAL_FF_SYNCONLY from MISTRAL_FF
commit
|
commitdiff
|
tree
2020-07-04
Eddie Hung
abc9: techmap from user design to allow abc9_flop modul...
commit
|
commitdiff
|
tree
2020-07-04
Eddie Hung
intel_alm: add $__ prefix to MISTRAL_FF_SYNCONLY
commit
|
commitdiff
|
tree
2020-07-04
Dan Ravensloft
intel_alm: ABC9 sequential optimisations
commit
|
commitdiff
|
tree
2020-07-03
Rupert Swarbrick
Add newlines to help text for dfflegalize
commit
|
commitdiff
|
tree
2020-07-02
clairexen
Merge pull request #2132 from YosysHQ/eddie/verific_initial
commit
|
commitdiff
|
tree
2020-07-02
clairexen
Merge pull request #2208 from boqwxp/qbfsat-cleanup
commit
|
commitdiff
|
tree
2020-07-02
clairexen
Merge pull request #2186 from YosysHQ/mwk/dfflegalize
commit
|
commitdiff
|
tree
2020-07-02
clairexen
Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff
commit
|
commitdiff
|
tree
2020-07-02
clairexen
Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge
commit
|
commitdiff
|
tree
2020-07-02
clairexen
Merge pull request #2195 from YosysHQ/mwk/manual-gates
commit
|
commitdiff
|
tree
2020-07-01
Alberto Gonzalez
qbfsat: Remove useless comment and #ifndef guards.
commit
|
commitdiff
|
tree
2020-07-01
Alberto Gonzalez
qbfsat: Specify default values for some options in...
commit
|
commitdiff
|
tree
2020-07-01
Alberto Gonzalez
qbfsat: Clean up external executable command lines...
commit
|
commitdiff
|
tree
2020-07-01
Alberto Gonzalez
qbfsat: Clean up and refactor data structures into...
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2203 from antmicro/fix-grammar
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2179 from splhack/static-cast
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2138 from boqwxp/qbfsat-oflag
commit
|
commitdiff
|
tree
2020-07-01
clairexen
Merge pull request #2206 from boqwxp/qbfsat-fix-name...
commit
|
commitdiff
|
tree
2020-06-30
Marcelina Kościelnicka
dfflegalize: Add tests.
commit
|
commitdiff
|
tree
2020-06-30
Marcelina Kościelnicka
Add dfflegalize pass.
commit
|
commitdiff
|
tree
2020-06-30
Marcelina Kościelnicka
fmcombine: use the master ff cell type list
commit
|
commitdiff
|
tree
2020-06-30
Marcelina Kościelnicka
opt_merge: use the master FF type list
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2136 from zachjs/master
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2199 from YosysHQ/mmicko/sim_memory
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2201 from YosysHQ/fix_test_cell_ilang
commit
|
commitdiff
|
tree
2020-06-30
clairexen
Merge pull request #2209 from YosysHQ/verific_update
commit
|
commitdiff
|
tree
2020-06-30
Marcelina Kościelnicka
simcells: Fix reset polarity for $_DLATCH_???_ cells.
commit
|
commitdiff
|
tree
2020-06-30
Miodrag Milanovic
Update verific API version check
commit
|
commitdiff
|
tree
2020-06-30
Alberto Gonzalez
qbfsat: Add `-O[012]` options to control pre-solving...
commit
|
commitdiff
|
tree
2020-06-30
Alberto Gonzalez
qbfsat: Fix name-based hole specialization.
commit
|
commitdiff
|
tree
2020-06-30
whitequark
Merge pull request #2205 from whitequark/fix-2204
commit
|
commitdiff
|
tree
2020-06-29
whitequark
techmap: don't drop attributes on replaced cells.
commit
|
commitdiff
|
tree
2020-06-29
Zachary Snow
Allow constant function calls in for loops and generate...
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanović
Merge pull request #2200 from YosysHQ/mmicko/fix_expose
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
Give error that options are exclusive
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
cleanup
commit
|
commitdiff
|
tree
2020-06-29
whitequark
Merge pull request #2197 from Xiretza/test_cell-shifts
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
Use ID macro to fix assertion
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
expose pass fix
commit
|
commitdiff
|
tree
2020-06-29
Miodrag Milanovic
sim - error when memrd and memwr detected
commit
|
commitdiff
|
tree
2020-06-28
Xiretza
test_cell: don't generate directional shifts with ...
commit
|
commitdiff
|
tree
2020-06-26
Marcelina Kościelnicka
Add latches to the manual.
commit
|
commitdiff
|
tree
2020-06-26
Marcelina Kościelnicka
Add a few more gate types to the manual.
commit
|
commitdiff
|
tree
2020-06-26
Miodrag Milanovic
Fix crash in verific frontend
commit
|
commitdiff
|
tree
2020-06-26
Kamil Rakoczy
Add signed/unsigned tests
commit
|
commitdiff
|
tree
2020-06-26
Lukasz Dalek
Parse macro call attached semicolon as empty expression
commit
|
commitdiff
|
tree
2020-06-26
Lukasz Dalek
Fix integer signing grammar
commit
|
commitdiff
|
tree
2020-06-26
whitequark
Merge pull request #2193 from whitequark/cxxrtl-help...
commit
|
commitdiff
|
tree
2020-06-26
whitequark
cxxrtl: update help text.
commit
|
commitdiff
|
tree
2020-06-26
whitequark
Merge pull request #2188 from antmicro/missing-operators
commit
|
commitdiff
|
tree
2020-06-26
whitequark
Merge pull request #2189 from antmicro/optional-labels
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2168 from whitequark/assert-unused...
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2135 from boqwxp/qbfsat-timeinfo
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2093 from boqwxp/qbfsat-bugfixes
commit
|
commitdiff
|
tree
2020-06-25
clairexen
Merge pull request #2192 from YosysHQ/verific_netbus_attr
commit
|
commitdiff
|
tree
2020-06-25
Kamil Rakoczy
Add sub-assign and and-assign tests
commit
|
commitdiff
|
tree
2020-06-25
Kamil Rakoczy
Move combined assign tests to single file
commit
|
commitdiff
|
tree
2020-06-25
Kamil Rakoczy
Support missing sub-assign and and-assign operators
commit
|
commitdiff
|
tree
2020-06-25
Miodrag Milanovic
optimization, all items should have same attributes
commit
|
commitdiff
|
tree
2020-06-24
Kamil Rakoczy
Add xor-assignment test
commit
|
commitdiff
|
tree
2020-06-24
Lukasz Dalek
Support missing xor-assign operator
commit
|
commitdiff
|
tree
2020-06-24
Lukasz Dalek
Support optional labels at the end of package definition
commit
|
commitdiff
|
tree
2020-06-24
Lukasz Dalek
Support optional labels at the end of module definition
commit
|
commitdiff
|
tree
2020-06-24
Kamil Rakoczy
Add or-assignment and plus-assignment tests
commit
|
commitdiff
|
tree
2020-06-24
Kamil Rakoczy
Add plus-assignment operator
commit
|
commitdiff
|
tree
next