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

2020-04-04	Alberto Gonzalez	Updated `yosys-smtbmc` to optionally dump raw bit strings...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Hole value recovery and specialization implementation...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Barebones implementation of `qbfsat` command.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Initial skeleton for `qbfsat` command.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Rename `-duplicate` to `-push-copy`.	commit \| commitdiff \| tree
2020-04-03	Alberto Gonzalez	Add `-duplicate` option to the `design` command.	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Add explanatory comment about inefficient wire removal...	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Remove unused function parameter.	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Simplify iterating over selected modules or cells.	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Replace `RTLIL::id2cstr()` with `log_id()`.	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Fix double deletion in `passes/hierarchy/hierarchy...	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Further clean up `passes/sat/eval.cc`.	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Further clean up `passes/sat/freduce.cc`.	commit \| commitdiff \| tree
2020-03-30	Alberto Gonzalez	Clean up more in `passes/sat/expose.cc`.	commit \| commitdiff \| tree
2020-03-28	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/sat...	commit \| commitdiff \| tree
2020-03-28	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/sat...	commit \| commitdiff \| tree
2020-03-28	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/cmds...	commit \| commitdiff \| tree
2020-03-28	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/sat...	commit \| commitdiff \| tree
2020-03-27	Alberto Gonzalez	Revert over-aggressive change to a more modest cleanup.	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 `frontends...	commit \| commitdiff \| tree
2020-03-19	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/sat...	commit \| commitdiff \| tree
2020-03-19	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/hierarchy...	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