git.libre-soc.org Git - yosys.git/history

[yosys.git] / backends / aiger / xaiger.cc

2019-06-12	Eddie Hung	Cleanup write_xaiger	blob \| commitdiff \| raw
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
2019-04-17	Eddie Hung	Remove init* from xaiger, also topo-sort cells for...	blob \| commitdiff \| raw \| diff to current
2019-04-17	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-17	Eddie Hung	Optimise	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	CIs before PIs; also sort each cell's connections befor...	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Port from xc7mux branch	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Fix wire numbering	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Do not put constants into output_bits	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Remove write_verilog call	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Fix spacing	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Merge branch 'xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	NULL check before use	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	WIP for box support	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Use abc_box_id	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Check abc_box_id attr	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Merge branch 'xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-04-16	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-13	Eddie Hung	Output __const0__ and __const1__ CIs	blob \| commitdiff \| raw \| diff to current
2019-04-13	Eddie Hung	Merge branch 'xaig' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2019-04-12	Eddie Hung	Merge branch 'xaig' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2019-04-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-12	Eddie Hung	ci_bits and co_bits now a list, order is important...	blob \| commitdiff \| raw \| diff to current
2019-04-12	Eddie Hung	WIP	blob \| commitdiff \| raw \| diff to current
2019-04-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-12	Eddie Hung	PI before CI	blob \| commitdiff \| raw \| diff to current
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
next

RSS Atom