projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
write_xaiger: cleanup
2020-01-09
Eddie Hung
write_xaiger: cleanup
commit
|
commitdiff
|
tree
2020-01-09
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refactor...
commit
|
commitdiff
|
tree
2020-01-09
Eddie Hung
abc9_ops: fix reintegration by removing optimised-away...
commit
|
commitdiff
|
tree
2020-01-09
Eddie Hung
write_xaiger: cope with abc9_arrival as string of ints
commit
|
commitdiff
|
tree
2020-01-09
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refactor...
commit
|
commitdiff
|
tree
2020-01-09
Eddie Hung
read_aiger: more accurate debug message
commit
|
commitdiff
|
tree
2020-01-09
Eddie Hung
read_aiger: do not double-count outputs for flops
commit
|
commitdiff
|
tree
2020-01-09
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refactor...
commit
|
commitdiff
|
tree
2020-01-08
Eddie Hung
Fix abc9 help, add labels
commit
|
commitdiff
|
tree
2020-01-08
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-08
Eddie Hung
Fix abc9_xc7.box comments
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
scc to use design->selected_modules() which avoids...
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Bump ABCREV for upstream fix
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Merge pull request #1618 from YosysHQ/eddie/aiger_fixes
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
read_aiger: consistency between ascii and binary; also...
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
read_aiger fixes
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
tests/aiger: write Yosys output
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Add testcases
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
tests/aiger: write Yosys output
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
read_aiger: connect identical signals together
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
read_aiger: cope with latches and POs with same name
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
read_aiger: default -clk_name to be empty
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
abc9_ops -reintegrate: process box connections
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
read_aiger: do not process box connections, work standalone
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Fix tabs and cleanup
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
read_aiger: consistency between ascii and binary
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
abc_exe: move 'count_outputs' check to abc
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Merge branch 'master' into eddie/abc9_refactor
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Merge pull request #1181 from YosysHQ/xaig_dff
commit
|
commitdiff
|
tree
2020-01-07
Eddie Hung
Fix DSP48E1 sim
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Add abc9_ops -reintegrate; moved out from now abc9_exe
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
abc9_map: drop padding in box connections
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Stray log_module
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/xaig_dff' into...
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge pull request #1617 from YosysHQ/eddie/abc9_dsp_refactor
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Revert "write_xaiger to pad, not abc9_ops -prep_holes"
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Cleanup
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
read_aiger: add -xaiger option
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
scc to use design->selected_modules() which avoids...
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Revert "scc command to ignore blackboxes"
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Fix bad merge
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
abc9: uncomment nothing to map message
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/xaig_dff' into...
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Wrap arrival functions inside `YOSYS too
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Fixes
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Fixes
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge pull request #1616 from nakengelhardt/abc_scratchpad_a...
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Fix return value of arrival time functions, fix word
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Bump ABCREV for upstream fix
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
abc9: remove -markgroups option, since operates on...
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
abc9: cleanup
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
write_xaiger: make more robust, update doc
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
write_aiger: make more robust
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Add abc9.dff scratchpad option
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refactor...
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge pull request #1582 from nakengelhardt/abc_scratchpad_s...
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Revert ABCREV
commit
|
commitdiff
|
tree
2020-01-06
Eddie Hung
Reword (* abc9_flop *) description
commit
|
commitdiff
|
tree
2020-01-05
Eddie Hung
write_xaiger to pad, not abc9_ops -prep_holes
commit
|
commitdiff
|
tree
2020-01-04
Eddie Hung
Cleanup
commit
|
commitdiff
|
tree
2020-01-04
Eddie Hung
Fix when -dff not given
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
Call -prep_holes before aigmap; fix topo ordering
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
WIP
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
Preserve topo ordering from -prep_holes to write_xaiger
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
WIP
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
WIP
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
Restore write_xaiger's holes_mode since port_id order...
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
Cleanup
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
Fix spacing
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
Remove a few log_{push,pop}()
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
aigmap everything
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
scc command to ignore blackboxes
commit
|
commitdiff
|
tree
2020-01-03
Eddie Hung
Move scc operations out of inner loop
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Cleanup
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Merge remote-tracking branch 'origin/xaig_dff' into...
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
write_xaiger: get rid of external_bits dict
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Combine tests to check multiple clock domains
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Drive $[ABCD] explicitly
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
synth_xilinx -dff to work with abc too
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Add 'abc9 -dff' to CHANGELOG
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Update doc
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Update comments
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
abc9 -keepff -> -dff; refactor dff operations
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Merge pull request #1601 from YosysHQ/eddie/synth_retime
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Merge pull request #1608 from YosysHQ/eddie/ifndef_YOSYS
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
ifndef __ICARUS__ -> ifdef YOSYS
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
ifdef __ICARUS__ -> ifndef YOSYS
commit
|
commitdiff
|
tree
2020-01-02
Eddie Hung
Rework abc9's DSP48E1 model
commit
|
commitdiff
|
tree
2020-01-01
Eddie Hung
Merge pull request #1606 from YosysHQ/eddie/improve_tests
commit
|
commitdiff
|
tree
2020-01-01
Eddie Hung
Revert insertion of 'reg', leave note behind
commit
|
commitdiff
|
tree
2020-01-01
Eddie Hung
Fix anlogic async flop mapping
commit
|
commitdiff
|
tree
2020-01-01
Eddie Hung
Clamp -46ps for FDPE* too
commit
|
commitdiff
|
tree
next