projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge remote-tracking branch 'origin/master' into xaig
[yosys.git]
/
backends
/
aiger
/
xaiger.cc
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
2019-06-22
Eddie Hung
Replace assert with error message
blob
|
commitdiff
|
raw
2019-06-22
Eddie Hung
Add log_push()/log_pop() inside write_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
One more workaround for gcc-4.8
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
No point logging constant bit
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
Move comment
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
Refactor bit2aig for less lookups
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
Fix gcc error, due to dict invalidation during recursion
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
write_xaiger to flatten 1'bx/1'bz to 1'b0 again
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
Fix different abc9 test
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
Fix broken abc9.v test due to inout being 1'bx
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
Handle COs driven by 1'bx
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Eddie Hung
write_xaiger to skip POs driven by 1'bx
blob
|
commitdiff
|
raw
|
diff to current
2019-06-16
Eddie Hung
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Leave breadcrumb behind
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Remove redundant condition
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Revert "Cleanup/optimise toposort in write_xaiger"
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Update comment
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Check that whiteboxes are synthesisable
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Get rid of compiler warnings
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Cover __APPLE__ too for little to big endian
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Further cleanup based on @daveshah1
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Resolve comments from @daveshah1
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Remove WIP ABC9 flop support
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Merge branch 'xaig' of github.com:YosysHQ/yosys into...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Merge pull request #1097 from YosysHQ/dave/xaig_ecp5
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Eddie Hung
Cleanup/optimise toposort in write_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
David Shah
ecp5: Add abc9 option
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Remove unnecessary undriven_bits.insert
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
write_xaiger to preserve POs even if driven by constant
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Add a couple more tests
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
More write_xaiger cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Cleanup write_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Consistency
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/xc7mux' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-06-11
Eddie Hung
Merge remote-tracking branch 'origin/eddie/shregmap_imp...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/eddie/shregmap_imp...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-06-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-06-06
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-06
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-05
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-06-05
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1065...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-04
Eddie Hung
Add log_assert to ensure no loops
blob
|
commitdiff
|
raw
|
diff to current
2019-06-04
Eddie Hung
Only toposort builtin and abc types
blob
|
commitdiff
|
raw
|
diff to current
2019-06-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-06-03
Eddie Hung
When creating new holes cell, inherit parameters too
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Eddie Hung
ABC9 to understand flops
blob
|
commitdiff
|
raw
|
diff to current
2019-05-31
Eddie Hung
Merge branch 'xaig' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-05-30
Eddie Hung
Fix issue where keep signal became PI, but also box...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-30
Eddie Hung
Do not re-sort box_module ports
blob
|
commitdiff
|
raw
|
diff to current
2019-05-30
Eddie Hung
Carry in/out to be the last input/output for chains...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-29
Eddie Hung
Fix abc_test024
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eddie Hung
Fix for abc9_test022
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eddie Hung
Small improvement
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eddie Hung
Map file to include boxes not CI/CO
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eddie Hung
Instantiate cell type (from sym file) otherwise 'clean...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eddie Hung
Add 'cinput' and 'coutput' to symbols file for boxes
blob
|
commitdiff
|
raw
|
diff to current
2019-05-26
Eddie Hung
Fix "a" connectivity
blob
|
commitdiff
|
raw
|
diff to current
2019-05-26
Eddie Hung
Fix padding, remove CIs from undriven_bits before erasi...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-26
Eddie Hung
Fix "a" extension
blob
|
commitdiff
|
raw
|
diff to current
2019-05-26
Eddie Hung
Fix "write_xaiger", and to write each box contents...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/opt_rmdff...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-21
Eddie Hung
Pad all boxes so that all input/output connections...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmgenstuf...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/split_shiftx...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-26
Eddie Hung
Merge branch 'eddie/split_shiftx' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-25
Eddie Hung
Remove topo sort no-loop assertion, with test
blob
|
commitdiff
|
raw
|
diff to current
2019-04-23
Eddie Hung
Fix abc9 with (* keep *) wires
blob
|
commitdiff
|
raw
|
diff to current
2019-04-23
Eddie Hung
Fix abc9 with (* keep *) wires
blob
|
commitdiff
|
raw
|
diff to current
2019-04-23
Eddie Hung
Merge branch 'xaig' of github.com:YosysHQ/yosys into...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-04-23
Eddie Hung
Revert "Temporarily remove 'r' extension"
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Eddie Hung
Merge branch 'xaig' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Eddie Hung
Temporarily remove 'r' extension
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/xc7srl' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Eddie Hung
Allow POs to be PIs in XAIG
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/clifford/libwb...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-21
Eddie Hung
Merge remote-tracking branch 'origin/clifford/libwb...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-04-19
Eddie Hung
Fixes for simple_abc9 tests
blob
|
commitdiff
|
raw
|
diff to current
2019-04-19
Eddie Hung
Do not assume inst_module is always present
blob
|
commitdiff
|
raw
|
diff to current
2019-04-19
Eddie Hung
ignore_boxes -> holes_mode
blob
|
commitdiff
|
raw
|
diff to current
2019-04-19
Eddie Hung
Add flop support for write_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2019-04-18
Eddie Hung
Use new -wb flag for ABC flow
blob
|
commitdiff
|
raw
|
diff to current
2019-04-18
Eddie Hung
Merge remote-tracking branch 'origin/clifford/whitebox...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-17
Eddie Hung
Fix $anyseq warning and cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-04-17
Eddie Hung
Cope with inout ports
blob
|
commitdiff
|
raw
|
diff to current
2019-04-17
Eddie Hung
Stop topological sort at abc_flop_q
blob
|
commitdiff
|
raw
|
diff to current
next