projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
pass metadata: removed superfluous `stringf` calls
[yosys.git] / backends / aiger /
2020-01-06 Eddie HungStray log_module tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie HungRevert "write_xaiger to pad, not abc9_ops -prep_holes" tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2020-01-06 Eddie Hungwrite_xaiger: make more robust, update doc tree | commitdiff
2020-01-06 Eddie Hungwrite_aiger: make more robust tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-05 Eddie Hungwrite_xaiger to pad, not abc9_ops -prep_holes tree | commitdiff
2020-01-04 Eddie HungFix when -dff not given tree | commitdiff
2020-01-03 Eddie HungCall -prep_holes before aigmap; fix topo ordering tree | commitdiff
2020-01-03 Eddie HungWIP tree | commitdiff
2020-01-03 Eddie HungPreserve topo ordering from -prep_holes to write_xaiger tree | commitdiff
2020-01-03 Eddie HungWIP tree | commitdiff
2020-01-03 Eddie HungWIP tree | commitdiff
2020-01-03 Eddie HungRestore write_xaiger's holes_mode since port_id order... tree | commitdiff
2020-01-03 N. EngelhardtMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-01-03 Eddie HungCleanup tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2020-01-02 Eddie Hungwrite_xaiger: get rid of external_bits dict tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-02 Eddie Hungabc9 -keepff -> -dff; refactor dff operations tree | commitdiff
2020-01-01 Eddie HungGet rid of (* abc9_keep *) in write_xaiger too tree | commitdiff
2020-01-01 Eddie Hungattributes.count() -> get_bool_attribute() tree | commitdiff
2020-01-01 Eddie Hungparse_xaiger to not take box_lookup tree | commitdiff
2020-01-01 Eddie HungDo not re-order carry chain ports, just precompute... tree | commitdiff
2019-12-31 Eddie Hungwrite_xaiger: be more precise with ff_bits, remove... tree | commitdiff
2019-12-31 Eddie HungRetry getting rid of write_xaiger's holes_mode tree | commitdiff
2019-12-31 Eddie HungRevert "Get rid of holes_mode" tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-12-31 Eddie HungGet rid of holes_mode tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-12-31 Eddie HungMove Pass::call() out of abc9_ops into abc9 tree | commitdiff
2019-12-31 Eddie HungCleanup tree | commitdiff
2019-12-31 Eddie HungRid unnecessary if tree | commitdiff
2019-12-31 Eddie HungGet rid of holes_mode tree | commitdiff
2019-12-31 Eddie HungAdd abc9_ops -prep_holes tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-12-30 Eddie Hungwrite_xaiger to use scratchpad for stats; cleanup abc9 tree | commitdiff
2019-12-30 Eddie HungRemove unused tree | commitdiff
2019-12-30 Eddie HungCall "proc" if processes inside whiteboxes tree | commitdiff
2019-12-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-30 Eddie HungAdd "synth_xilinx -dff" option, cleanup abc9 tree | commitdiff
2019-12-30 Miodrag MilanovićMerge pull request #1589 from YosysHQ/iopad_default tree | commitdiff
2019-12-30 Eddie HungMerge pull request #1599 from YosysHQ/eddie/retry_1588 tree | commitdiff
2019-12-28 Miodrag MilanovicMerge remote-tracking branch 'origin/master' into iopad... tree | commitdiff
2019-12-28 Eddie Hungwrite_xaiger: inherit port ordering from original module tree | commitdiff
2019-12-28 Eddie HungRevert "Merge pull request #1598 from YosysHQ/revert... tree | commitdiff
2019-12-27 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-12-27 Eddie Hungwrite_xaiger: simplify c{i,o}_bits tree | commitdiff
2019-12-27 Eddie Hungwrite_xaiger: simplify c{i,o}_bits tree | commitdiff
2019-12-27 David ShahMerge pull request #1598 from YosysHQ/revert-1588-eddie... tree | commitdiff
2019-12-27 David ShahRevert "write_xaiger: only instantiate each whitebox... tree | commitdiff
2019-12-27 Eddie HungReally fix it! tree | commitdiff
2019-12-27 Eddie HungCope with abc9_arrival as string tree | commitdiff
2019-12-27 Eddie Hungwrite_xaiger: fix arrival times for non boxes tree | commitdiff
2019-12-23 Eddie Hungwrite_xaiger to opt instead of just clean whiteboxes tree | commitdiff
2019-12-20 Eddie HungMerge pull request #1588 from YosysHQ/eddie/xaiger_cleanup tree | commitdiff
2019-12-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie Hungwrite_xaiger: only instantiate each whitebox cell type... tree | commitdiff
2019-12-20 Eddie HungMerge pull request #1587 from YosysHQ/revert-1558-eddie... tree | commitdiff
2019-12-20 Eddie HungAdd $_FF_ and $_SR* courtesy of @mwkmwkmwk tree | commitdiff
2019-12-20 Eddie HungRevert "Optimise write_xaiger" tree | commitdiff
2019-12-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1581 from YosysHQ/clifford/fix1565 tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1558 from YosysHQ/eddie/xaiger_cleanup tree | commitdiff
2019-12-17 Eddie HungCleanup xaiger, remove unnecessary complexity with... tree | commitdiff
2019-12-17 Eddie HungDo not sigmap tree | commitdiff
2019-12-17 Eddie HungRevert "Use sigmap signal" tree | commitdiff
2019-12-17 Eddie HungUse sigmap signal tree | commitdiff
2019-12-16 Eddie HungSkip $inout transformation if not a PI tree | commitdiff
2019-12-16 Eddie HungRevert "write_xaiger: use sigmap bits more consistently" tree | commitdiff
2019-12-16 Eddie Hungwrite_xaiger: use sigmap bits more consistently tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-12-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-12 Diego HMerge https://github.com/YosysHQ/yosys into bram_xilinx tree | commitdiff
2019-12-07 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-07 Eddie HungStray newline tree | commitdiff
2019-12-07 Eddie Hungwrite_xaiger to inst each cell type once, do not call... tree | commitdiff
2019-12-07 Eddie HungFix writing non-whole modules, including inouts and... tree | commitdiff
2019-12-06 Eddie Hungwrite_xaiger to support part-selected modules again tree | commitdiff
2019-12-04 Eddie HungCleanup tree | commitdiff
2019-12-04 Eddie Hungwrite_xaiger to consume abc9_init attribute for abc9_flops tree | commitdiff
2019-12-03 Clifford WolfMerge pull request #1524 from pepijndevos/gowindffinit tree | commitdiff
2019-12-02 Clifford WolfMerge pull request #1539 from YosysHQ/mwk/ilang-bounds... tree | commitdiff
2019-11-29 Miodrag MilanovićMerge pull request #1540 from YosysHQ/mwk/xilinx-bufpll tree | commitdiff
2019-11-28 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-28 Eddie HungRevert "Fold loop" tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungAdd comment, use sigmap tree | commitdiff
2019-11-27 Eddie HungRevert "Fold loop" tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungMerge pull request #1536 from YosysHQ/eddie/xilinx_dsp_... tree | commitdiff
2019-11-27 Clifford WolfMerge pull request #1501 from YosysHQ/dave/mem_copy_attr tree | commitdiff
next