git.libre-soc.org Git - yosys.git/history

2022-05-25	Jacob Lifshay	Merge branch 'divfloor-in-write_smt2' into smtlib2... smtlib2-expr-support-old	blob \| commitdiff \| raw
2022-05-18	Marcelina Kościelnicka	Add memory_libmap pass.	blob \| commitdiff \| raw \| diff to current
2022-05-18	Jacob Lifshay	add $smtlib2_expr	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw \| diff to current
2021-11-25	Lofty	sta: very crude static timing analysis pass	blob \| commitdiff \| raw \| diff to current
2021-10-26	Zachary Snow	verilog: use derived module info to elaborate cell...	blob \| commitdiff \| raw \| diff to current
2021-10-02	Marcelina Kościelnicka	Add $aldff and $aldffe: flip-flops with async load.	blob \| commitdiff \| raw \| diff to current
2021-08-11	Marcelina Kościelnicka	Add v2 memory cells.	blob \| commitdiff \| raw \| diff to current
2020-11-25	Claire Xen	Merge pull request #2133 from dh73/nodev_head	blob \| commitdiff \| raw \| diff to current
2020-11-24	Miodrag Milanović	Merge pull request #2295 from epfl-vlsc/firrtl_blackbox...	blob \| commitdiff \| raw \| diff to current
2020-08-19	clairexen	Merge pull request #2122 from PeterCrozier/struct_array2	blob \| commitdiff \| raw \| diff to current
2020-08-18	clairexen	Merge pull request #2281 from zachjs/const-real	blob \| commitdiff \| raw \| diff to current
2020-07-23	clairexen	Merge pull request #2285 from YosysHQ/mwk/techmap-cellname	blob \| commitdiff \| raw \| diff to current
2020-07-21	Marcelina Kościelnicka	techmap: Add _TECHMAP_CELLNAME_ special parameter.	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2132 from YosysHQ/eddie/verific_initial	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #2179 from splhack/static-cast	blob \| commitdiff \| raw \| diff to current
2020-06-25	clairexen	Merge pull request #2168 from whitequark/assert-unused...	blob \| commitdiff \| raw \| diff to current
2020-06-25	clairexen	Merge pull request #2135 from boqwxp/qbfsat-timeinfo	blob \| commitdiff \| raw \| diff to current
2020-06-25	clairexen	Merge pull request #2093 from boqwxp/qbfsat-bugfixes	blob \| commitdiff \| raw \| diff to current
2020-06-23	clairexen	Merge pull request #1818 from YosysHQ/mwk/new-ff-types	blob \| commitdiff \| raw \| diff to current
2020-06-23	Marcelina Kościelnicka	Add new builtin FF types	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2085 from rswarbrick/select	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2089 from rswarbrick/modports	blob \| commitdiff \| raw \| diff to current
2020-06-04	clairexen	Merge pull request #2099 from Xiretza/manual-include...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eddie Hung	Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...	blob \| commitdiff \| raw \| diff to current
2020-06-04	whitequark	Merge pull request #2006 from jersey99/signed-in-rtlil...	blob \| commitdiff \| raw \| diff to current
2020-06-04	N. Engelhardt	Merge pull request #2070 from hackfin/master	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eddie Hung	Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop	blob \| commitdiff \| raw \| diff to current
2020-06-03	Peter Crozier	Merge branch 'master' into struct	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eddie Hung	Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...	blob \| commitdiff \| raw \| diff to current
2020-05-31	clairexen	Merge pull request #1862 from boqwxp/cleanup_techmap	blob \| commitdiff \| raw \| diff to current
2020-05-29	clairexen	Merge pull request #2029 from whitequark/fix-simplify...	blob \| commitdiff \| raw \| diff to current
2020-05-29	whitequark	Merge pull request #2033 from boqwxp/cleanup-verilog...	blob \| commitdiff \| raw \| diff to current
2020-05-28	whitequark	Merge pull request #2051 from Xiretza/makefile-cd-warning	blob \| commitdiff \| raw \| diff to current
2020-05-28	whitequark	Merge pull request #2031 from epfl-vlsc/master	blob \| commitdiff \| raw \| diff to current
2020-05-28	whitequark	Merge pull request #2063 from boqwxp/techmapped-firrtl	blob \| commitdiff \| raw \| diff to current
2020-05-25	clairexen	Merge pull request #2015 from boqwxp/qbfsat-bisection	blob \| commitdiff \| raw \| diff to current
2020-05-21	Eddie Hung	Merge pull request #2057 from YosysHQ/eddie/fix_task_attr	blob \| commitdiff \| raw \| diff to current
2020-05-21	Miodrag Milanović	Merge pull request #2059 from boqwxp/logger-vector...	blob \| commitdiff \| raw \| diff to current
2020-05-20	N. Engelhardt	Merge pull request #2046 from PeterCrozier/trap	blob \| commitdiff \| raw \| diff to current
2020-05-20	N. Engelhardt	Merge pull request #2054 from boqwxp/fix-smtbmc	blob \| commitdiff \| raw \| diff to current
2020-05-18	Marcelina Kościelnicka	Add force_downto and force_upto wire attributes.	blob \| commitdiff \| raw \| diff to current
2020-05-18	Eddie Hung	Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	abc9: use (* abc9_keep ) instead of ( abc9_scc *...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	techmap: prefix special wires with backslash for use...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	abc9_ops: fix bypass boxes using (* abc9_bypass *)	blob \| commitdiff \| raw \| diff to current
2020-05-14	Claire Wolf	Merge pull request #2027 from YosysHQ/eddie/verilog_neg...	blob \| commitdiff \| raw \| diff to current
2020-05-08	whitequark	Merge pull request #2022 from Xiretza/fallthroughs	blob \| commitdiff \| raw \| diff to current
2020-05-07	Claire Wolf	Merge pull request #2005 from YosysHQ/claire/fix1990	blob \| commitdiff \| raw \| diff to current
2020-05-06	Eddie Hung	Merge pull request #2028 from zachjs/master	blob \| commitdiff \| raw \| diff to current
2020-05-05	Eddie Hung	Merge pull request #2025 from YosysHQ/eddie/frontend_cl...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Eddie Hung	frontend: cleanup to use more ID::*, more dict<> instea...	blob \| commitdiff \| raw \| diff to current
2020-05-03	whitequark	Merge pull request #2000 from whitequark/log_error...	blob \| commitdiff \| raw \| diff to current
2020-05-02	Claire Wolf	Add "nowrshmsk" attribute, fix shift-and-mask bit slice...	blob \| commitdiff \| raw \| diff to current
2020-05-01	Claire Wolf	Merge pull request #1997 from whitequark/document-ootb	blob \| commitdiff \| raw \| diff to current
2020-05-01	Claire Wolf	Merge pull request #1981 from YosysHQ/claire/fix1837	blob \| commitdiff \| raw \| diff to current
2020-04-30	Eddie Hung	Merge pull request #1999 from YosysHQ/eddie/verific_enu...	blob \| commitdiff \| raw \| diff to current
2020-04-30	whitequark	Merge pull request #2008 from whitequark/editorconfig-abc	blob \| commitdiff \| raw \| diff to current
2020-04-27	Eddie Hung	Merge pull request #1946 from YosysHQ/eddie/yosyshq_abc	blob \| commitdiff \| raw \| diff to current
2020-04-27	Eddie Hung	Merge pull request #1992 from YosysHQ/eddie/bugpoint_help	blob \| commitdiff \| raw \| diff to current
2020-04-24	whitequark	Merge pull request #1998 from whitequark/cxxrtl-fixes	blob \| commitdiff \| raw \| diff to current
2020-04-24	Eddie Hung	bugpoint: (* keep ) to ( bugpoint_keep *); also apply...	blob \| commitdiff \| raw \| diff to current
2020-04-24	Claire Wolf	Merge pull request #1995 from YosysHQ/eddie/fix_verific...	blob \| commitdiff \| raw \| diff to current
2020-04-23	Eddie Hung	verific: do not assert if wire not found; warn instead	blob \| commitdiff \| raw \| diff to current
2020-04-15	N. Engelhardt	Merge pull request #1830 from boqwxp/qbfsat	blob \| commitdiff \| raw \| diff to current
2020-04-10	whitequark	Merge pull request #1603 from whitequark/ice40-ram_style	blob \| commitdiff \| raw \| diff to current
2020-04-08	Sahand Kashani	Merge branch 'master' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2020-04-07	Claire Wolf	Merge pull request #1814 from YosysHQ/mmicko/pyosys_mak...	blob \| commitdiff \| raw \| diff to current
2020-04-06	whitequark	Merge pull request #1859 from boqwxp/design_duplicate	blob \| commitdiff \| raw \| diff to current
2020-04-03	Eddie Hung	Merge pull request #1648 from YosysHQ/eddie/cmp2lcu	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1853 from YosysHQ/eddie/fix_dynslice	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1767 from YosysHQ/eddie/idstrings	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	kernel: big fat patch to use more ID::*, otherwise...	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	kernel: Use constids.inc for global/constant IdStrings	blob \| commitdiff \| raw \| diff to current

RSS Atom