projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Formatting fixes
2020-05-05
Eddie Hung
Merge pull request #2025 from YosysHQ/eddie/frontend_cleanup
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2026 from YosysHQ/eddie/scratchpad_abc9_W
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2024 from YosysHQ/eddie/primitive_src
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2023 from YosysHQ/eddie/specify_src
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
synth_ice40/ecp5/xilinx: allow abc9.W to be overridden...
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
verilog: fix specify src attribute
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
frontend: cleanup to use more ID::*, more dict<> instead...
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
verilog: set src attribute for primitives
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
tests: add tests for primitives' src
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
test: add test for #2014
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
abc9_ops: -reintegrate to be sensitive to start_offset too
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
tests: aiger test for wire->start_offset != 0
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
aiger: fixes for ports that have start_offset != 0
commit
|
commitdiff
|
tree
2020-05-01
Eddie Hung
Add testcase for #2010
commit
|
commitdiff
|
tree
2020-04-30
Eddie Hung
Merge pull request #1999 from YosysHQ/eddie/verific_enum_again
commit
|
commitdiff
|
tree
2020-04-30
Eddie Hung
verific: ignore anonymous enums
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
verific: support VHDL enums too
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Merge pull request #1946 from YosysHQ/eddie/yosyshq_abc
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Update CHANGELOG and manual for departure from upstream
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
abc: use YosysHQ/abc instead of upstream berkeley-abc/abc
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
verific: recover wiretype/enum attr as part of import_attrib...
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
bugpoint: improve messaging
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
bugpoint: (* keep *) to (* bugpoint_keep *); also apply...
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
Revert "verific: import enum attributes from verific"
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
bugpoint: skip ports with (* keep *) on; add header
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
verific: do not assert if wire not found; warn instead
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
bugpoint: improve help text
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
Merge pull request #1974 from YosysHQ/eddie/abc9_disable_mfs
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
Merge pull request #1984 from YosysHQ/eddie/getParam_exception
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
ecp5: ecp5_gsr to skip cells that don't have GSR parameter...
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
tests: read +/xilinx/cell_sim.v before xilinx_dsp test
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
xilinx: xilinx_dsp_cascade to check CREG for DSP48E1...
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
verific: import enum attributes from verific
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
test: ice40_dsp test to read +/ice40/cells_sim.v for...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
xilinx: improve xilinx_dffopt message
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
xilinx: xilinx_dffopt to read cells_sim.v; fix test
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
kernel: Cell::getParam() to throw exception again if...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1949 from YosysHQ/eddie/select_blackbox
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1983 from YosysHQ/eddie/use_default_param
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1969 from boqwxp/pool_emplace
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Cleanup use of hard-coded default parameters in light...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1973 from YosysHQ/eddie/fix1966
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
tests: update select black/white-box tests
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
select: do not select black/white boxes by default...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1950 from YosysHQ/eddie/design_import
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
yosys-config: spelling
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
tests: use `yosys-config --datdir` instead of hard...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
pool: add emplace() function
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
tests: remove write_ilang
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Merge pull request #1975 from dh73/claire/bitselwrite
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Remove '-ignore_unknown_cells' option from 'sat'
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Simplify test case script
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Remove ununsed files
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Merge pull request #1972 from YosysHQ/eddie/bug1970
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
abc9: tolerate ABC nonzero exit code if output.aig...
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
xilinx/ecp5: disable abc9's "&mfs" optimisation
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
abc9: -prep_lut to be more robust
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
abc9: add testcase reduced from #1970
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
design: add test
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
design: -import to not count black/white-boxes as candidates...
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
select: add test for not selecting inside black/white...
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
select: do not select inside blackboxes
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
tests: add select -unset tests
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
select: add select -unset option
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
Merge pull request #1928 from YosysHQ/eddie/design_delete
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
Merge pull request #1927 from YosysHQ/eddie/design_remove_assert
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
tests: add design -delete tests
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
kernel: add design -delete option
commit
|
commitdiff
|
tree
2020-04-15
Eddie Hung
Merge pull request #1916 from YosysHQ/eddie/kernel_makeblackbox
commit
|
commitdiff
|
tree
2020-04-15
Eddie Hung
Merge pull request #1933 from YosysHQ/eddie/zinit_more
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
tests: zinit for new types
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
zinit: handle $__DFFS?E?_[NP][NP][01] too
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
tests: add testcases from #1876
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
design: do not delete when iterating over Design::modules...
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
kernel: Design::remove(RTLIL::Module *) to check refcount_mo...
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
abc9_exe: verify -> &verify -s
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
techmap: fix error message
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
kernel: Module::makeblackbox() to clear connections too
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
xaiger: add check for $__ABC9_DELAY model
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
Merge pull request #1568 from YosysHQ/eddie/fix_zinit
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
zinit: resolve one more comment by @mwkmwkmwk
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
zinit: fix review comments from @mwkmwkmwk
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
tests: zinit on $adff
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
zinit: operate on $adff, erase (* init *) entries on...
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
Fix S/R comment; thanks @mwkmwkmwk
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
zinit to transform set/reset value of $_DFF_[NP][NP...
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
Add testcase for $_DFF_[NP][NP][01]_
commit
|
commitdiff
|
tree
2020-04-13
Eddie Hung
Supress error for unhandled \init if whole module selected
commit
|
commitdiff
|
tree
2020-04-09
Eddie Hung
Merge pull request #1858 from YosysHQ/eddie/fix1856
commit
|
commitdiff
|
tree
2020-04-09
Eddie Hung
tests: add a quick plugin test
commit
|
commitdiff
|
tree
2020-04-09
Eddie Hung
kernel: include "kernel/constids.inc" instead of "constids...
commit
|
commitdiff
|
tree
2020-04-07
Eddie Hung
Merge pull request #1881 from hzeller/only-define-stdc...
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
Merge pull request #1648 from YosysHQ/eddie/cmp2lcu
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
cmp2lcu: rename _90_lcu_cmp -> _80_lcu_cmp
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
cmp2lcu: fail if `LUT_WIDTH < 2
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
synth: only techmap cmp2{lut,lcu} if -lut
commit
|
commitdiff
|
tree
next