projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
abc9_ops: more robust
2020-05-14
Eddie Hung
abc9_ops: more robust
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9: suppress warnings when no compatible + used flop...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
xilinx: update abc9_dff tests
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
xilinx: remove no-longer-relevant test
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
aiger/xaiger: use odd for negedge clk, even for posedge
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9: cleanup
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
Revert "ecp5: replace ecp5_ffinit with techmap rules...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9_ops: -prep_dff_map to check $_DFF_[NP]_.Q drives...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9_ops: do away with '$abc9_cells' selection
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9_ops: use new 'design -delete' and 'select -unset'
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
ecp5: (* abc9_flop *) gated behind YOSYS
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
submod: revert accidental change
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
Revert "Merge branch 'eddie/kernel_makeblackbox' into...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
xaiger: update help text
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
ecp5: add synth_ecp5 -dff to work with -abc9
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9_ops: -prep_dff_map to warn if no specify cells
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
ice40: synth_ice40 cleanup
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
ecp5: replace ecp5_ffinit with techmap rules + dff2dffs...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
kernel: Module::makeblackbox() to clear connections...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
ice40: add synth_ice40 -dff option, support with -abc9
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
ice40: split out cells_map.v into ff_map.v
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9_ops: -prep_dff_map to cope with plain $_DFF_[NP...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
synth_xilinx: rename dff_mode -> dff
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
xaiger: do not treat (* init=1'bx *) as 1'b0
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9: cleanup
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9_ops: do not use (* abc9_init *)
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
aiger: -xaiger to parse initial state back into (*...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
xaiger: when -dff use (* init *) for initial state
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9_ops: add 'dff' label for auto handling of (* abc9_flop...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
abc9: fix behaviour and help for -box option
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
aiger: -xaiger to read $_DFF_[NP]_ back with new clocks...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
xaiger: output $_DFF_[NP]_ with mergeability if -dff...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
test: add another testcase as per @nakengelhardt
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
opt_clean: improve warning message
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
opt_clean: add init test
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
opt_clean: rminit without -purge; also remove if consistent...
commit
|
commitdiff
|
tree
2020-05-14
Eddie Hung
opt_clean: really make 'clean' identical to 'opt_clean...
commit
|
commitdiff
|
tree
2020-05-13
Eddie Hung
verilog: default to input in sv mode if task/func has...
commit
|
commitdiff
|
tree
2020-05-13
Eddie Hung
tests: update/extend task argument tests
commit
|
commitdiff
|
tree
2020-05-12
Eddie Hung
ice40: fix ICESTORM_LC process sensitivity
commit
|
commitdiff
|
tree
2020-05-12
Eddie Hung
ice40: fix whitespace
commit
|
commitdiff
|
tree
2020-05-11
Eddie Hung
verilog: error out when non-ANSI task/func arguments
commit
|
commitdiff
|
tree
2020-05-11
Eddie Hung
tests: add #2042 testcase
commit
|
commitdiff
|
tree
2020-05-11
Eddie Hung
Setup tests/verilog properly
commit
|
commitdiff
|
tree
2020-05-06
Eddie Hung
Makefile: git fetch all commits from $(ABCURL) repo
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
techlibs/common: more robustness when *_WIDTH = 0
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
ast: swap range regardless of range_left >= 0
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
test: add failing test
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-02
Eddie Hung
test: add test for #2014
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
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
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
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
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
Cleanup use of hard-coded default parameters in light...
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
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
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
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
tests: add design -delete tests
commit
|
commitdiff
|
tree
2020-04-16
Eddie Hung
kernel: add design -delete option
commit
|
commitdiff
|
tree
2020-04-14
Eddie Hung
tests: zinit for new types
commit
|
commitdiff
|
tree
next