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

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

2019-12-16	Eddie Hung	Revert "write_xaiger: use sigmap bits more consistently"	blob \| commitdiff \| raw
2019-12-16	Eddie Hung	write_xaiger: use sigmap bits more consistently	blob \| commitdiff \| raw \| diff to current
2019-12-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw
2019-12-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw
2019-12-07	Eddie Hung	Fix writing non-whole modules, including inouts and...	blob \| commitdiff \| raw
2019-12-06	Eddie Hung	write_xaiger to support part-selected modules again	blob \| commitdiff \| raw \| diff to current
2019-12-04	Eddie Hung	Cleanup	blob \| commitdiff \| raw \| diff to current
2019-12-04	Eddie Hung	write_xaiger to consume abc9_init attribute for abc9_flops	blob \| commitdiff \| raw \| diff to current
2019-12-03	Clifford Wolf	Merge pull request #1524 from pepijndevos/gowindffinit	blob \| commitdiff \| raw \| diff to current
2019-12-02	Clifford Wolf	Merge pull request #1539 from YosysHQ/mwk/ilang-bounds...	blob \| commitdiff \| raw \| diff to current
2019-11-29	Miodrag Milanović	Merge pull request #1540 from YosysHQ/mwk/xilinx-bufpll	blob \| commitdiff \| raw \| diff to current
2019-11-28	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-28	Eddie Hung	Revert "Fold loop"	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Add comment, use sigmap	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Revert "Fold loop"	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge pull request #1536 from YosysHQ/eddie/xilinx_dsp_...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Clifford Wolf	Merge pull request #1501 from YosysHQ/dave/mem_copy_attr	blob \| commitdiff \| raw \| diff to current
2019-11-27	Clifford Wolf	Merge pull request #1534 from YosysHQ/mwk/opt_share-fix	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge pull request #1535 from YosysHQ/eddie/write_xaige...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge remote-tracking branch 'origin/eddie/write_xaiger...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge remote-tracking branch 'origin/eddie/clkpart...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	latch -> box	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Merge branch 'master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Fold loop	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	Do not sigmap keep bits inside write_xaiger	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	xaiger: do not promote output wires	blob \| commitdiff \| raw \| diff to current
2019-11-27	Eddie Hung	xaiger: do not promote output wires	blob \| commitdiff \| raw \| diff to current
2019-11-25	Eddie Hung	Fold loop	blob \| commitdiff \| raw \| diff to current
2019-11-25	Eddie Hung	Do not sigmap keep bits inside write_xaiger	blob \| commitdiff \| raw \| diff to current
2019-11-25	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/clkpart...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/clkpart...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/clkpart...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge branch 'xaig_dff' of github.com:YosysHQ/yosys...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge pull request #1505 from YosysHQ/eddie/xaig_dff_adff	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/clkpart...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/clkpart...	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	write_xaiger back to working with whole modules only	blob \| commitdiff \| raw \| diff to current
2019-11-23	Eddie Hung	Merge remote-tracking branch 'origin/eddie/submod_po...	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'eddie/clkpart' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'eddie/clkpart' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Revert "write_xaiger to not use module POs but only...	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge remote-tracking branch 'origin/xaig_dff' into...	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	write_xaiger to not use module POs but only write outpu...	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'eddie/xaig_dff_adff' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-20	Eddie Hung	abc9 to support async flops $_DFF_[NP][NP][01]_	blob \| commitdiff \| raw \| diff to current
2019-11-19	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-10-27	Clifford Wolf	Merge pull request #1393 from whitequark/write_verilog...	blob \| commitdiff \| raw \| diff to current
2019-10-21	Pepijn de Vos	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-10-18	Miodrag Milanović	Merge branch 'master' into mmicko/efinix	blob \| commitdiff \| raw \| diff to current
2019-10-18	Miodrag Milanović	Merge branch 'master' into mmicko/anlogic	blob \| commitdiff \| raw \| diff to current
2019-10-18	Miodrag Milanović	Merge branch 'master' into eddie/pr1352	blob \| commitdiff \| raw \| diff to current
2019-10-14	Clifford Wolf	Use "(id)" instead of "id" for types as temporary hack	blob \| commitdiff \| raw \| diff to current
2019-10-08	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-10-08	Eddie Hung	Merge pull request #1432 from YosysHQ/eddie/fix1427	blob \| commitdiff \| raw \| diff to current
2019-10-08	Eddie Hung	Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...	blob \| commitdiff \| raw \| diff to current
2019-10-08	Eddie Hung	Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9	blob \| commitdiff \| raw \| diff to current
2019-10-07	Eddie Hung	Rename $currQ to $abc9_currQ	blob \| commitdiff \| raw \| diff to current
2019-10-07	Eddie Hung	Get rid of latch_* in write_xaiger	blob \| commitdiff \| raw \| diff to current
2019-10-07	Eddie Hung	Remove "write_xaiger -zinit"	blob \| commitdiff \| raw \| diff to current
2019-10-07	Eddie Hung	Add comment on default flop init	blob \| commitdiff \| raw \| diff to current
2019-10-07	Eddie Hung	Get rid of output_port lookup	blob \| commitdiff \| raw \| diff to current
2019-10-06	Eddie Hung	Do not require changes to cells_sim.v; try and work...	blob \| commitdiff \| raw \| diff to current
2019-10-05	Eddie Hung	Error if $currQ not found	blob \| commitdiff \| raw \| diff to current
2019-10-05	Eddie Hung	Merge branch 'master' into eddie/abc_to_abc9	blob \| commitdiff \| raw \| diff to current
2019-10-05	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-10-05	Eddie Hung	Fix merge issues	blob \| commitdiff \| raw \| diff to current
2019-10-04	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc_to_abc9...	blob \| commitdiff \| raw \| diff to current
2019-10-04	Eddie Hung	Rename abc_* names/attributes to more precisely be...	blob \| commitdiff \| raw \| diff to current
2019-10-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/efinix	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/anlogic	blob \| commitdiff \| raw \| diff to current
2019-10-01	Eddie Hung	No need to punch ports at all	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Remove need for $currQ port connection	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Cleanup	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge branch 'SergeyDegtyar/ecp5' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Use a cell_cache to instantiate once rather than opt_me...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	scc call on active module module only, plus cleanup	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Use derived module	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-09-30	whitequark	Merge pull request #1406 from whitequark/connect_rpc	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge pull request #1397 from btut/fix/python_wrappers_...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Miodrag Milanović	Merge pull request #1416 from YosysHQ/mmicko/frontend_b...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Clifford Wolf	Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge pull request #1414 from hzeller/improve-replace...	blob \| commitdiff \| raw \| diff to current
2019-09-29	Eddie Hung	Merge pull request #1359 from YosysHQ/xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-09-29	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-09-29	Miodrag Milanović	Merge pull request #1413 from YosysHQ/mmicko/backend_bi...	blob \| commitdiff \| raw \| diff to current
2019-09-29	Eddie Hung	Big rework; flop info now mostly in cells_sim.v	blob \| commitdiff \| raw \| diff to current
2019-09-28	Miodrag Milanovic	Support binary files for backends, fixes #1407	blob \| commitdiff \| raw \| diff to current
2019-09-28	Eddie Hung	Use abc_mergeability attr for "r" extension	blob \| commitdiff \| raw \| diff to current
next

RSS Atom