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

2020-07-20	Alberto Gonzalez	smtio: Emit `mode: start` options before `set-logic...	commit \| commitdiff \| tree
2020-07-20	Alberto Gonzalez	smtio: Add support for parsing `yosys-smt2-solver-option...	commit \| commitdiff \| tree
2020-07-20	Alberto Gonzalez	qbfsat: Add `-solver-option` option.	commit \| commitdiff \| tree
2020-07-20	Alberto Gonzalez	smt2: Add `-solver-option` option.	commit \| commitdiff \| tree
2020-07-01	Alberto Gonzalez	qbfsat: Remove useless comment and #ifndef guards.	commit \| commitdiff \| tree
2020-07-01	Alberto Gonzalez	qbfsat: Specify default values for some options in...	commit \| commitdiff \| tree
2020-07-01	Alberto Gonzalez	qbfsat: Clean up external executable command lines...	commit \| commitdiff \| tree
2020-07-01	Alberto Gonzalez	qbfsat: Clean up and refactor data structures into...	commit \| commitdiff \| tree
2020-06-30	Alberto Gonzalez	qbfsat: Add `-O[012]` options to control pre-solving...	commit \| commitdiff \| tree
2020-06-30	Alberto Gonzalez	qbfsat: Fix name-based hole specialization.	commit \| commitdiff \| tree
2020-06-21	Alberto Gonzalez	log: Remove unused `_POSIX_TIMERS` branch in `PerformanceTim...	commit \| commitdiff \| tree
2020-06-21	Alberto Gonzalez	log, qbfsat: Include child process time in `PerformanceTimer...	commit \| commitdiff \| tree
2020-06-21	Alberto Gonzalez	qbfsat: Simplify solution recovery parsing and tweak...	commit \| commitdiff \| tree
2020-06-21	Alberto Gonzalez	qbfsat: Avoid instantiating `AttrObject`s directly.	commit \| commitdiff \| tree
2020-06-21	Alberto Gonzalez	qbfsat: Simplify solution format and replace `SigBit...	commit \| commitdiff \| tree
2020-06-21	Alberto Gonzalez	qbfsat: Fixes three bugs.	commit \| commitdiff \| tree
2020-06-21	Alberto Gonzalez	qbfsat: Use bit precise mapping for hole value wires...	commit \| commitdiff \| tree
2020-06-19	Alberto Gonzalez	dict: Remove guard for past-the-end iterators that...	commit \| commitdiff \| tree
2020-06-19	Alberto Gonzalez	rtlil: Add `Design::select()` for selecting whole modules.	commit \| commitdiff \| tree
2020-06-19	Alberto Gonzalez	hashlib, rtlil: Add `operator+=()` to `dict<>::iterator...	commit \| commitdiff \| tree
2020-06-18	Alberto Gonzalez	cutpoint: Improve efficiency by iterating over module...	commit \| commitdiff \| tree
2020-06-13	Alberto Gonzalez	splitnets: Clean up pseudo-private member usage	commit \| commitdiff \| tree
2020-06-13	Alberto Gonzalez	splitnets: Slightly improve efficiency by avoiding...	commit \| commitdiff \| tree
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
next

RSS Atom