projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/master' into xaig_dff
[yosys.git] / backends /
2019-12-07 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff 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
2019-11-27 Clifford WolfMerge pull request #1534 from YosysHQ/mwk/opt_share-fix tree | commitdiff
2019-11-27 Eddie HungMerge pull request #1535 from YosysHQ/eddie/write_xaige... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/write_xaiger... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie Hunglatch -> box tree | commitdiff
2019-11-27 Eddie HungMerge branch 'master' into xaig_dff tree | commitdiff
2019-11-27 Eddie HungFold loop tree | commitdiff
2019-11-27 Eddie HungDo not sigmap keep bits inside write_xaiger tree | commitdiff
2019-11-27 Eddie Hungxaiger: do not promote output wires tree | commitdiff
2019-11-27 Eddie Hungxaiger: do not promote output wires tree | commitdiff
2019-11-25 Eddie HungFold loop tree | commitdiff
2019-11-25 Eddie HungDo not sigmap keep bits inside write_xaiger tree | commitdiff
2019-11-25 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge branch 'xaig_dff' of github.com:YosysHQ/yosys... tree | commitdiff
2019-11-23 Eddie HungMerge pull request #1505 from YosysHQ/eddie/xaig_dff_adff tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie Hungwrite_xaiger back to working with whole modules only tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-11-22 Eddie HungRevert "write_xaiger to not use module POs but only... tree | commitdiff
2019-11-22 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-11-22 Eddie Hungwrite_xaiger to not use module POs but only write outpu... tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/xaig_dff_adff' into xaig_dff tree | commitdiff
2019-11-20 Eddie Hungabc9 to support async flops $_DFF_[NP][NP][01]_ tree | commitdiff
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-19 Clifford WolfMerge pull request #1449 from pepijndevos/gowin tree | commitdiff
2019-11-18 Clifford WolfMerge pull request #1497 from YosysHQ/mwk/extract-fa-fix tree | commitdiff
2019-11-18 whitequarkMerge pull request #1494 from whitequark/write_verilog... tree | commitdiff
2019-11-18 whitequarkwrite_verilog: add -extmem option, to write split memor... tree | commitdiff
2019-11-16 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1490 from YosysHQ/clifford/autoname tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1444 from btut/feature/python_wrapp... tree | commitdiff
2019-11-14 Clifford WolfMerge pull request #1465 from YosysHQ/dave/ice40_timing_sim tree | commitdiff
2019-11-14 Clifford WolfMerge branch 'makaimann-label-bads-btor' tree | commitdiff
2019-11-14 Clifford WolfUse cell name for btor bad state props when it is a... tree | commitdiff
2019-11-14 Clifford WolfMerge branch 'label-bads-btor' of https://github.com... tree | commitdiff
2019-11-12 Makai MannAdd an info string symbol for bad states in btor backend tree | commitdiff
2019-11-11 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-11-10 Clifford WolfMerge pull request #1470 from YosysHQ/clifford/subpassdoc tree | commitdiff
2019-11-04 Clifford WolfFix write_aiger bug added in 524af21 tree | commitdiff
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-22 Clifford WolfBugfix in smtio vcd handling of $-identifiers tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into mmicko/efinix tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into mmicko/anlogic tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into eddie/pr1352 tree | commitdiff
2019-10-14 Clifford WolfUse "(id)" instead of "id" for types as temporary hack tree | commitdiff
2019-10-08 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-08 Eddie HungMerge pull request #1432 from YosysHQ/eddie/fix1427 tree | commitdiff
2019-10-08 Eddie HungMerge pull request #1433 from YosysHQ/eddie/equiv_opt_a... tree | commitdiff
2019-10-08 Eddie HungMerge pull request #1437 from YosysHQ/eddie/abc_to_abc9 tree | commitdiff
2019-10-07 Eddie HungRename $currQ to $abc9_currQ tree | commitdiff
2019-10-07 Eddie HungGet rid of latch_* in write_xaiger tree | commitdiff
2019-10-07 Eddie HungRemove "write_xaiger -zinit" tree | commitdiff
2019-10-07 Eddie HungAdd comment on default flop init tree | commitdiff
2019-10-07 Eddie HungGet rid of output_port lookup tree | commitdiff
2019-10-06 Eddie HungDo not require changes to cells_sim.v; try and work... tree | commitdiff
2019-10-05 Eddie HungError if $currQ not found tree | commitdiff
2019-10-05 Eddie HungMerge branch 'master' into eddie/abc_to_abc9 tree | commitdiff
2019-10-05 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-05 Eddie HungFix merge issues tree | commitdiff
2019-10-04 Eddie HungMerge remote-tracking branch 'origin/eddie/abc_to_abc9... tree | commitdiff
2019-10-04 Eddie HungRename abc_* names/attributes to more precisely be... tree | commitdiff
2019-10-04 Miodrag MilanovicMerge branch 'SergeyDegtyar/efinix' of https://github... tree | commitdiff
2019-10-04 Miodrag MilanovicMerge branch 'SergeyDegtyar/anlogic' of https://github... tree | commitdiff
2019-10-03 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-03 Clifford WolfChange smtbmc "Warmup failed" status to "PREUNSAT" tree | commitdiff
2019-10-03 Clifford WolfMerge pull request #1419 from YosysHQ/eddie/lazy_derive tree | commitdiff
2019-10-03 Clifford WolfMerge pull request #1422 from YosysHQ/eddie/aigmap_select tree | commitdiff
2019-10-03 Clifford WolfMerge pull request #1429 from YosysHQ/clifford/checkmapped tree | commitdiff
2019-10-03 David ShahMerge pull request #1425 from YosysHQ/dave/ecp5_pdp16 tree | commitdiff
2019-10-03 Eddie HungMerge pull request #1423 from YosysHQ/eddie/techmap_rep... tree | commitdiff
2019-10-02 Clifford WolfMerge pull request #1428 from YosysHQ/clifford/fixbtor tree | commitdiff
next