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

2020-05-23	Alberto Gonzalez	qbfsat: Remove cruft inadvertently left untouched in...	commit \| commitdiff \| tree
2020-05-23	Alberto Gonzalez	qbfsat: Add bisection mode and make it the default.	commit \| commitdiff \| tree
2020-05-01	Alberto Gonzalez	frontend: Include complete source location instead...	commit \| commitdiff \| tree
2020-04-23	Alberto Gonzalez	qbfsat: Make hole name recovery more robust. Allow...	commit \| commitdiff \| tree
2020-04-23	Alberto Gonzalez	qbfsat: Add `-assume-negative-polarity` option.	commit \| commitdiff \| tree
2020-04-21	Alberto Gonzalez	kernel: Rename arguments to rvalue-reference-accepting...	commit \| commitdiff \| tree
2020-04-20	Alberto Gonzalez	Add rvalue-reference-accepting `entry_t` constructor...	commit \| commitdiff \| tree
2020-04-20	Alberto Gonzalez	In `pool`, construct `entry_t`s in-place and add an...	commit \| commitdiff \| tree
2020-04-17	Alberto Gonzalez	Set Verilog source location for explicit blocks (`begin...	commit \| commitdiff \| tree
2020-04-17	Alberto Gonzalez	Add Verilog source location information to `AST_POSEDGE...	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Add location information to `AST_CONSTANT` nodes.	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Use `dict` instead of `std::map`.	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Revert to `stringf()` rather than stringstreams.	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Clean up pseudo-private member usage in `passes/cmds...	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Replace `std::map` with `dict`.	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Replace pseudo-private member access to `connections_...	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Clean up `passes/cmds/scatter.cc`.	commit \| commitdiff \| tree
2020-04-16	Alberto Gonzalez	Rename overloaded `insert()` to `emplace()` and add...	commit \| commitdiff \| tree
2020-04-15	Alberto Gonzalez	Use script-style heredoc syntax for REPL heredocs.	commit \| commitdiff \| tree
2020-04-15	Alberto Gonzalez	Allow reading file input from stdin, improving REPL...	commit \| commitdiff \| tree
2020-04-14	Alberto Gonzalez	Simplify `passes/techmap/abc.cc` and remove superfluous...	commit \| commitdiff \| tree
2020-04-13	Alberto Gonzalez	Add `dict` support for rvalue references and C++11...	commit \| commitdiff \| tree
2020-04-13	Alberto Gonzalez	Clean up pseudo-private member usage in `frontends...	commit \| commitdiff \| tree
2020-04-11	Alberto Gonzalez	Use `pool` instead of `std::set`.	commit \| commitdiff \| tree
2020-04-11	Alberto Gonzalez	Use `dict` instead of `std::map`.	commit \| commitdiff \| tree
2020-04-09	Alberto Gonzalez	Clean up `passes/sat/qbfsat.cc`.	commit \| commitdiff \| tree
2020-04-09	Alberto Gonzalez	Clean up `passes/memory/memory_collect.cc`.	commit \| commitdiff \| tree
2020-04-09	Alberto Gonzalez	Clean up `passes/memory/memory_unpack.cc`.	commit \| commitdiff \| tree
2020-04-09	Alberto Gonzalez	Clean up `passes/techmap/hilomap.cc`.	commit \| commitdiff \| tree
2020-04-08	Alberto Gonzalez	Clean up `passes/cmds/connect.cc`.	commit \| commitdiff \| tree
2020-04-07	Alberto Gonzalez	Remove `$anyconst` cells before specialization to eliminate...	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Use more descriptive variable name.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Use more descriptive variable name.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/cmds/show.cc`.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up private member usage in `passes/cmds/bugpoint...	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up private member usage in `passes/cmds/copy...	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/cmds/splice.cc`.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/cmds/setattr.cc`.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/cmds/connwrappers.cc`.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/cmds/delete.cc`.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/cmds/stat.cc`.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/tests/test_autotb.cc`.	commit \| commitdiff \| tree
2020-04-06	Alberto Gonzalez	Clean up `passes/techmap/dfflibmap.cc`.	commit \| commitdiff \| tree
2020-04-05	Alberto Gonzalez	Clean up pseudo-private member usage and simplify ...	commit \| commitdiff \| tree
2020-04-05	Alberto Gonzalez	Clean up `passes/techmap/extract.cc`.	commit \| commitdiff \| tree
2020-04-05	Alberto Gonzalez	Clean up `passes/hierarchy/submod.cc`.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Use newly-renamed `-push-copy` option.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Improve style in `passes/sat/qbfsat.cc`.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Gracefully report error when module has nothing to...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Suppress `yosys-smtbmc` output unless the new `-show...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Fix handling of `-sat` and `-unsat` options when the...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Use `log_push()` and `log_pop()` and show the satisfiable...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Clean up `qbfsat` command and fix AND-reduction of...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Use the `-duplicate` option rather than `-save` and...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Use internal `run_command()` API instead of `popen()`.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Clean up manual casting.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Remove unimplemented `-timeout` option.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Implement the `-assume-outputs`, `-sat`, and -unsat...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Add NDEBUG guards to `qbfsat` assertions.	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Implement `-specialize-from-file` option for the `qbfsat...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Implement `-write-solution` option for the `qbfsat...	commit \| commitdiff \| tree
2020-04-04	Alberto Gonzalez	Clean up `passes/sat/qbfsat.cc`.	commit \| commitdiff \| tree
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-04-01	Alberto Gonzalez	Fix indentation in `techlibs/ice40/synth_ice40.cc`.	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Update `RTLIL::id2cstr()` usage to `log_id`.	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Clean up pseudo-private member usage in `backends/intersynth...	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Clean up pseudo-private member usage in `backends/blif...	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Clean up pseudo-private member usage in `backends/verilog...	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Clean up pseudo-private member usage in `backends/spice...	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Clean up pseudo-private member usage in `backends/edif...	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Clean up pseudo-private member usage in `backends/ilang...	commit \| commitdiff \| tree
2020-04-01	Alberto Gonzalez	Clean up pseudo-private member usage in `kernel/yosys...	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
next

RSS Atom