projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
printattrs: Use `flags` to pretty-print the `RTLIL::Const` appropriately.
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-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
smtbmc: Fix typo in error message.
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
smtbmc: Fix return status handling.
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
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `kernel/yosys...
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Add explanatory comment about inefficient wire removal...
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Remove unused function parameter.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Simplify iterating over selected modules or cells.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Replace `RTLIL::id2cstr()` with `log_id()`.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Fix double deletion in `passes/hierarchy/hierarchy...
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Further clean up `passes/sat/eval.cc`.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Further clean up `passes/sat/freduce.cc`.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Clean up more in `passes/sat/expose.cc`.
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/sat...
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/sat...
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/cmds...
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/sat...
commit
|
commitdiff
|
tree
2020-03-27
Alberto Gonzalez
Revert over-aggressive change to a more modest cleanup.
commit
|
commitdiff
|
tree
2020-03-26
Alberto Gonzalez
Do not change solver output parsing for non-exists...
commit
|
commitdiff
|
tree
2020-03-26
Alberto Gonzalez
Skip reading stdout from the solver that if it isn...
commit
|
commitdiff
|
tree
2020-03-23
Alberto Gonzalez
Do not warn on empty selection with prefixed `arg_memb`.
commit
|
commitdiff
|
tree
2020-03-23
Alberto Gonzalez
Suppress warnings for empty `select` arguments when...
commit
|
commitdiff
|
tree
2020-03-23
Alberto Gonzalez
Add tests for `select` command warnings.
commit
|
commitdiff
|
tree
next