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

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

2022-04-05	Zachary Snow	sv: fix always_comb auto nosync for nested and function...	blob \| commitdiff \| raw
2022-03-28	Lofty	Merge pull request #3194 from Ravenslofty/abc9-flow3mfs	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	Claire Xen	Merge pull request #3197 from YosysHQ/claire/smtbmcfix	blob \| commitdiff \| raw \| diff to current
2022-02-14	Kamil Rakoczy	Fix access to whole sub-structs (#3086)	blob \| commitdiff \| raw \| diff to current
2022-02-11	Zachary Snow	verilog: fix dynamic dynamic range asgn elab	blob \| commitdiff \| raw \| diff to current
2022-02-11	Zachary Snow	verilog: fix const func eval with upto variables	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-01-19	Miodrag Milanović	Merge pull request #3120 from Icenowy/anlogic-bram	blob \| commitdiff \| raw \| diff to current
2022-01-17	N. Engelhardt	Merge pull request #3145 from nakengelhardt/advertise_s...	blob \| commitdiff \| raw \| diff to current
2022-01-08	Zachary Snow	sv: auto add nosync to certain always_comb local vars	blob \| commitdiff \| raw \| diff to current
2021-12-25	Catherine	Merge pull request #3127 from whitequark/cxxrtl-no...	blob \| commitdiff \| raw \| diff to current
2021-12-18	Zachary Snow	fix width detection of array querying function in case...	blob \| commitdiff \| raw \| diff to current
2021-11-16	Kamil Rakoczy	Support parameters using struct as a wiretype (#3050)	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-09-24	Claire Xen	Merge pull request #3014 from YosysHQ/claire/fix-vgtest	blob \| commitdiff \| raw \| diff to current
2021-09-21	Zachary Snow	verilog: fix multiple AST_PREFIX scope resolution issues	blob \| commitdiff \| raw \| diff to current
2021-07-28	Marcelina Kościelnicka	verilog: Emit $meminit_v2 cell.	blob \| commitdiff \| raw \| diff to current
2021-07-16	whitequark	Merge pull request #2870 from whitequark/cxxrtl-fix...	blob \| commitdiff \| raw \| diff to current
2021-07-15	Zachary Snow	sv: fix two struct access bugs	blob \| commitdiff \| raw \| diff to current
2021-07-06	Zachary Snow	sv: fix a few struct and enum memory leaks	blob \| commitdiff \| raw \| diff to current
2021-06-14	Xiretza	ast: delete wires and localparams after finishing const...	blob \| commitdiff \| raw \| diff to current
2021-06-14	Xiretza	verilog: fix leaking ASTNodes	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-08	Zachary Snow	verilog: check for module scope identifiers during...	blob \| commitdiff \| raw \| diff to current
2021-06-08	Zachary Snow	mem2reg: tolerate out of bounds constant accesses	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-06-01	Zachary Snow	sv: support tasks and functions within packages	blob \| commitdiff \| raw \| diff to current
2021-05-25	Zachary Snow	verilog: fix case expression sign and width handling	blob \| commitdiff \| raw \| diff to current
2021-03-17	Xiretza	verilog: fix buf/not primitives with multiple outputs	blob \| commitdiff \| raw \| diff to current
2021-03-16	Zachary Snow	verilog: support module scope identifiers in parametric...	blob \| commitdiff \| raw \| diff to current
2021-03-14	whitequark	Merge pull request #2658 from zachjs/parameters-across...	blob \| commitdiff \| raw \| diff to current
2021-03-12	Zachary Snow	sv: allow globals in one file to depend on globals...	blob \| commitdiff \| raw \| diff to current
2021-03-11	whitequark	Merge pull request #2642 from whitequark/cxxrtl-noproc...	blob \| commitdiff \| raw \| diff to current
2021-03-09	whitequark	Merge pull request #2643 from zachjs/fix-param-no-defau...	blob \| commitdiff \| raw \| diff to current
2021-03-08	Marcelina Kościelnicka	verilog: Use proc memory writes in the frontend.	blob \| commitdiff \| raw \| diff to current
2021-03-07	whitequark	Merge pull request #2626 from zachjs/param-no-default	blob \| commitdiff \| raw \| diff to current
2021-03-07	whitequark	Merge pull request #2632 from zachjs/width-limit	blob \| commitdiff \| raw \| diff to current
2021-03-06	Zachary Snow	sv: fix some edge cases for unbased unsized literals	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-26	Michael Singer	Implement $countones, $isunknown and $onehot{,0}	blob \| commitdiff \| raw \| diff to current
2021-02-26	Michael Singer	Implement $countbits function	blob \| commitdiff \| raw \| diff to current
2021-02-26	Zachary Snow	Extend simplify() recursion warning	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-23	Marcelina Kościelnicka	frontend: Make helper functions for printing locations.	blob \| commitdiff \| raw \| diff to current
2021-02-23	whitequark	Merge pull request #2594 from zachjs/func-arg-width	blob \| commitdiff \| raw \| diff to current
2021-02-21	whitequark	Merge pull request #2586 from zachjs/tern-recurse	blob \| commitdiff \| raw \| diff to current
2021-02-21	Zachary Snow	verilog: fix sizing of constant args for tasks/functions	blob \| commitdiff \| raw \| diff to current
2021-02-15	Claire Xen	Merge pull request #2574 from dh73/master	blob \| commitdiff \| raw \| diff to current
2021-02-12	Zachary Snow	verilog: support recursive functions using ternary...	blob \| commitdiff \| raw \| diff to current
2021-02-12	gatecat	Merge pull request #2585 from YosysHQ/dave/nexus-dotproduct	blob \| commitdiff \| raw \| diff to current
2021-02-11	whitequark	Merge pull request #2573 from zachjs/repeat-call	blob \| commitdiff \| raw \| diff to current
2021-02-04	Zachary Snow	verilog: refactored constant function evaluation	blob \| commitdiff \| raw \| diff to current
2021-02-04	whitequark	Merge pull request #2529 from zachjs/unnamed-genblk	blob \| commitdiff \| raw \| diff to current
2021-02-03	whitequark	Merge pull request #2436 from dalance/fix_generate	blob \| commitdiff \| raw \| diff to current
2021-01-31	Zachary Snow	verilog: significant block scoping improvements	blob \| commitdiff \| raw \| diff to current
2021-01-28	Claire Xen	Merge pull request #2535 from Ravenslofty/scc-specify	blob \| commitdiff \| raw \| diff to current
2021-01-26	whitequark	Merge pull request #2544 from modwizcode/fix-clock	blob \| commitdiff \| raw \| diff to current
2021-01-20	Miodrag Milanović	Merge pull request #2536 from TobiasFaller/master	blob \| commitdiff \| raw \| diff to current
2021-01-18	whitequark	Merge pull request #2547 from zachjs/plugin-so-dsym	blob \| commitdiff \| raw \| diff to current
2021-01-18	whitequark	Merge pull request #2312 from antmicro/typedef-inout	blob \| commitdiff \| raw \| diff to current
2021-01-18	Kamil Rakoczy	Fix input/output attributes when resolving typedef...	blob \| commitdiff \| raw \| diff to current
2021-01-01	whitequark	Merge pull request #2480 from YosysHQ/dave/nexus-lram	blob \| commitdiff \| raw \| diff to current
2021-01-01	whitequark	Merge pull request #2512 from umarcor/plugin-err	blob \| commitdiff \| raw \| diff to current
2021-01-01	whitequark	Merge pull request #2515 from umarcor/fix/ghdl	blob \| commitdiff \| raw \| diff to current
2021-01-01	whitequark	Merge pull request #2518 from zachjs/recursion	blob \| commitdiff \| raw \| diff to current
2021-01-01	Zachary Snow	verilog: improved support for recursive functions	blob \| commitdiff \| raw \| diff to current
2020-12-29	whitequark	Merge pull request #2509 from zachjs/issue-2427	blob \| commitdiff \| raw \| diff to current
2020-12-27	Zachary Snow	Fix elaboration of whole memory words used as indices	blob \| commitdiff \| raw \| diff to current
2020-12-26	Miodrag Milanović	Merge pull request #2506 from zachjs/const-arg-redeclare	blob \| commitdiff \| raw \| diff to current
2020-12-26	Zachary Snow	Fix constants bound to redeclared function args	blob \| commitdiff \| raw \| diff to current
2020-12-23	whitequark	Merge pull request #2502 from ldoolitt/master	blob \| commitdiff \| raw \| diff to current
2020-12-23	whitequark	Merge pull request #2501 from zachjs/genrtlil-tern...	blob \| commitdiff \| raw \| diff to current
2020-12-23	whitequark	Merge pull request #2476 from zachjs/const-arg-width	blob \| commitdiff \| raw \| diff to current
2020-12-23	Zachary Snow	Fix constants bound to single bit arguments (fixes...	blob \| commitdiff \| raw \| diff to current
2020-12-22	whitequark	Merge pull request #2497 from whitequark/cxxrtl-reflow	blob \| commitdiff \| raw \| diff to current
2020-12-22	whitequark	Merge pull request #2479 from zachjs/const-arg-hint	blob \| commitdiff \| raw \| diff to current
2020-12-07	Zachary Snow	Allow constant function calls in constant function...	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-19	Miodrag Milanović	Merge pull request #2397 from daveshah1/nexus	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-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-16	Udi Finkelstein	We can now handle array slices (e.g. $size(x[1]) etc. )	blob \| commitdiff \| raw \| diff to current
2020-09-16	Udi Finkelstein	Fixed comments, removed debug message	blob \| commitdiff \| raw \| diff to current
2020-09-15	Udi Finkelstein	Added $high(), $low(), $left(), $right()	blob \| commitdiff \| raw \| diff to current
2020-09-10	Miodrag Milanović	Merge pull request #2369 from Xiretza/gitignores	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	Zachary Snow	Simple support for %l format specifier	blob \| commitdiff \| raw \| diff to current
2020-08-29	Zachary Snow	Fix constant args used with function ports split across...	blob \| commitdiff \| raw \| diff to current
2020-08-21	Zachary Snow	Module name scope support	blob \| commitdiff \| raw \| diff to current
2020-08-21	Zachary Snow	Allow localparams in constant functions	blob \| commitdiff \| raw \| diff to current
next

RSS Atom