projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / examples /
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3186 from nakengelhardt/smtbmc_sby_... tree | commitdiff
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn tree | commitdiff
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-07-01 Alberto Gonzalezglift: Use `qbfsat -O2` instead of manually calling... tree | commitdiff
2020-07-01 Alberto Gonzalezglift: Change command names to better represent their... tree | commitdiff
2020-07-01 Alberto Gonzalezglift: Add `-create-imprecise` command, rename other... tree | commitdiff
2020-07-01 Alberto Gonzalezglift: Add examples, including a number of benchmarks... tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... tree | commitdiff
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate tree | commitdiff
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings tree | commitdiff
2020-04-02 Eddie Hungkernel: use more ID::* tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s... tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu tree | commitdiff
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-19 N. EngelhardtMerge pull request #1774 from boqwxp/exec tree | commitdiff
2020-03-17 Eddie HungMerge pull request #1769 from boqwxp/select_cleanup tree | commitdiff
2020-03-16 Claire WolfMerge pull request #1771 from waldyrious/license-update tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1768 from boqwxp/smt2_cleanup tree | commitdiff
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization tree | commitdiff
2020-03-13 Alberto GonzalezAdd support for optimizing exists-forall problems. tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-11-27 Clifford WolfMerge pull request #1501 from YosysHQ/dave/mem_copy_attr tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys 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-16 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-11-11 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-09-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-09-04 Pepijn de Vosset undriven pads to zero tree | commitdiff
2019-09-04 Pepijn de Vosfix tcl script tree | commitdiff
2019-09-04 Pepijn de Vosadd broken TCL run script tree | commitdiff
2019-09-04 Pepijn de VosMerge remote-tracking branch 'diego/gowin' tree | commitdiff
2019-09-04 Pepijn de VosAdd demonstration of breakage tree | commitdiff
2019-09-04 Pepijn de VosUpdate example for GW1NR-9 tree | commitdiff
2019-08-30 Eddie HungMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-08-30 David ShahMerge branch 'master' into xc7dsp tree | commitdiff
2019-08-29 SergeyMerge pull request #3 from YosysHQ/Sergey/tests_ice40 tree | commitdiff
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/clifford/async2syn... tree | commitdiff
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-28 David ShahMerge pull request #1332 from YosysHQ/dave/ecp5gsr tree | commitdiff
2019-08-27 Clifford WolfMerge pull request #1325 from YosysHQ/eddie/sat_init tree | commitdiff
2019-08-27 Eddie HungMerge pull request #1292 from YosysHQ/mwk/xilinx_bufgmap tree | commitdiff
2019-08-26 Eddie HungMerge branch 'master' into mwk/xilinx_bufgmap tree | commitdiff
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' tree | commitdiff
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue tree | commitdiff
2019-08-23 Eddie HungMerge branch 'master' into mwk/xilinx_bufgmap tree | commitdiff
2019-08-23 Eddie HungMerge branch 'master' into mwk/xilinx_bufgmap tree | commitdiff
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff tree | commitdiff
2019-08-16 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... tree | commitdiff
2019-08-12 Marcin KościelnickiAdd clock buffer insertion pass, improve iopadmap. tree | commitdiff
2019-08-07 Jim LawsonMerge branch 'master' into firrtl_err_on_unsupported_cell tree | commitdiff
2019-08-06 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-01 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-07-30 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-07-25 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-07-25 Clifford WolfMerge branch 'ZirconiumX-synth_intel_m9k' tree | commitdiff
2019-07-25 Clifford WolfMerge pull request #1218 from ZirconiumX/synth_intel_iopads tree | commitdiff
2019-07-25 Clifford WolfMerge pull request #1219 from jakobwenzel/objIterator tree | commitdiff
2019-07-25 Eddie HungMerge pull request #1224 from YosysHQ/xilinx_fix_ff tree | commitdiff
2019-07-24 Eddie HungMerge pull request #1222 from koriakin/s6-example tree | commitdiff
2019-07-24 Marcin KościelnickiAdd a simple example for Spartan 6 tree | commitdiff
2019-07-18 Dan Ravensloftsynth_intel: revert change to run_max10 tree | commitdiff
2019-07-18 Ben Widawskyintel_synth: Small code cleanup to remove if ladder tree | commitdiff
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master tree | commitdiff
2019-04-30 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/xc7srl' into xc7mux tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #905 from christian-krieg/feature... tree | commitdiff
2019-04-08 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-04-03 Benedikt TutzerAdded cell_stats example tree | commitdiff
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-03-14 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit tree | commitdiff
next