| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Clean up `passes/sat/qbfsat.cc`. | Alberto Gonzalez | 2020-04-09 | 1 | -13/+10 |
| * | Remove `$anyconst` cells before specialization to eliminate warnings and the ... | Alberto Gonzalez | 2020-04-07 | 1 | -2/+25 |
| * | Use newly-renamed `-push-copy` option. | Alberto Gonzalez | 2020-04-04 | 1 | -1/+1 |
| * | Improve style in `passes/sat/qbfsat.cc`. | Alberto Gonzalez | 2020-04-04 | 1 | -4/+2 |
| * | Gracefully report error when module has nothing to prove. | Alberto Gonzalez | 2020-04-04 | 1 | -5/+8 |
| * | Suppress `yosys-smtbmc` output unless the new `-show-smtbmc` option is provided. | Alberto Gonzalez | 2020-04-04 | 1 | -5/+14 |
| * | Fix handling of `-sat` and `-unsat` options when the solver returns `unknown`. | Alberto Gonzalez | 2020-04-04 | 1 | -0/+2 |
| * | Use `log_push()` and `log_pop()` and show the satisfiable model when `-specia... | Alberto Gonzalez | 2020-04-04 | 1 | -0/+28 |
| * | Clean up `qbfsat` command and fix AND-reduction of miter outputs. | Alberto Gonzalez | 2020-04-04 | 1 | -8/+10 |
| * | Use the `-duplicate` option rather than `-save` and `-load` with an explicit ... | Alberto Gonzalez | 2020-04-04 | 1 | -2/+2 |
| * | Use internal `run_command()` API instead of `popen()`. | Alberto Gonzalez | 2020-04-04 | 1 | -49/+15 |
| * | Clean up manual casting. | Alberto Gonzalez | 2020-04-04 | 1 | -2/+2 |
| * | Remove unimplemented `-timeout` option. | Alberto Gonzalez | 2020-04-04 | 1 | -16/+4 |
| * | Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat`... | Alberto Gonzalez | 2020-04-04 | 1 | -3/+66 |
| * | Add NDEBUG guards to `qbfsat` assertions. | Alberto Gonzalez | 2020-04-04 | 1 | -0/+18 |
| * | Implement `-specialize-from-file` option for the `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -23/+56 |
| * | Implement `-write-solution` option for the `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -7/+28 |
| * | Clean up `passes/sat/qbfsat.cc`. | Alberto Gonzalez | 2020-04-04 | 1 | -86/+101 |
| * | Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val... | Alberto Gonzalez | 2020-04-04 | 2 | -32/+54 |
| * | Hole value recovery and specialization implementation for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 2 | -20/+70 |
| * | Barebones implementation of `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -32/+157 |
| * | Initial skeleton for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 2 | -0/+207 |
| * | Rename `-duplicate` to `-push-copy`. | Alberto Gonzalez | 2020-04-04 | 1 | -6/+6 |
| * | Add `-duplicate` option to the `design` command. | Alberto Gonzalez | 2020-04-03 | 1 | -2/+13 |
| * | Merge pull request #1783 from boqwxp/astcc_cleanup | Eddie Hung | 2020-03-30 | 1 | -13/+20 |
| |\ |
|
| | * | Add explanatory comment about inefficient wire removal and remove superfluous... | Alberto Gonzalez | 2020-03-30 | 1 | -4/+8 |
| | * | Revert over-aggressive change to a more modest cleanup. | Alberto Gonzalez | 2020-03-27 | 1 | -2/+3 |
| | * | Clean up pseudo-private member usage in `frontends/ast/ast.cc`. | Alberto Gonzalez | 2020-03-19 | 1 | -11/+13 |
| * | | Merge pull request #1835 from boqwxp/cleanup_sat_expose | Eddie Hung | 2020-03-30 | 1 | -85/+66 |
| |\ \ |
|
| | * | | Remove unused function parameter. | Alberto Gonzalez | 2020-03-30 | 1 | -2/+2 |
| | * | | Simplify iterating over selected modules or cells. | Alberto Gonzalez | 2020-03-30 | 1 | -16/+4 |
| | * | | Clean up more in `passes/sat/expose.cc`. | Alberto Gonzalez | 2020-03-30 | 1 | -64/+59 |
| | * | | Clean up pseudo-private member usage in `passes/sat/expose.cc`. | Alberto Gonzalez | 2020-03-28 | 1 | -11/+9 |
| * | | | Merge pull request #1832 from boqwxp/cleanup_passes_cmds_design | Eddie Hung | 2020-03-30 | 1 | -31/+33 |
| |\ \ \ |
|
| | * | | | Replace `RTLIL::id2cstr()` with `log_id()`. | Alberto Gonzalez | 2020-03-30 | 1 | -1/+1 |
| | * | | | Clean up pseudo-private member usage in `passes/cmds/design.cc`. | Alberto Gonzalez | 2020-03-28 | 1 | -31/+33 |
| | |/ / |
|
| * | | | Merge pull request #1786 from boqwxp/hierarchycc_cleanup | Eddie Hung | 2020-03-30 | 1 | -69/+63 |
| |\ \ \ |
|
| | * | | | Fix double deletion in `passes/hierarchy/hierarchy.cc`. | Alberto Gonzalez | 2020-03-30 | 1 | -1/+0 |
| | * | | | Clean up pseudo-private member usage in `passes/hierarchy/hierarchy.cc`. | Alberto Gonzalez | 2020-03-19 | 1 | -68/+63 |
| | | |/
| |/| |
|
| * | | | Merge pull request #1831 from boqwxp/cleanup_sat_eval | Eddie Hung | 2020-03-30 | 1 | -46/+44 |
| |\ \ \ |
|
| | * | | | Further clean up `passes/sat/eval.cc`. | Alberto Gonzalez | 2020-03-30 | 1 | -16/+15 |
| | * | | | Clean up pseudo-private member usage in `passes/sat/eval.cc`. | Alberto Gonzalez | 2020-03-28 | 1 | -35/+34 |
| | | |/
| |/| |
|
| * | | | Merge pull request #1833 from boqwxp/cleanup_sat_freduce | Eddie Hung | 2020-03-30 | 1 | -15/+13 |
| |\ \ \ |
|
| | * | | | Further clean up `passes/sat/freduce.cc`. | Alberto Gonzalez | 2020-03-30 | 1 | -3/+2 |
| | * | | | Clean up pseudo-private member usage in `passes/sat/freduce.cc`. | Alberto Gonzalez | 2020-03-28 | 1 | -13/+12 |
| | |/ / |
|
| * | | | Merge pull request #1811 from PeterCrozier/typedef_scope | N. Engelhardt | 2020-03-30 | 6 | -43/+88 |
| |\ \ \ |
|
| | * | | | Inline productions to follow house style. | Peter Crozier | 2020-03-27 | 1 | -33/+29 |
| | * | | | Error duplicate declarations of a typedef name in the same scope. | Peter Crozier | 2020-03-24 | 2 | -3/+11 |
| | * | | | Support module/package/interface/block scope for typedef names. | Peter Crozier | 2020-03-23 | 6 | -22/+63 |
| * | | | | Merge pull request #1778 from rswarbrick/sv-defines | N. Engelhardt | 2020-03-30 | 11 | -151/+636 |
| |\ \ \ \ |
|
