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

2022-03-02	Claire Xen	Merge pull request #3224 from YosysHQ/micko/refactor	commit \| commitdiff \| tree
2022-02-28	Claire Xenia Wolf	Add writing of aiw files to "sim" command Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2022-02-28	Claire Xenia Wolf	Hotfix in AIGER witness reader state machine Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2022-02-25	Claire Xenia Wolf	Experimental sim changes	commit \| commitdiff \| tree
2022-02-22	Claire Xen	Merge pull request #3211 from YosysHQ/micko/witness	commit \| commitdiff \| tree
2022-02-22	Claire Xen	Merge pull request #3197 from YosysHQ/claire/smtbmcfix	commit \| commitdiff \| tree
2022-02-18	Claire Xenia Wolf	Fix cycle 0 in aiger witness co-simulation Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2022-02-11	Claire Xen	Merge pull request #2376 from nmoroze/clk2ff-better...	commit \| commitdiff \| tree
2022-02-11	Claire Xenia Wolf	Add a bit of flexibilty re trace length when processing... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	commit \| commitdiff \| tree
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	commit \| commitdiff \| tree
2021-12-14	Claire Xenia Wolf	Hotfix for run_shell auto-detection Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-12-13	Claire Xen	Merge pull request #3108 from YosysHQ/claire/verificdefs	commit \| commitdiff \| tree
2021-12-13	Claire Xenia Wolf	Add YOSYS to the implicitly defined verilog macros... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-12-10	Claire Xenia Wolf	Fix verific import of enum values with x and/or z Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-12-10	Claire Xen	Update verific.cc	commit \| commitdiff \| tree
2021-12-10	Claire Xen	Merge pull request #3099 from YosysHQ/claire/readargs	commit \| commitdiff \| tree
2021-12-09	Claire Xenia Wolf	Fix the tests we just broke Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-12-09	Claire Xenia Wolf	Added "yosys -r <topmodule>" Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-12-09	Claire Xenia Wolf	Use "read" command to parse HDL files from Yosys command... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-11-10	Claire Xen	Merge pull request #3075 from YosysHQ/micko/verific_mem_size	commit \| commitdiff \| tree
2021-11-10	Claire Xen	Merge pull request #3077 from YosysHQ/claire/genlib	commit \| commitdiff \| tree
2021-11-10	Claire Xen	Spelling fix in abc.cc	commit \| commitdiff \| tree
2021-11-10	Claire Xenia Wolf	Add genlib support to ABC command Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-11-01	Claire Xen	Merge pull request #3068 from YosysHQ/claire/verific_cfg	commit \| commitdiff \| tree
2021-11-01	Claire Xenia Wolf	Add "verific -cfg" command Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-10-31	Claire Xen	Merge pull request #3066 from YosysHQ/claire/verific_gclk	commit \| commitdiff \| tree
2021-10-31	Claire Xenia Wolf	Fix verific gclk handling for async-load FFs Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-10-21	Claire Xen	Merge pull request #3057 from YosysHQ/claire/verific_latches	commit \| commitdiff \| tree
2021-10-21	Claire Xenia Wolf	Fix verific.cc PRIM_DLATCH handling Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-10-21	Claire Xenia Wolf	Initial Verific impoter support for {PRIM,WIDE_OPER... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-10-19	Claire Xenia Wolf	Fixed Verific parser error in ice40 cell library	commit \| commitdiff \| tree
2021-10-19	Claire Xenia Wolf	Fixes in vcdcd.pl for newer Perl versions Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-10-15	Claire Xen	Merge pull request #3044 from YosysHQ/micko/verific_bufif1	commit \| commitdiff \| tree
2021-10-11	Claire Xen	Merge pull request #3039 from YosysHQ/claire/verific_aldff	commit \| commitdiff \| tree
2021-10-11	Claire Xenia Wolf	Add Verific adffe/dffsre/aldffe FIXMEs Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-10-11	Claire Xen	Merge pull request #3040 from YosysHQ/micko/split_module_ports	commit \| commitdiff \| tree
2021-10-11	Claire Xen	Merge pull request #3041 from YosysHQ/mmicko/module_attr	commit \| commitdiff \| tree
2021-10-08	Claire Xenia Wolf	Fixes and add comments for open FIXME items Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-10-08	Claire Xenia Wolf	Add support for $aldff flip-flops to verific importer Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-09-27	Claire Xenia Wolf	Add optimization to rtlil back-end for all-x parameter... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-09-24	Claire Xen	Merge pull request #3014 from YosysHQ/claire/fix-vgtest	commit \| commitdiff \| tree
2021-09-23	Claire Xenia Wolf	Fix "make vgtest" so it runs to the end (but now it... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-09-10	Claire Xenia Wolf	Add additional check to SigSpec Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-07-05	Claire Xen	Merge pull request #2835 from YosysHQ/verific_command	commit \| commitdiff \| tree
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	commit \| commitdiff \| tree
2021-06-09	Claire Xenia Wolf	Fix deadname SVN links Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-06-09	Claire Xenia Wolf	Intersynth URL Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-06-09	Claire Xenia Wolf	More deadname stuff Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-06-09	Claire Xenia Wolf	Fix icestorm links Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-06-09	Claire Xenia Wolf	More deadname stuff	commit \| commitdiff \| tree
2021-06-09	Claire Xenia Wolf	Use HTTPS for website links, gatecat email ...com\|clifford.at\|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi;	commit \| commitdiff \| tree
2021-06-09	Claire Xenia Wolf	Fix files with CRLF line endings	commit \| commitdiff \| tree
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames ...com\|clifford.at\|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi;	commit \| commitdiff \| tree
2021-06-07	Claire Xenia Wolf	Add claire deadname stuff to .mailmap Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-04-26	Claire Xen	Merge pull request #2737 from YosysHQ/claire/fix2736	commit \| commitdiff \| tree
2021-04-26	Claire Xenia Wolf	Remove duplicates from conns array in JSON front-end...	commit \| commitdiff \| tree
2021-04-21	Claire Xen	Merge pull request #2669 from YosysHQ/claire/ice40defaults	commit \| commitdiff \| tree
2021-04-20	Claire Xenia Wolf	Add default assignments to other SB_* simulation models Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-04-20	Claire Xenia Wolf	Add default assignments to SB_LUT4 Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-03-04	Claire Xen	Update command-reference-manual.tex	commit \| commitdiff \| tree
2021-03-04	Claire Xen	Update README	commit \| commitdiff \| tree
2021-03-01	Claire Xen	Merge pull request #2523 from tomverbeure/define_synthesis	commit \| commitdiff \| tree
2021-03-01	Claire Xen	Merge pull request #2524 from bkbncn/patch-1	commit \| commitdiff \| tree
2021-02-27	Claire Xen	Update issue_template.md	commit \| commitdiff \| tree
2021-02-17	Claire Xen	Merge pull request #2590 from RobertBaruch/fix_fast_sop_mode	commit \| commitdiff \| tree
2021-02-15	Claire Xen	Merge pull request #2574 from dh73/master	commit \| commitdiff \| tree
2021-01-28	Claire Xen	Merge pull request #2535 from Ravenslofty/scc-specify	commit \| commitdiff \| tree
2021-01-24	Claire Xen	Merge pull request #2558 from YosysHQ/dave/chandle-dpi	commit \| commitdiff \| tree
2021-01-20	Claire Xen	Merge pull request #2552 from YosysHQ/claire/yosyshq	commit \| commitdiff \| tree
2021-01-20	Claire Xenia Wolf	Switch verific bindings from Symbiotic EDA flavored... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	commit \| commitdiff \| tree
2021-01-13	Claire Xen	Merge pull request #2537 from pepijndevos/spice	commit \| commitdiff \| tree
2020-12-27	Claire Xen	Merge pull request #2510 from YosysHQ/whitequark/CODEOWNERS...	commit \| commitdiff \| tree
2020-12-01	Claire Xen	Merge pull request #2463 from georgerennie/fix_verilog_front...	commit \| commitdiff \| tree
2020-11-25	Claire Xen	Merge pull request #2133 from dh73/nodev_head	commit \| commitdiff \| tree
2020-10-19	Claire Xenia Wolf	Fix argument handling in connect_rpc Signed-off-by: Claire Xenia Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-10-01	Claire Xenia Wolf	Ignore empty parameters in Verilog module instantiations Signed-off-by: Claire Xenia Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree

RSS Atom