projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-01-24
Eddie Hung
abc_box_id -> abc9_box_id in test
commit
|
commitdiff
|
tree
2020-01-23
Eddie Hung
abc9_ops -prep_dff: insert async s/r mux in holes when...
commit
|
commitdiff
|
tree
2020-01-23
Eddie Hung
alumacc: undo accidental commit
commit
|
commitdiff
|
tree
2020-01-22
Eddie Hung
Fix $__ABC9_ASYNC1 to output 1'b1 not 1'b0
commit
|
commitdiff
|
tree
2020-01-22
Eddie Hung
read_aiger: also parse abc9_mergeability
commit
|
commitdiff
|
tree
2020-01-22
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_fixes...
commit
|
commitdiff
|
tree
2020-01-22
Eddie Hung
abc9: error out if flip-flop init is 1'b1 for '-dff'
commit
|
commitdiff
|
tree
2020-01-22
Eddie Hung
abc9: fix scratchpad entry abc9.verify
commit
|
commitdiff
|
tree
2020-01-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-21
Eddie Hung
read_aiger: discard LUT inputs with nodeID == 0; not < 2
commit
|
commitdiff
|
tree
2020-01-21
Eddie Hung
read_aiger: ignore constant inputs on LUTs
commit
|
commitdiff
|
tree
2020-01-21
Eddie Hung
write_xaiger: fix for (* keep *) on flop output
commit
|
commitdiff
|
tree
2020-01-21
Claire Wolf
Merge pull request #1637 from YosysHQ/mwk/fix-1634
commit
|
commitdiff
|
tree
2020-01-21
Claire Wolf
Merge pull request #1629 from YosysHQ/mwk/edif-z
commit
|
commitdiff
|
tree
2020-01-20
Claire Wolf
Merge pull request #1621 from YosysHQ/clifford/fminit
commit
|
commitdiff
|
tree
2020-01-18
Eddie Hung
Merge pull request #1643 from YosysHQ/eddie/cleanup_ari...
commit
|
commitdiff
|
tree
2020-01-18
David Shah
Merge pull request #1602 from niklasnisbeth/ice40-init...
commit
|
commitdiff
|
tree
2020-01-18
Eddie Hung
Merge pull request #1645 from YosysHQ/eddie/fix1644
commit
|
commitdiff
|
tree
2020-01-18
Eddie Hung
xilinx_dsp: another typo; move xilinx specific test
commit
|
commitdiff
|
tree
2020-01-18
Eddie Hung
ice40_dsp: fix typo
commit
|
commitdiff
|
tree
2020-01-18
Eddie Hung
Consistency
commit
|
commitdiff
|
tree
2020-01-18
Eddie Hung
xilinx_dsp: add parameter defaults
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
Add #1644 testcase
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
synth_ice40: call wreduce before mul2dsp
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
ice40_dsp: add test
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
ice40_dsp: add default values for parameters
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
ice40_dsp: tolerant of fanout-less outputs, as well...
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
Deprecate `_CLB_CARRY from +/xilinx/arith_map.v since...
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
abc9: add some log_{push,pop}() as per @nakengelhardt
commit
|
commitdiff
|
tree
2020-01-17
Eddie Hung
+/xilinx/arith_map.v fix $lcu rule
commit
|
commitdiff
|
tree
2020-01-16
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-16
Eddie Hung
Merge pull request #1639 from YosysHQ/eddie/fix_read_xaiger
commit
|
commitdiff
|
tree
2020-01-15
Eddie Hung
abc9: aAdd test to check $_NOT_s are absorbed
commit
|
commitdiff
|
tree
2020-01-15
Eddie Hung
read_aiger: $lut prefix in front
commit
|
commitdiff
|
tree
2020-01-15
Eddie Hung
write_xaiger: skip abc9_flop only if abc_box_seq present
commit
|
commitdiff
|
tree
2020-01-15
Miodrag Milanović
Merge pull request #1636 from YosysHQ/eddie/fix_synth_x...
commit
|
commitdiff
|
tree
2020-01-15
Eddie Hung
write_xaiger: do not export flop inputs as POs
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9_ops: -reintegrate to not trim box padding anymore
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
Merge pull request #1635 from YosysHQ/eddie/print_stats
commit
|
commitdiff
|
tree
2020-01-14
Marcin Kościelnicki
fsm_detect: Add a cache to avoid excessive CPU usage...
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9_ops/write_xaiger: update doc
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9_ops: -prep_holes -> -prep_xaiger, move padding...
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
Adding (* techmap_autopurge *) to FD* in abc9_map.v
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
Merge pull request #1633 from YosysHQ/eddie/fix_autoname
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
Merge pull request #1632 from YosysHQ/eddie/fix1630
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
As before, only display MEM if Linux or FreeBSD
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
synth_xilinx: fix default W value for non-xc7
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
print_stats footer to return peak memory, option for...
commit
|
commitdiff
|
tree
2020-01-14
Miodrag Milanović
Merge pull request #1623 from YosysHQ/mmicko/edif_attr
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
autoname: do not autoname ports
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
autoname: add testcase with $-prefix-ed port
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
read_aiger: also rename "$0"
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9_ops: -break_scc -> -mark_scc using (* keep *)...
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9_ops: ignore inouts of all cell outputs for topo...
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
write_xaiger: fix case of PI and CI and (* keep *)
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9: break SCC by setting (* keep *) on output wires
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
read_aiger: uniquify wires with $aiger<autoidx> prefix
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
Add #1630 testcase
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9: add -run option
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
abc9: respect (* keep *) on cells
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
write_xaiger: add support and test for (* keep *) on...
commit
|
commitdiff
|
tree
2020-01-14
Eddie Hung
read_aiger: make $and/$not/$lut the prefix not suffix
commit
|
commitdiff
|
tree
2020-01-13
Eddie Hung
write_xaiger: cache arrival times
commit
|
commitdiff
|
tree
2020-01-13
Eddie Hung
abc9: log which module is being operated on
commit
|
commitdiff
|
tree
2020-01-13
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-13
Eddie Hung
Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpad
commit
|
commitdiff
|
tree
2020-01-13
Eddie Hung
Merge pull request #1627 from YosysHQ/eddie/fix1626
commit
|
commitdiff
|
tree
2020-01-13
Marcin Kościelnicki
edif: Just ignore connections to 'z
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
Add #1626 testcase
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
synth_ice40: -abc2 to always use `abc` even if `-abc9`
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
Another conflict
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
cleanup
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
write_xaiger: create holes_sigmap before modifications
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
MIssed this merge conflict
commit
|
commitdiff
|
tree
2020-01-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
Merge branch 'eddie/abc9_refactor' of github.com:YosysH...
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
Merge pull request #1625 from YosysHQ/eddie/abc9_mfs
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
abc9: fix help message, found by @nakengelhardt
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
write_xaiger: sort holes by offset as well as port_id
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
abc9: cleanup
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
abc9: remove -nomfs option
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
Bump ABCREV for upstream fix
commit
|
commitdiff
|
tree
2020-01-11
Eddie Hung
Merge pull request #1622 from YosysHQ/clifford/onpassreg
commit
|
commitdiff
|
tree
2020-01-10
Eddie Hung
Copy-pasta
commit
|
commitdiff
|
tree
2020-01-10
Eddie Hung
synth_xilinx: synth_xilinx.abc9.xc7.W to replace XC7_WI...
commit
|
commitdiff
|
tree
2020-01-10
Eddie Hung
abc9: add abc9.verify and abc9.debug options
commit
|
commitdiff
|
tree
2020-01-10
Eddie Hung
Merge pull request #1624 from YosysHQ/eddie/abc9_leak
commit
|
commitdiff
|
tree
2020-01-10
Eddie Hung
abc9: fix memory leak
commit
|
commitdiff
|
tree
2020-01-10
Eddie Hung
abc9: fix typos
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
this one is fine
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
Fix tests
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
remove whitespace
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
Use CARRY4 for abc1 as well, preventing issues with...
commit
|
commitdiff
|
tree
2020-01-10
Miodrag Milanovic
Export wire properties as well in EDIF
commit
|
commitdiff
|
tree
2020-01-10
Eddie Hung
Add abc9 sanity test
commit
|
commitdiff
|
tree
next