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

2020-05-29	Alberto Gonzalez	smtbmc: Remove superfluous `yosys-smt2-timeout` file...	commit \| commitdiff \| tree
2020-05-28	Alberto Gonzalez	printattrs: Simplify `get_indent_str()`.	commit \| commitdiff \| tree
2020-05-27	Alberto Gonzalez	printattrs: Refactor indentation string building for...	commit \| commitdiff \| tree
2020-05-27	Alberto Gonzalez	printattrs: Add test.	commit \| commitdiff \| tree
2020-05-27	Alberto Gonzalez	printattrs: Use `flags` to pretty-print the `RTLIL...	commit \| commitdiff \| tree
2020-05-27	Alberto Gonzalez	misc: Add `printattrs` command.	commit \| commitdiff \| tree
2020-05-25	Alberto Gonzalez	smtbmc and qbfsat: Add timeout option to set solver...	commit \| commitdiff \| tree
2020-05-25	Alberto Gonzalez	qbfsat: Add support for CVC4.	commit \| commitdiff \| tree
2020-05-25	Alberto Gonzalez	qbfsat: Move SMT2 info statements back to the top of...	commit \| commitdiff \| tree
2020-05-25	Alberto Gonzalez	qbfsat: Add `-solver` option and allow choice of Z3...	commit \| commitdiff \| tree
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-19	Alberto Gonzalez	kernel: Try an order-independent approach to hashing...	commit \| commitdiff \| tree
2020-05-19	Alberto Gonzalez	smtbmc: Fix typo in error message.	commit \| commitdiff \| tree
2020-05-17	Alberto Gonzalez	firrtl: Accept techmapped cell types in FIRRTL backend.	commit \| commitdiff \| tree
2020-05-15	Alberto Gonzalez	log: Use `dict` instead of `std::vector<std::pair>...	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-14	Alberto Gonzalez	smtbmc: Fix return status handling.	commit \| commitdiff \| tree
2020-05-06	Alberto Gonzalez	verilog: Move lexer location variables from global...	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
next

RSS Atom