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-24	Jacob Lifshay	add $divfloor support to write_smt2 divfloor-in-write_smt2	blob \| commitdiff \| raw \| diff to current
2022-05-18	Jacob Lifshay	add $smtlib2_expr	blob \| commitdiff \| raw \| diff to current
2022-04-25	Jannis Harder	Merge pull request #3287 from jix/smt2-conditional...	blob \| commitdiff \| raw \| diff to current
2022-04-20	Jannis Harder	smt2: Make write port array stores conditional on nonze...	blob \| commitdiff \| raw \| diff to current
2022-03-28	Lofty	Merge pull request #3194 from Ravenslofty/abc9-flow3mfs	blob \| commitdiff \| raw \| diff to current
2022-03-14	Claire Xen	Merge pull request #3213 from antonblanchard/abc-typo	blob \| commitdiff \| raw \| diff to current
2022-03-07	Miodrag Milanović	Merge pull request #3210 from rqou/json-signed	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3186 from nakengelhardt/smtbmc_sby_...	blob \| commitdiff \| raw \| diff to current
2022-02-22	N. Engelhardt	print cell name for properties in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2022-02-11	Miodrag Milanović	Merge pull request #3164 from zachjs/fix-ast-warn	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
2022-02-07	Miodrag Milanović	Merge pull request #3185 from YosysHQ/micko/co_sim	blob \| commitdiff \| raw \| diff to current
2022-01-28	Marcelina Kościelnicka	Add $bmux and $demux cells.	blob \| commitdiff \| raw \| diff to current
2021-10-02	Marcelina Kościelnicka	Hook up $aldff support in various passes.	blob \| commitdiff \| raw \| diff to current
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	blob \| commitdiff \| raw \| diff to current
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames	blob \| commitdiff \| raw \| diff to current
2021-05-27	Marcelina Kościelnicka	Make a few passes auto-call Mem::narrow instead of...	blob \| commitdiff \| raw \| diff to current
2021-05-25	Marcelina Kościelnicka	Reject wide ports in some passes that will never suppor...	blob \| commitdiff \| raw \| diff to current
2021-05-22	Marcelina Kościelnicka	kernel/rtlil: Extract some helpers for checking memory...	blob \| commitdiff \| raw \| diff to current
2021-03-01	Claire Xen	Merge pull request #2523 from tomverbeure/define_synthesis	blob \| commitdiff \| raw \| diff to current
2021-03-01	Claire Xen	Merge pull request #2524 from bkbncn/patch-1	blob \| commitdiff \| raw \| diff to current
2021-03-01	whitequark	Merge pull request #2615 from zachjs/genrtlil-conflict	blob \| commitdiff \| raw \| diff to current
2021-02-25	whitequark	Merge pull request #2554 from hzeller/master	blob \| commitdiff \| raw \| diff to current
2021-02-25	Marcelina Kościelnicka	btor, smt2, smv: Add a hint on how to deal with funny...	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-10-22	N. Engelhardt	Merge pull request #2403 from nakengelhardt/sim_timescale	blob \| commitdiff \| raw \| diff to current
2020-10-21	Marcelina Kościelnicka	smt2: Use Mem helper.	blob \| commitdiff \| raw \| diff to current
2020-10-01	clairexen	Merge pull request #2378 from udif/pr_dollar_high_low	blob \| commitdiff \| raw \| diff to current
2020-10-01	clairexen	Merge pull request #2380 from Xiretza/parallel-tests	blob \| commitdiff \| raw \| diff to current
2020-09-21	N. Engelhardt	Merge pull request #2372 from nakengelhardt/name_is_public	blob \| commitdiff \| raw \| diff to current
2020-09-17	clairexen	Merge pull request #2329 from antmicro/arrays-fix-multi...	blob \| commitdiff \| raw \| diff to current
2020-09-17	clairexen	Merge pull request #2330 from antmicro/arrays-fix-multi...	blob \| commitdiff \| raw \| diff to current
2020-09-14	N. Engelhardt	use the new isPublic() in a few places	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2352 from zachjs/const-func-localparam	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2366 from zachjs/library-format	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2353 from zachjs/top-scope	blob \| commitdiff \| raw \| diff to current
2020-09-01	clairexen	Merge pull request #2365 from zachjs/const-arg-loop...	blob \| commitdiff \| raw \| diff to current
2020-08-29	whitequark	write_smt2: fix SMT-LIB tutorial URL	blob \| commitdiff \| raw \| diff to current
2020-08-26	whitequark	Merge pull request #2351 from pbsds/proc_nomux	blob \| commitdiff \| raw \| diff to current
2020-08-22	clairexen	Merge pull request #2349 from nmoroze/smt2-bugfix	blob \| commitdiff \| raw \| diff to current
2020-08-20	Noah Moroze	Ensure smt2 comments are associated with accessors	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 #2294 from Ravenslofty/intel_alm_timings	blob \| commitdiff \| raw \| diff to current
2020-07-21	clairexen	Merge pull request #2215 from boqwxp/qbfsat-solver...	blob \| commitdiff \| raw \| diff to current
2020-07-20	Alberto Gonzalez	smt2: Add `-solver-option` option.	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-06-19	whitequark	Merge pull request #2173 from whitequark/use-cxx11...	blob \| commitdiff \| raw \| diff to current
2020-06-18	whitequark	Use C++11 final/override keywords.	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	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	clairexen	Merge pull request #1885 from Xiretza/mod-rem-cells	blob \| commitdiff \| raw \| diff to current
2020-05-28	Xiretza	Add flooring modulo operator	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	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
2020-04-01	Eddie Hung	Merge pull request #1828 from YosysHQ/eddie/celltypes_s...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu	blob \| commitdiff \| raw \| diff to current
2020-04-01	David Shah	Merge pull request #1844 from YosysHQ/dave/gen-source-loc	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1852 from boqwxp/cleanup_synth_ice40	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1849 from boqwxp/cleanup_kernel_yosys	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1850 from boqwxp/cleanup_backends	blob \| commitdiff \| raw \| diff to current
2020-04-01	Alberto Gonzalez	Update `RTLIL::id2cstr()` usage to `log_id`.	blob \| commitdiff \| raw \| diff to current
2020-04-01	Claire Wolf	Merge pull request #1848 from YosysHQ/eddie/fix_dynslice	blob \| commitdiff \| raw \| diff to current
2020-03-31	Eddie Hung	Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...	blob \| commitdiff \| raw \| diff to current
2020-03-30	Eddie Hung	Merge pull request #1783 from boqwxp/astcc_cleanup	blob \| commitdiff \| raw \| diff to current
2020-03-30	Eddie Hung	Merge pull request #1786 from boqwxp/hierarchycc_cleanup	blob \| commitdiff \| raw \| diff to current
2020-03-27	Claire Wolf	Merge pull request #1607 from whitequark/simplify-simpl...	blob \| commitdiff \| raw \| diff to current
2020-03-26	Claire Wolf	Merge pull request #1806 from YosysHQ/mwk/techmap-repla...	blob \| commitdiff \| raw \| diff to current
2020-03-23	N. Engelhardt	Merge pull request #1763 from boqwxp/issue1762	blob \| commitdiff \| raw \| diff to current
2020-03-23	N. Engelhardt	Merge pull request #1803 from Grazfather/typedef	blob \| commitdiff \| raw \| diff to current
2020-03-23	N. Engelhardt	Merge pull request #1805 from hofstee/master	blob \| commitdiff \| raw \| diff to current
2020-03-23	Teguh Hofstee	fix typo in `write_smt2` help	blob \| commitdiff \| raw \| diff to current
2020-03-19	N. Engelhardt	Merge pull request #1774 from boqwxp/exec	blob \| commitdiff \| raw \| diff to current
next

RSS Atom