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

2020-05-19	Alberto Gonzalez	kernel: Try an order-independent approach to hashing...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	kernel: Ensure `dict` always hashes to the same value...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	kernel: Re-implement `dict` hash code as a `dict` member...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	techmap: Replace naughty `const_cast<>()`s.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	techmap: Replace pseudo-private member usage with the...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::set`s using custom comparators with ...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Further clean up `passes/techmap/techmap.cc`.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Use `emplace()` for more efficient insertion into various...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Build constant bits directly rather than constructing...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::set` with `pool` for `cell_to_inbit`...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Use `emplace()` rather than `insert()`.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Clean up pseudo-private member usage and ensure range...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Clean up extraneous buffer.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::map` with `dict` for `unique_bit_id`.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::map` with `dict` for `port_new2old_map...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::map` with `dict` for `connbits_map`,...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::map` with `dict` for `TechmapWires` type.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::map` with `dict` for `celltypeMap`.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::set` with `pool` for `handled_cells`...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::map` with `dict` for `positional_ports`.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Add specialized `hash()` for type `dict` and use a...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::map` with `dict` for `simplemap_mappers`.	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Use `nullptr` instead of `NULL` in `passes/techmap...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Replace `std::string` and `RTLIL::IdString` with `IdString...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Do not modify design modules while iterating over ...	commit \| commitdiff \| tree
2020-05-14	Alberto Gonzalez	Clean up pseudo-private member usage, superfluous ...	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
next

RSS Atom