projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / misc /
2022-03-30 Miodrag MilanovićMerge pull request #3250 from YosysHQ/micko/verific_con... tree | commitdiff
2022-03-28 Jannis HarderMerge pull request #3247 from jix/smtbmc-keepgoing tree | commitdiff
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-03-28 LoftyMerge pull request #3246 from YosysHQ/gatecat/timing... tree | commitdiff
2022-03-28 Miodrag MilanovićUpdate URL to zlib 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
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim tree | commitdiff
2022-02-02 Miodrag MilanovicFix Visual Studio build tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-09 Claire Xenia WolfUse HTTPS for website links, gatecat email tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2021-03-07 whitequarkMerge pull request #2626 from zachjs/param-no-default tree | commitdiff
2021-03-07 whitequarkMerge pull request #2632 from zachjs/width-limit tree | commitdiff
2021-03-06 Marcelina KościelnickaRemove a few functions that, in fact, did not exist... 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 clairexenMerge pull request #2179 from splhack/static-cast tree | commitdiff
2020-06-25 clairexenMerge pull request #2168 from whitequark/assert-unused... tree | commitdiff
2020-06-25 clairexenMerge pull request #2135 from boqwxp/qbfsat-timeinfo tree | commitdiff
2020-06-25 clairexenMerge pull request #2093 from boqwxp/qbfsat-bugfixes tree | commitdiff
2020-06-22 whitequarkMerge pull request #2181 from whitequark/minisat-wasm... tree | commitdiff
2020-06-21 whitequarkMerge pull request #2180 from Xiretza/pyosys-override tree | commitdiff
2020-06-21 Xiretzapyosys: Use C++11 override keyword for bindings tree | commitdiff
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select tree | commitdiff
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports tree | commitdiff
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten... tree | commitdiff
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix... tree | commitdiff
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct tree | commitdiff
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include... tree | commitdiff
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im... tree | commitdiff
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil... tree | commitdiff
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master tree | commitdiff
2020-05-19 MartinMerge branch 'master' of https://github.com/hackfin... tree | commitdiff
2020-05-19 Martinidict handling in wrapper tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966 tree | commitdiff
2020-04-22 Eddie Hungyosys-config: spelling tree | commitdiff
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc tree | commitdiff
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl tree | commitdiff
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_... tree | commitdiff
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix tree | commitdiff
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat tree | commitdiff
2020-04-14 whitequarkMerge pull request #1879 from jjj11x/jjj11x/package_decl tree | commitdiff
2020-04-14 whitequarkMerge pull request #1880 from jjj11x/duplicate_enum tree | commitdiff
2020-04-13 whitequarkMerge pull request #1910 from boqwxp/cleanup_ilang_parser tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-10 Miodrag MilanovićMerge pull request #1893 from mmicko/program_prefix tree | commitdiff
2020-04-10 Miodrag MilanovicSupport custom PROGRAM_PREFIX tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile tree | commitdiff
2020-03-03 N. EngelhardtMerge pull request #1691 from ZirconiumX/use-flowmap... tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1681 from YosysHQ/eddie/fix1663 tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1519 from YosysHQ/eddie/submod_po tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-13 Claire WolfMerge pull request #1694 from rqou/json_compat_fix tree | commitdiff
2020-02-13 N. EngelhardtMerge pull request #1679 from thasti/delay-parsing tree | commitdiff
2020-02-10 Eddie HungMerge pull request #1670 from rodrigomelo9/master tree | commitdiff
2020-02-10 N. EngelhardtMerge pull request #1669 from thasti/pyosys-attrs tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init tree | commitdiff
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required tree | commitdiff
2020-02-03 Stefan Biereigelremove namespace mention from inheritance information tree | commitdiff
2020-02-03 Stefan Biereigelexpose polymorphism through python wrappers tree | commitdiff
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf tree | commitdiff
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... tree | commitdiff
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po tree | commitdiff
2020-01-30 Stefan Biereigeladd inheritance for pywrap generators tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69 tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1662 from YosysHQ/dave/opt-reduce... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1665 from YosysHQ/clifford/edifkeep tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1659 from YosysHQ/clifford/experimental tree | commitdiff
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-11-21 Patrick Eiblhandle anonymous unions to fix #1080 tree | commitdiff
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff 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-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-15 Benedikt TutzerMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-09 Benedikt TutzerFix renaming all classes to Cpp* tree | commitdiff
2019-10-09 Benedikt TutzerExpose global variables and allow logging to python... 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 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
next