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

2020-03-28	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/sat...	commit \| commitdiff \| tree
2020-03-26	Alberto Gonzalez	Do not change solver output parsing for non-exists...	commit \| commitdiff \| tree
2020-03-26	Alberto Gonzalez	Skip reading stdout from the solver that if it isn...	commit \| commitdiff \| tree
2020-03-23	Alberto Gonzalez	Do not warn on empty selection with prefixed `arg_memb`.	commit \| commitdiff \| tree
2020-03-23	Alberto Gonzalez	Suppress warnings for empty `select` arguments when...	commit \| commitdiff \| tree
2020-03-23	Alberto Gonzalez	Add tests for `select` command warnings.	commit \| commitdiff \| tree
2020-03-23	Alberto Gonzalez	Warn on empty selection for `add` command.	commit \| commitdiff \| tree
2020-03-19	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/sat...	commit \| commitdiff \| tree
2020-03-18	Alberto Gonzalez	Update copyright and license header.	commit \| commitdiff \| tree
2020-03-18	Alberto Gonzalez	Clean up `exec` code according to review.	commit \| commitdiff \| tree
2020-03-17	Alberto Gonzalez	Add AST node source location information in a couple...	commit \| commitdiff \| tree
2020-03-16	Alberto Gonzalez	Further clean up `passes/cmds/select.cc`.	commit \| commitdiff \| tree
2020-03-16	Alberto Gonzalez	Cleanup code style and pseudo-private member usage...	commit \| commitdiff \| tree
2020-03-16	Alberto Gonzalez	Add test for `exec` command.	commit \| commitdiff \| tree
2020-03-16	Alberto Gonzalez	Allow specifying multiple regexes to match in `exec...	commit \| commitdiff \| tree
2020-03-16	Alberto Gonzalez	Add `exec` command to run shell commands.	commit \| commitdiff \| tree
2020-03-13	Alberto Gonzalez	Clean up pseudo-private member usage in `backends/smt2...	commit \| commitdiff \| tree
2020-03-13	Alberto Gonzalez	Add support for optimizing exists-forall problems.	commit \| commitdiff \| tree
2020-03-10	Alberto Gonzalez	Extend `add` command to allow adding cells for verification...	commit \| commitdiff \| tree
2020-03-10	Alberto Gonzalez	Clean up passes/cmds/add.cc code style.	commit \| commitdiff \| tree
2020-03-10	Alberto Gonzalez	Set AST source locations in more parser rules.	commit \| commitdiff \| tree
2020-02-24	Alberto Gonzalez	Change attribute search value to specify precise location...	commit \| commitdiff \| tree
2020-02-24	Alberto Gonzalez	Change attribute search value to specify precise location...	commit \| commitdiff \| tree
2020-02-23	Alberto Gonzalez	Closes #1717. Add more precise Verilog source location...	commit \| commitdiff \| tree
2020-02-22	Alberto Gonzalez	Closes #1714. Fix make failure when NDEBUG=1.	commit \| commitdiff \| tree

RSS Atom