projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
xilinx: Add models for LUTRAM cells. (#1537)
[yosys.git] / backends /
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 HungRevert "Fold loop" 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 Hunglatch -> box 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-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 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-05 Eddie HungMerge branch 'master' into 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 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-09-30 Eddie HungMerge branch 'SergeyDegtyar/ecp5' of https://github... 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 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 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-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-27 Aman GoelCorrects btor2 backend tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-09-25 Eddie HungMerge pull request #1401 from SergeyDegtyar/SergeyDegty... tree | commitdiff
2019-09-24 Eddie Hung"abc_padding" attr for blackbox outputs that were padde... tree | commitdiff
2019-09-24 Eddie HungForce $inout.out ports to begin with '$' to indicate... tree | commitdiff
2019-09-23 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-22 whitequarkwrite_verilog: do not print (*init*) attributes on... tree | commitdiff
2019-09-20 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-19 Eddie HungMerge remote-tracking branch 'origin/clifford/fix1381... tree | commitdiff
2019-09-19 Eddie HungWhen two boxes connect to each other, need not be a... tree | commitdiff
2019-09-18 Eddie HungMerge pull request #1355 from YosysHQ/eddie/peepopt_dff... tree | commitdiff
2019-09-18 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-18 Eddie HungMerge pull request #1379 from mmicko/sim_models tree | commitdiff
2019-09-18 Clifford WolfAdd "write_aiger -L" tree | commitdiff
2019-09-18 Clifford WolfFix stupid bug in btor back-end tree | commitdiff
2019-09-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-11 David ShahMerge pull request #1362 from xobs/smtbmc-msvc2-build... tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-08 Sean Crossbackends: smt2: use $(CXX) variable for compiler tree | commitdiff
2019-09-07 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-09-05 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-05 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-05 Eddie HungMerge pull request #1312 from YosysHQ/xaig_arrival tree | commitdiff
2019-09-04 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-09-04 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-04 Pepijn de VosMerge remote-tracking branch 'diego/gowin' tree | commitdiff
2019-09-04 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-09-03 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-09-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-09-02 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-09-02 Eddie HungRecognise built-in types (e.g. $_DFF_*) tree | commitdiff
2019-08-31 Eddie HungRecognise built-in types (e.g. $_DFF_*) tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-30 Eddie HungMerge branch 'eddie/xilinx_srl' into xaig_arrival tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
next