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

2020-11-02	whitequark	Merge pull request #2426 from whitequark/cxxrtl-auto-top	commit \| commitdiff \| tree
2020-11-01	whitequark	Merge pull request #2425 from whitequark/cxxrtl-meminit...	commit \| commitdiff \| tree
2020-11-01	whitequark	Merge pull request #2424 from whitequark/cxxrtl-multiple...	commit \| commitdiff \| tree
2020-10-31	whitequark	Merge pull request #2416 from QuantamHD/master	commit \| commitdiff \| tree
2020-10-22	N. Engelhardt	Merge pull request #2403 from nakengelhardt/sim_timescale	commit \| commitdiff \| tree
2020-10-20	clairexen	Merge pull request #2405 from byuccl/fix_xilinx_cells	commit \| commitdiff \| tree
2020-10-20	clairexen	Merge pull request #2404 from YosysHQ/claire/fixrpcargs	commit \| commitdiff \| tree
2020-10-19	Miodrag Milanović	Merge pull request #2397 from daveshah1/nexus	commit \| commitdiff \| tree
2020-10-15	clairexen	Merge pull request #2398 from jakobwenzel/smtbmc-escape	commit \| commitdiff \| tree
2020-10-05	Miodrag Milanović	Update required Verific version	commit \| commitdiff \| tree
2020-10-02	clairexen	Merge pull request #2396 from YosysHQ/claire/empty...	commit \| commitdiff \| tree
2020-10-01	clairexen	Merge pull request #2378 from udif/pr_dollar_high_low	commit \| commitdiff \| tree
2020-10-01	clairexen	Merge pull request #2380 from Xiretza/parallel-tests	commit \| commitdiff \| tree
2020-10-01	clairexen	Merge pull request #2395 from YosysHQ/sha1_if_contain_spaces	commit \| commitdiff \| tree
2020-09-29	clairexen	Merge pull request #2393 from nakengelhardt/no_const_sensitivity	commit \| commitdiff \| tree
2020-09-29	clairexen	Merge pull request #2392 from YosysHQ/mmicko/hierarchy_fix	commit \| commitdiff \| tree
2020-09-28	Miodrag Milanović	Merge pull request #2386 from btut/fix/pyinstallpath	commit \| commitdiff \| tree
2020-09-28	N. Engelhardt	Merge pull request #2387 from btut/fix/pythonWrappersCXXFlags	commit \| commitdiff \| tree
2020-09-23	Eddie Hung	xilinx: do not make DSP48E1 a whitebox for ABC9 by...	commit \| commitdiff \| tree
2020-09-23	Miodrag Milanović	Merge pull request #2384 from nakengelhardt/fix_2383	commit \| commitdiff \| tree
2020-09-21	N. Engelhardt	Merge pull request #2372 from nakengelhardt/name_is_public	commit \| commitdiff \| tree
2020-09-18	clairexen	Merge pull request #2381 from YosysHQ/unsupported	commit \| commitdiff \| tree
2020-09-17	clairexen	Merge pull request #2329 from antmicro/arrays-fix-multirange...	commit \| commitdiff \| tree
2020-09-17	clairexen	Merge pull request #2330 from antmicro/arrays-fix-multirange...	commit \| commitdiff \| tree
2020-09-10	Miodrag Milanović	Merge pull request #2369 from Xiretza/gitignores	commit \| commitdiff \| tree
2020-09-03	whitequark	Merge pull request #2371 from whitequark/cxxrtl-debug...	commit \| commitdiff \| tree
2020-09-01	clairexen	Merge pull request #2352 from zachjs/const-func-localparam	commit \| commitdiff \| tree
2020-09-01	clairexen	Merge pull request #2366 from zachjs/library-format	commit \| commitdiff \| tree
2020-09-01	clairexen	Merge pull request #2353 from zachjs/top-scope	commit \| commitdiff \| tree
2020-09-01	clairexen	Merge pull request #2365 from zachjs/const-arg-loop...	commit \| commitdiff \| tree
2020-08-31	clairexen	Merge pull request #2368 from YosysHQ/verific_portrange	commit \| commitdiff \| tree
2020-08-29	whitequark	write_smt2: fix SMT-LIB tutorial URL	commit \| commitdiff \| tree
2020-08-27	Miodrag Milanović	Merge pull request #2364 from whitequark/manual-typo	commit \| commitdiff \| tree
2020-08-27	whitequark	Merge pull request #2357 from whitequark/cxxflags-MP	commit \| commitdiff \| tree
2020-08-27	whitequark	Merge pull request #2356 from whitequark/flatten-techmap...	commit \| commitdiff \| tree
2020-08-27	whitequark	Merge pull request #2358 from whitequark/rename-ilang...	commit \| commitdiff \| tree
2020-08-26	Miodrag Milanović	Merge pull request #2355 from YosysHQ/verific_improvements	commit \| commitdiff \| tree
2020-08-26	whitequark	Merge pull request #2351 from pbsds/proc_nomux	commit \| commitdiff \| tree
2020-08-22	clairexen	Merge pull request #2349 from nmoroze/smt2-bugfix	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2347 from YosysHQ/mwk/techmap-shift...	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2344 from YosysHQ/mwk/opt_share...	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2337 from YosysHQ/mwk/clean-keep...	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul...	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fix	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...	commit \| commitdiff \| tree
2020-08-20	clairexen	Merge pull request #2319 from YosysHQ/mwk/techmap-celltype...	commit \| commitdiff \| tree
2020-08-19	clairexen	Merge pull request #2122 from PeterCrozier/struct_array2	commit \| commitdiff \| tree
2020-08-18	clairexen	Merge pull request #2339 from zachjs/display-format-0s	commit \| commitdiff \| tree
2020-08-18	clairexen	Merge pull request #2338 from zachjs/const-branch-finish	commit \| commitdiff \| tree
2020-08-18	clairexen	Merge pull request #2317 from zachjs/expand-genblock	commit \| commitdiff \| tree
2020-08-18	clairexen	Merge pull request #2281 from zachjs/const-real	commit \| commitdiff \| tree
2020-08-12	whitequark	Merge pull request #2340 from andy-knowles/cxxrtl-fix...	commit \| commitdiff \| tree
2020-08-12	Andy Knowles	cxxrtl.h: Fix incorrect CarryOut in alu()	commit \| commitdiff \| tree
2020-07-29	Miodrag Milanović	Merge pull request #2314 from YosysHQ/verifix_errorfix	commit \| commitdiff \| tree
2020-07-28	clairexen	Merge pull request #2301 from zachjs/for-loop-errors	commit \| commitdiff \| tree
2020-07-28	clairexen	Merge pull request #2306 from YosysHQ/mwk/equiv_induct...	commit \| commitdiff \| tree
2020-07-26	clairexen	Merge pull request #2299 from zachjs/arg-loop	commit \| commitdiff \| tree
2020-07-23	clairexen	Merge pull request #2285 from YosysHQ/mwk/techmap-cellname	commit \| commitdiff \| tree
2020-07-23	clairexen	Merge pull request #2294 from Ravenslofty/intel_alm_timings	commit \| commitdiff \| tree
2020-07-21	clairexen	Merge pull request #2215 from boqwxp/qbfsat-solver...	commit \| commitdiff \| tree
2020-07-20	clairexen	Merge pull request #2282 from YosysHQ/claire/satunsat	commit \| commitdiff \| tree
2020-07-20	clairexen	Merge pull request #2276 from YosysHQ/mwk/satgen-cc	commit \| commitdiff \| tree
2020-07-17	Miodrag Milanović	Merge pull request #2275 from YosysHQ/mwk/sf2-clkint-fix	commit \| commitdiff \| tree
2020-07-17	Miodrag Milanović	Merge pull request #2274 from YosysHQ/mwk/anlogic-ff-fix	commit \| commitdiff \| tree
2020-07-16	clairexen	Merge pull request #2229 from Ravenslofty/sf2_remove_sf2_iobs	commit \| commitdiff \| tree
2020-07-16	clairexen	Merge pull request #2273 from whitequark/write-verilog...	commit \| commitdiff \| tree
2020-07-16	clairexen	Merge pull request #2272 from whitequark/write-verilog-sv	commit \| commitdiff \| tree
2020-07-16	Miodrag Milanović	Merge pull request #2238 from YosysHQ/mwk/dfflegalize...	commit \| commitdiff \| tree
2020-07-16	Miodrag Milanović	Merge pull request #2226 from YosysHQ/mwk/nuke-efinix...	commit \| commitdiff \| tree
2020-07-16	whitequark	Merge pull request #2270 from whitequark/cxxrtl-fix...	commit \| commitdiff \| tree
2020-07-15	whitequark	Merge pull request #2269 from YosysHQ/claire/bisonwall	commit \| commitdiff \| tree
2020-07-15	clairexen	Merge pull request #2257 from antmicro/fix-conflicts	commit \| commitdiff \| tree
2020-07-13	whitequark	Merge pull request #2263 from whitequark/cxxrtl-capi...	commit \| commitdiff \| tree
2020-07-10	clairexen	Merge pull request #2256 from YosysHQ/claire/fix2241	commit \| commitdiff \| tree
2020-07-09	whitequark	Merge pull request #2255 from whitequark/bison-Werror...	commit \| commitdiff \| tree
2020-07-09	whitequark	Merge pull request #2254 from whitequark/cxxrtl-extern-c	commit \| commitdiff \| tree
2020-07-09	Lucas Castro	Fix issue #2251 (#2252)	commit \| commitdiff \| tree
2020-07-09	clairexen	Merge pull request #2244 from antmicro/logic	commit \| commitdiff \| tree
2020-07-07	whitequark	Merge pull request #2246 from YosysHQ/mwk/dfflegalize...	commit \| commitdiff \| tree
2020-07-05	Marcelina Kościelnicka	Merge pull request #2236 from YosysHQ/mwk/dfflegalize...	commit \| commitdiff \| tree
2020-07-05	whitequark	Merge pull request #2227 from Ravenslofty/ccache	commit \| commitdiff \| tree
2020-07-05	Marcelina Kościelnicka	Merge pull request #2232 from YosysHQ/mwk/gowin-sim...	commit \| commitdiff \| tree
2020-07-02	clairexen	Merge pull request #2132 from YosysHQ/eddie/verific_initial	commit \| commitdiff \| tree
2020-07-02	clairexen	Merge pull request #2208 from boqwxp/qbfsat-cleanup	commit \| commitdiff \| tree
2020-07-02	clairexen	Merge pull request #2186 from YosysHQ/mwk/dfflegalize	commit \| commitdiff \| tree
2020-07-02	clairexen	Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ff	commit \| commitdiff \| tree
2020-07-02	clairexen	Merge pull request #2210 from YosysHQ/mwk/fix-opt_merge	commit \| commitdiff \| tree
2020-07-02	clairexen	Merge pull request #2195 from YosysHQ/mwk/manual-gates	commit \| commitdiff \| tree
2020-07-01	clairexen	Merge pull request #2203 from antmicro/fix-grammar	commit \| commitdiff \| tree
2020-07-01	clairexen	Merge pull request #2179 from splhack/static-cast	commit \| commitdiff \| tree
2020-07-01	clairexen	Merge pull request #2138 from boqwxp/qbfsat-oflag	commit \| commitdiff \| tree
2020-07-01	clairexen	Merge pull request #2206 from boqwxp/qbfsat-fix-name...	commit \| commitdiff \| tree
2020-06-30	clairexen	Merge pull request #2136 from zachjs/master	commit \| commitdiff \| tree
2020-06-30	clairexen	Merge pull request #2199 from YosysHQ/mmicko/sim_memory	commit \| commitdiff \| tree
2020-06-30	clairexen	Merge pull request #2201 from YosysHQ/fix_test_cell_ilang	commit \| commitdiff \| tree
2020-06-30	clairexen	Merge pull request #2209 from YosysHQ/verific_update	commit \| commitdiff \| tree
2020-06-30	whitequark	Merge pull request #2205 from whitequark/fix-2204	commit \| commitdiff \| tree
2020-06-29	Miodrag Milanović	Merge pull request #2200 from YosysHQ/mmicko/fix_expose	commit \| commitdiff \| tree
2020-06-29	whitequark	Merge pull request #2197 from Xiretza/test_cell-shifts	commit \| commitdiff \| tree
next

RSS Atom