git.libre-soc.org Git - yosys.git/history - manual/command-reference-manual.tex

[yosys.git] / manual / command-reference-manual.tex

2022-05-09	Jannis Harder	Merge pull request #3305 from jix/sva_value_change_logic	blob \| commitdiff \| raw
2022-05-09	Jannis Harder	Merge pull request #3297 from jix/sva_nested_clk_else	blob \| commitdiff \| raw
2022-05-09	Miodrag Milanovic	Update manual	blob \| commitdiff \| raw
2022-04-04	Miodrag Milanovic	Update CHANGELOG and manual	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-03-04	Miodrag Milanović	Merge pull request #3206 from YosysHQ/micko/quote_remove	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3207 from nakengelhardt/json_escape...	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanovic	Update documentation	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 Milanovic	Update CHANGELOG and manual	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-03	Miodrag Milanovic	Update manual	blob \| commitdiff \| raw \| diff to current
2021-12-10	Miodrag Milanović	Merge pull request #3097 from YosysHQ/modport	blob \| commitdiff \| raw \| diff to current
2021-12-08	Marcelina Kościelnicka	opt_mem_priority: Fix non-ascii char in help message.	blob \| commitdiff \| raw \| diff to current
2021-12-03	Miodrag Milanovic	Update manual	blob \| commitdiff \| raw \| diff to current
2021-11-10	Claire Xen	Merge pull request #3077 from YosysHQ/claire/genlib	blob \| commitdiff \| raw \| diff to current
2021-11-07	Gabriel Somlo	manual: fix pdflatex inputenc undefined char error	blob \| commitdiff \| raw \| diff to current
2021-11-05	Miodrag Milanovic	Update command reference	blob \| commitdiff \| raw \| diff to current
2021-10-29	Miodrag Milanovic	Update command reference part of manual	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-09	Claire Xenia Wolf	Intersynth URL	blob \| commitdiff \| raw \| diff to current
2021-03-17	Zachary Snow	bugpoint: add runner option	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-04	Claire Xen	Update command-reference-manual.tex	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 #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-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	Marcelina Kościelnicka	Get rid of dffsr2dff.	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-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 #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	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-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw \| diff to current
2019-09-27	Aman Goel	Merge pull request #7 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2019-03-28	Benedikt Tutzer	Merge remote-tracking branch 'origin/master' into featu...	blob \| commitdiff \| raw \| diff to current
2019-03-01	Keith Rothman	Use singular for disabling of DRAM or BRAM inference.	blob \| commitdiff \| raw \| diff to current
2019-03-01	Keith Rothman	Modify arguments to match existing style.	blob \| commitdiff \| raw \| diff to current
2019-03-01	Keith Rothman	Changes required for VPR place and route synth_xilinx.	blob \| commitdiff \| raw \| diff to current
2018-12-18	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-10-19	Clifford Wolf	Merge pull request #672 from daveshah1/fix_bram	blob \| commitdiff \| raw \| diff to current
2018-10-18	Clifford Wolf	Merge pull request #659 from rubund/sv_interfaces	blob \| commitdiff \| raw \| diff to current
2018-10-18	Clifford Wolf	Merge pull request #657 from mithro/xilinx-vpr	blob \| commitdiff \| raw \| diff to current
2018-10-18	Clifford Wolf	Merge pull request #664 from tklam/ignore-verilog-protect	blob \| commitdiff \| raw \| diff to current
2018-10-17	Clifford Wolf	Merge pull request #660 from tklam/parse-liberty-detect...	blob \| commitdiff \| raw \| diff to current
2018-10-17	Clifford Wolf	Merge pull request #663 from aman-goel/master	blob \| commitdiff \| raw \| diff to current
2018-10-17	Clifford Wolf	Merge pull request #658 from daveshah1/ecp5_bram	blob \| commitdiff \| raw \| diff to current
2018-10-17	Clifford Wolf	Merge pull request #641 from tklam/master	blob \| commitdiff \| raw \| diff to current
2018-10-17	Clifford Wolf	Merge pull request #638 from udif/pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-10-16	Clifford Wolf	Merge branch 'yosys-0.8-rc'	blob \| commitdiff \| raw \| diff to current
2018-10-16	Clifford Wolf	Update command reference manual	blob \| commitdiff \| raw \| diff to current
2018-10-08	acw1251	Fixed typo in "verilog_write" help message	blob \| commitdiff \| raw \| diff to current
2018-10-02	Clifford Wolf	Merge pull request #645 from daveshah1/ecp5_dram_fix	blob \| commitdiff \| raw \| diff to current
2018-10-01	Aman Goel	Merge pull request #4 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-09-19	Clifford Wolf	Merge pull request #633 from mmicko/master	blob \| commitdiff \| raw \| diff to current
2018-09-19	Clifford Wolf	Merge pull request #631 from acw1251/master	blob \| commitdiff \| raw \| diff to current
2018-09-18	acw1251	Fixed typo in "verilog_write" help message	blob \| commitdiff \| raw \| diff to current
2016-11-02	Clifford Wolf	Updated command reference in manual	blob \| commitdiff \| raw \| diff to current
2016-07-08	Clifford Wolf	Merge branch 'yosys-0.5-vtr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2016-03-07	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-02-29	Clifford Wolf	Merge pull request #119 from SebKuzminsky/spelling...	blob \| commitdiff \| raw \| diff to current
2016-02-28	Sebastian Kuzminsky	user-facing spelling fixes	blob \| commitdiff \| raw \| diff to current
2016-02-14	Clifford Wolf	Updated command reference in manual	blob \| commitdiff \| raw \| diff to current
2015-08-14	Larry Doolittle	Another block of spelling fixes	blob \| commitdiff \| raw \| diff to current
2015-08-14	Clifford Wolf	Re-created command-reference-manual.tex, copied some...	blob \| commitdiff \| raw \| diff to current
2015-08-14	Clifford Wolf	Spell check (by Larry Doolittle)	blob \| commitdiff \| raw \| diff to current
2015-07-02	Clifford Wolf	Fixed trailing whitespaces	blob \| commitdiff \| raw \| diff to current
2015-04-03	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2015-02-09	Clifford Wolf	Fixed creation of command reference in manual	blob \| commitdiff \| raw \| diff to current
2015-02-09	Clifford Wolf	Updated command reference in manual	blob \| commitdiff \| raw \| diff to current
2014-11-08	Clifford Wolf	Various documentation updates	blob \| commitdiff \| raw \| diff to current
2014-09-22	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
next

RSS Atom