projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
qbfsat: Fixes three bugs.
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
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
next