projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
PI before CI
[yosys.git]
/
backends
/
aiger
/
xaiger.cc
2019-04-12
Eddie Hung
PI before CI
blob
|
commitdiff
|
raw
2019-04-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-11
Eddie Hung
Merge remote-tracking branch 'origin/pmux2shiftx' into...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-11
Eddie Hung
Merge remote-tracking branch 'origin/pmux2shiftx' into...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-11
Eddie Hung
Merge branch 'xaig' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-04-11
Eddie Hung
Add non-input bits driven by unrecognised cells as...
blob
|
commitdiff
|
raw
|
diff to current
2019-04-08
Eddie Hung
Merge branch 'master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-02-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-02-26
Eddie Hung
write_xaiger to behave for undriven/unused inouts
blob
|
commitdiff
|
raw
|
diff to current
2019-02-26
Eddie Hung
write_xaiger duplicate inout port into out port with...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-25
Eddie Hung
Cleanup abc9 code
blob
|
commitdiff
|
raw
|
diff to current
2019-02-22
Eddie Hung
write_xaiger to write __dummy_o__ for -symbols too
blob
|
commitdiff
|
raw
|
diff to current
2019-02-21
Eddie Hung
Add attribution
blob
|
commitdiff
|
raw
|
diff to current
2019-02-21
Eddie Hung
Merge branch 'read_aiger' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-02-21
Eddie Hung
Merge branch 'read_aiger' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-02-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-02-21
Eddie Hung
write_xaiger to use original bit for co, not sigmap...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-21
Eddie Hung
Merge branch 'clifford/dffsrfix' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-20
Eddie Hung
write_aiger: fix CI/CO and symbols
blob
|
commitdiff
|
raw
|
diff to current
2019-02-20
Eddie Hung
write_xaiger to not write latches, CO/PO fixes
blob
|
commitdiff
|
raw
|
diff to current
2019-02-19
Eddie Hung
Merge branch 'master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-02-17
Eddie Hung
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-02-17
Eddie Hung
Cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-02-17
Eddie Hung
write_xaiger to support non-bit cell connections, and...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-17
Eddie Hung
write_aiger -O to write dummy output as __dummy_o__
blob
|
commitdiff
|
raw
|
diff to current
2019-02-16
Eddie Hung
Tidy up write_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2019-02-16
Eddie Hung
write_aiger() to perform CI/CO post-processing and...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-15
Eddie Hung
Fixes needed for DFF circuits
blob
|
commitdiff
|
raw
|
diff to current
2019-02-15
Eddie Hung
write_xaiger to cope with unknown cells by transforming...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-14
Eddie Hung
More cleanup
blob
|
commitdiff
|
raw
|
diff to current
2019-02-14
Eddie Hung
More cleanup of write_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2019-02-14
Eddie Hung
Get rid of formal stuff from xaiger backend
blob
|
commitdiff
|
raw
|
diff to current
2019-02-13
Eddie Hung
Merge remote-tracking branch 'origin/read_aiger' into...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-13
Eddie Hung
Merge https://github.com/YosysHQ/yosys into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-02-11
Eddie Hung
Add write_xaiger
blob
|
commitdiff
|
raw
|
diff to current
2019-02-08
Eddie Hung
Copy backends/aiger/aiger.cc to xaiger.cc
blob
|
commitdiff
|
raw
|
diff to current