projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-01-28
Pepijn de Vos
redirect fuser stderr to /dev/null
commit
|
commitdiff
|
tree
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
commit
|
commitdiff
|
tree
2020-01-27
Eddie Hung
Merge pull request #1619 from YosysHQ/eddie/abc9_refactor
commit
|
commitdiff
|
tree
2020-01-27
Eddie Hung
abc9_ops: add comments
commit
|
commitdiff
|
tree
2020-01-27
Eddie Hung
Merge pull request #1656 from YosysHQ/eddie/ice40_abc9_...
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Merge pull request #1658 from YosysHQ/clifford/smtbmcso...
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Improve yosys-smtbmc "solver not found" handling
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Merge pull request #1613 from porglezomp-misc/version...
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
read_aiger: set abc9_box_seq attr
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
ice40: add SB_SPRAM256KA arrival time
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
ice40: reduce ABC9 internal fanout warnings with a...
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
abc9: -reintegrate recover type from existing cell...
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
simple_abc9 tests to discard whitebox before write...
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
simple_abc9 tests to discard whitebox before write...
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
abc_box_id -> abc9_box_id in test
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
abc9: warning message if no modules selected
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
Fix $__ABC9_ASYNC1 to output 1'b1 not 1'b0
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
Test for (* keep *)-ed abc9_box_id
commit
|
commitdiff
|
tree
2020-01-24
Eddie Hung
abc9_ops: -prep_xaiger to skip (* keep *) cells
commit
|
commitdiff
|
tree
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
Merge pull request #1652 from YosysHQ/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
next