projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
kernel: Try an order-independent approach to hashing `dict`.
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