git.libre-soc.org Git - yosys.git/history - frontends/ast/simplify.cc

[yosys.git] / frontends / ast / simplify.cc

2020-06-07	Peter Crozier	Support packed arrays in struct/union.	blob \| commitdiff \| raw
2020-06-05	whitequark	Merge pull request #2113 from whitequark/cxxrtl-fix...	blob \| commitdiff \| raw \| diff to current
2020-06-05	N. Engelhardt	Merge pull request #2109 from nakengelhardt/btor_intern...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Claire Wolf	Add latch detection for use_case_method in part-select...	blob \| commitdiff \| raw \| diff to current
2020-06-04	clairexen	Merge pull request #2041 from PeterCrozier/struct	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-30	Eddie Hung	Merge pull request #2081 from YosysHQ/eddie/blackbox_ast	blob \| commitdiff \| raw \| diff to current
2020-05-30	clairexen	Merge pull request #2018 from boqwxp/qbfsat-timeout	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-14	Eddie Hung	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	Merge pull request #2045 from YosysHQ/eddie/fix2042	blob \| commitdiff \| raw \| diff to current
2020-05-14	Claire Wolf	Merge pull request #2052 from YosysHQ/claire/verific_memfix	blob \| commitdiff \| raw \| diff to current
2020-05-14	Claire Wolf	Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes	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-12	Peter Crozier	Generalise structs and add support for packed unions.	blob \| commitdiff \| raw \| diff to current
2020-05-08	Peter Crozier	Implement SV structs.	blob \| commitdiff \| raw \| diff to current
2020-05-08	Claire Wolf	Merge pull request #2038 from nakengelhardt/no-libdir...	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-07	Xiretza	Add YS_FALLTHROUGH macro to mark case fall-through	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-05	whitequark	Merge pull request #2012 from whitequark/fix-wasi-abc...	blob \| commitdiff \| raw \| diff to current
2020-05-05	Eddie Hung	Merge pull request #2026 from YosysHQ/eddie/scratchpad_...	blob \| commitdiff \| raw \| diff to current
2020-05-05	Eddie Hung	Merge pull request #2024 from YosysHQ/eddie/primitive_src	blob \| commitdiff \| raw \| diff to current
2020-05-05	whitequark	ast/simplify: don't bitblast async ROMs declared as...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Eddie Hung	ast: swap range regardless of range_left >= 0	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-04	Eddie Hung	verilog: set src attribute for primitives	blob \| commitdiff \| raw \| diff to current
2020-05-02	Claire Wolf	Add AST_SELFSZ and improve handling of bit slices	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-04-23	Eddie Hung	Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...	blob \| commitdiff \| raw \| diff to current
2020-04-22	Eddie Hung	Merge pull request #1949 from YosysHQ/eddie/select_blackbox	blob \| commitdiff \| raw \| diff to current
2020-04-22	Eddie Hung	Merge pull request #1969 from boqwxp/pool_emplace	blob \| commitdiff \| raw \| diff to current
2020-04-22	Eddie Hung	Merge pull request #1973 from YosysHQ/eddie/fix1966	blob \| commitdiff \| raw \| diff to current
2020-04-22	Eddie Hung	Merge pull request #1950 from YosysHQ/eddie/design_import	blob \| commitdiff \| raw \| diff to current
2020-04-22	Claire Wolf	Merge pull request #1976 from YosysHQ/dave/fix-sim...	blob \| commitdiff \| raw \| diff to current
2020-04-22	Claire Wolf	Merge pull request #1979 from whitequark/cxxrtl-go...	blob \| commitdiff \| raw \| diff to current
2020-04-21	Claire Wolf	Merge pull request #1971 from YosysHQ/claire/edifkeep	blob \| commitdiff \| raw \| diff to current
2020-04-21	Claire Wolf	Merge pull request #1851 from YosysHQ/claire/bitselwrite	blob \| commitdiff \| raw \| diff to current
2020-04-21	whitequark	Merge pull request #1961 from whitequark/paramod-origin...	blob \| commitdiff \| raw \| diff to current
2020-04-20	Claire Wolf	Merge pull request #1964 from YosysHQ/claire/sformatf	blob \| commitdiff \| raw \| diff to current
2020-04-18	Claire Wolf	Extend support for format strings in Verilog front-end	blob \| commitdiff \| raw \| diff to current
2020-04-17	whitequark	Merge pull request #1864 from boqwxp/cleanup_techmap_abc	blob \| commitdiff \| raw \| diff to current
2020-04-16	whitequark	Merge pull request #1947 from whitequark/cxxrtl-usability	blob \| commitdiff \| raw \| diff to current
2020-04-16	whitequark	Merge pull request #1896 from boqwxp/read_stdin_repl	blob \| commitdiff \| raw \| diff to current
2020-04-16	Claire Wolf	Merge pull request #1797 from epfl-vlsc/firrtl_backend_...	blob \| commitdiff \| raw \| diff to current
2020-04-16	Eddie Hung	Merge pull request #1927 from YosysHQ/eddie/design_remo...	blob \| commitdiff \| raw \| diff to current
2020-04-16	whitequark	Merge pull request #1915 from boqwxp/dict_move_semantics	blob \| commitdiff \| raw \| diff to current
2020-04-16	whitequark	Merge pull request #1900 from Xiretza/suppress-makefile...	blob \| commitdiff \| raw \| diff to current
2020-04-16	whitequark	Merge pull request #1937 from hzeller/consexpr-opportunity	blob \| commitdiff \| raw \| diff to current
2020-04-16	David Shah	Merge pull request #1943 from YosysHQ/dave/fix-1919	blob \| commitdiff \| raw \| diff to current
2020-04-16	Claire Wolf	Make mask-and-shift the default for bitselwrite	blob \| commitdiff \| raw \| diff to current
2020-04-16	Claire Wolf	Add LookaheadRewriter for proper bitselwrite support	blob \| commitdiff \| raw \| diff to current
2020-04-16	David Shah	ast: Fix handling of identifiers in the global scope	blob \| commitdiff \| raw \| diff to current
2020-04-15	Claire Wolf	Improved rewrite code for writing to bit slice (disable...	blob \| commitdiff \| raw \| diff to current
2020-04-15	Miodrag Milanović	Merge pull request #1894 from YosysHQ/mingw_fix	blob \| commitdiff \| raw \| diff to current
2020-04-15	Eddie Hung	Merge pull request #1916 from YosysHQ/eddie/kernel_make...	blob \| commitdiff \| raw \| diff to current
2020-04-15	Eddie Hung	Merge pull request #1933 from YosysHQ/eddie/zinit_more	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-15	David Shah	Merge pull request #1897 from YosysHQ/dave/bram-rejecti...	blob \| commitdiff \| raw \| diff to current
2020-04-15	whitequark	Merge pull request #1918 from whitequark/simplify-impro...	blob \| commitdiff \| raw \| diff to current
2020-04-15	whitequark	ast/simplify: improve enum handling.	blob \| commitdiff \| raw \| diff to current
2020-04-14	whitequark	Merge pull request #1922 from whitequark/write_cxxrtl...	blob \| commitdiff \| raw \| diff to current
2020-04-14	whitequark	Merge pull request #1921 from whitequark/write_cxxrtl...	blob \| commitdiff \| raw \| diff to current
2020-04-14	Eddie Hung	Merge pull request #1917 from YosysHQ/eddie/abc9_delay_...	blob \| commitdiff \| raw \| diff to current
2020-04-14	whitequark	Merge pull request #1879 from jjj11x/jjj11x/package_decl	blob \| commitdiff \| raw \| diff to current
2020-04-14	whitequark	Merge pull request #1880 from jjj11x/duplicate_enum	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-07	Jeff Wang	duplicated enum item names should result in an error	blob \| commitdiff \| raw \| diff to current
2020-04-07	Jeff Wang	support using previously declared types/localparams...	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	Claire Wolf	Merge pull request #1846 from dh73/ast_fe	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xz	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	kernel: use more ID::*	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1845 from YosysHQ/eddie/kernel_speedup	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #1770 from YosysHQ/claire/btor_symbols	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #1765 from YosysHQ/claire/btor_info	blob \| commitdiff \| raw \| diff to current
next

RSS Atom