projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff
[yosys.git] / backends /
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungMerge branch 'master' into xaig_dff 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
2019-10-02 Clifford WolfFix btor back-end to use "state" instead of "input... tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/efinix tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/anlogic tree | commitdiff
2019-10-01 Eddie HungNo need to punch ports at all tree | commitdiff
2019-09-30 Eddie HungRemove need for $currQ port connection tree | commitdiff
2019-09-30 Eddie HungCleanup tree | commitdiff
2019-09-30 Eddie HungMerge branch 'SergeyDegtyar/ecp5' of https://github... tree | commitdiff
2019-09-30 Eddie HungUse a cell_cache to instantiate once rather than opt_me... tree | commitdiff
2019-09-30 Eddie Hungscc call on active module module only, plus cleanup tree | commitdiff
2019-09-30 Eddie HungUse derived module tree | commitdiff
2019-09-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-30 whitequarkMerge pull request #1406 from whitequark/connect_rpc tree | commitdiff
2019-09-30 Eddie HungMerge pull request #1397 from btut/fix/python_wrappers_... tree | commitdiff
2019-09-30 Miodrag MilanovićMerge pull request #1416 from YosysHQ/mmicko/frontend_b... tree | commitdiff
2019-09-30 Clifford WolfMerge pull request #1412 from YosysHQ/eddie/equiv_opt_a... tree | commitdiff
2019-09-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-30 Eddie HungMerge pull request #1414 from hzeller/improve-replace... tree | commitdiff
2019-09-29 Eddie HungMerge pull request #1359 from YosysHQ/xc7dsp tree | commitdiff
2019-09-29 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-29 Miodrag MilanovićMerge pull request #1413 from YosysHQ/mmicko/backend_bi... tree | commitdiff
2019-09-29 Clifford WolfMerge pull request #1411 from aman-goel/YosysHQ-master tree | commitdiff
2019-09-29 Eddie HungBig rework; flop info now mostly in cells_sim.v tree | commitdiff
2019-09-28 Miodrag MilanovicAdd aiger and protobuf backends binary support tree | commitdiff
2019-09-28 Miodrag MilanovicSupport binary files for backends, fixes #1407 tree | commitdiff
2019-09-28 Eddie HungUse abc_mergeability attr for "r" extension tree | commitdiff
next