projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'xaig' into xc7mux
[yosys.git]
/
backends
/
aiger
/
2019-05-31
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-05-30
Eddie Hung
Fix issue where keep signal became PI, but also box...
tree
|
commitdiff
2019-05-30
Eddie Hung
Do not re-sort box_module ports
tree
|
commitdiff
2019-05-30
Eddie Hung
Carry in/out to be the last input/output for chains...
tree
|
commitdiff
2019-05-29
Eddie Hung
Fix abc_test024
tree
|
commitdiff
2019-05-28
Eddie Hung
Fix for abc9_test022
tree
|
commitdiff
2019-05-28
Eddie Hung
Small improvement
tree
|
commitdiff
2019-05-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-28
Eddie Hung
Map file to include boxes not CI/CO
tree
|
commitdiff
2019-05-27
Eddie Hung
Instantiate cell type (from sym file) otherwise 'clean...
tree
|
commitdiff
2019-05-27
Eddie Hung
Add 'cinput' and 'coutput' to symbols file for boxes
tree
|
commitdiff
2019-05-26
Eddie Hung
Fix "a" connectivity
tree
|
commitdiff
2019-05-26
Eddie Hung
Fix padding, remove CIs from undriven_bits before erasi...
tree
|
commitdiff
2019-05-26
Eddie Hung
Fix "a" extension
tree
|
commitdiff
2019-05-26
Eddie Hung
Fix "write_xaiger", and to write each box contents...
tree
|
commitdiff
2019-05-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/opt_rmdff...
tree
|
commitdiff
2019-05-21
Eddie Hung
Pad all boxes so that all input/output connections...
tree
|
commitdiff
2019-05-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmgenstuf...
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/split_shiftx...
tree
|
commitdiff
2019-04-26
Eddie Hung
Merge branch 'eddie/split_shiftx' into xc7mux
tree
|
commitdiff
2019-04-25
Eddie Hung
Remove topo sort no-loop assertion, with test
tree
|
commitdiff
2019-04-23
Eddie Hung
Fix abc9 with (* keep *) wires
tree
|
commitdiff
2019-04-23
Eddie Hung
Fix abc9 with (* keep *) wires
tree
|
commitdiff
2019-04-23
Eddie Hung
Merge branch 'xaig' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-04-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-23
Eddie Hung
Revert "Temporarily remove 'r' extension"
tree
|
commitdiff
2019-04-22
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-04-22
Eddie Hung
Temporarily remove 'r' extension
tree
|
commitdiff
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/xc7srl' into xc7mux
tree
|
commitdiff
2019-04-22
Eddie Hung
Allow POs to be PIs in XAIG
tree
|
commitdiff
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/clifford/libwb...
tree
|
commitdiff
2019-04-21
Eddie Hung
Merge remote-tracking branch 'origin/clifford/libwb...
tree
|
commitdiff
2019-04-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-19
Eddie Hung
Fixes for simple_abc9 tests
tree
|
commitdiff
2019-04-19
Eddie Hung
Do not assume inst_module is always present
tree
|
commitdiff
2019-04-19
Eddie Hung
ignore_boxes -> holes_mode
tree
|
commitdiff
2019-04-19
Eddie Hung
Add flop support for write_xaiger
tree
|
commitdiff
2019-04-19
Eddie Hung
Spelling
tree
|
commitdiff
2019-04-18
Eddie Hung
Use new -wb flag for ABC flow
tree
|
commitdiff
2019-04-18
Eddie Hung
Merge remote-tracking branch 'origin/clifford/whitebox...
tree
|
commitdiff
2019-04-17
Eddie Hung
Fix $anyseq warning and cleanup
tree
|
commitdiff
2019-04-17
Eddie Hung
Cope with inout ports
tree
|
commitdiff
2019-04-17
Eddie Hung
Stop topological sort at abc_flop_q
tree
|
commitdiff
2019-04-17
Eddie Hung
Remove init* from xaiger, also topo-sort cells for...
tree
|
commitdiff
2019-04-17
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-17
Eddie Hung
Optimise
tree
|
commitdiff
2019-04-16
Eddie Hung
CIs before PIs; also sort each cell's connections befor...
tree
|
commitdiff
2019-04-16
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-16
Eddie Hung
Port from xc7mux branch
tree
|
commitdiff
2019-04-16
Eddie Hung
Fix wire numbering
tree
|
commitdiff
2019-04-16
Eddie Hung
Do not put constants into output_bits
tree
|
commitdiff
2019-04-16
Eddie Hung
Remove write_verilog call
tree
|
commitdiff
2019-04-16
Eddie Hung
Fix spacing
tree
|
commitdiff
2019-04-16
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-04-16
Eddie Hung
NULL check before use
tree
|
commitdiff
2019-04-16
Eddie Hung
WIP for box support
tree
|
commitdiff
2019-04-16
Eddie Hung
Use abc_box_id
tree
|
commitdiff
2019-04-16
Eddie Hung
Check abc_box_id attr
tree
|
commitdiff
2019-04-16
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-04-16
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-13
Eddie Hung
Output __const0__ and __const1__ CIs
tree
|
commitdiff
2019-04-13
Eddie Hung
Merge branch 'xaig' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-04-12
Eddie Hung
Merge branch 'xaig' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-04-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-12
Eddie Hung
ci_bits and co_bits now a list, order is important...
tree
|
commitdiff
2019-04-12
Eddie Hung
WIP
tree
|
commitdiff
2019-04-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-12
Eddie Hung
PI before CI
tree
|
commitdiff
2019-04-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-04-11
Eddie Hung
Merge remote-tracking branch 'origin/pmux2shiftx' into...
tree
|
commitdiff
2019-04-11
Eddie Hung
Merge remote-tracking branch 'origin/pmux2shiftx' into...
tree
|
commitdiff
2019-04-11
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-04-11
Eddie Hung
Add non-input bits driven by unrecognised cells as...
tree
|
commitdiff
2019-04-08
Eddie Hung
Merge branch 'master' into xaig
tree
|
commitdiff
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
tree
|
commitdiff
2019-02-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-02-26
Eddie Hung
write_xaiger to behave for undriven/unused inouts
tree
|
commitdiff
2019-02-26
Eddie Hung
write_xaiger duplicate inout port into out port with...
tree
|
commitdiff
2019-02-25
Eddie Hung
Cleanup abc9 code
tree
|
commitdiff
2019-02-22
Eddie Hung
write_xaiger to write __dummy_o__ for -symbols too
tree
|
commitdiff
2019-02-21
Eddie Hung
Add attribution
tree
|
commitdiff
2019-02-21
Eddie Hung
Merge branch 'read_aiger' into xaig
tree
|
commitdiff
2019-02-21
Eddie Hung
Merge branch 'read_aiger' into xaig
tree
|
commitdiff
2019-02-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-02-21
Eddie Hung
write_xaiger to use original bit for co, not sigmap...
tree
|
commitdiff
2019-02-21
Eddie Hung
Merge branch 'clifford/dffsrfix' of https://github...
tree
|
commitdiff
2019-02-21
Eddie Hung
Remove swap file
tree
|
commitdiff
2019-02-20
Eddie Hung
write_aiger: fix CI/CO and symbols
tree
|
commitdiff
2019-02-20
Eddie Hung
write_xaiger to not write latches, CO/PO fixes
tree
|
commitdiff
2019-02-19
Eddie Hung
Merge branch 'master' into xaig
tree
|
commitdiff
2019-02-17
Eddie Hung
Cleanup
tree
|
commitdiff
2019-02-17
Eddie Hung
Cleanup
tree
|
commitdiff
2019-02-17
Eddie Hung
write_xaiger to support non-bit cell connections, and...
tree
|
commitdiff
2019-02-17
Eddie Hung
write_aiger -O to write dummy output as __dummy_o__
tree
|
commitdiff
next