| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 | 1 | -29/+39 |
| * | Hole value recovery and specialization implementation for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -20/+63 |
| * | 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 |
| * | 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 #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 |
| | |/ |
|
| * | | 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 |
| |/ |
|
| * | Clean up pseudo-private member usage in `passes/sat/miter.cc`. | Alberto Gonzalez | 2020-03-19 | 1 | -60/+56 |
| * | Merge pull request #1638 from YosysHQ/eddie/fix1631 | Eddie Hung | 2020-02-05 | 1 | -6/+77 |
| |\ |
|
| | * | clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_* | Eddie Hung | 2020-01-15 | 1 | -6/+77 |
| * | | Merge pull request #1567 from YosysHQ/eddie/sat_init_warning | Claire Wolf | 2020-01-28 | 1 | -1/+2 |
| |\ \ |
|
| | * | | Suppress warning message for init[i] = 1'bx | Eddie Hung | 2019-12-11 | 1 | -1/+2 |
| * | | | Add fminit pass | Clifford Wolf | 2020-01-09 | 2 | -0/+198 |
| | |/
|/| |
|
| * | | Fix sim for assignments with lhs<rhs size, fixes #1565 | Clifford Wolf | 2019-12-17 | 1 | -1/+1 |
| |/ |
|
| * | Revert "Be mindful that sigmap(wire) could have dupes when checking \init" | Eddie Hung | 2019-10-08 | 1 | -4/+1 |
| * | Be mindful that sigmap(wire) could have dupes when checking \init | Eddie Hung | 2019-10-02 | 1 | -1/+4 |
| * | Fix $dlatch handling in async2sync | Clifford Wolf | 2019-09-30 | 1 | -0/+1 |
| * | Add $dlatch support to async2sync | Clifford Wolf | 2019-08-28 | 1 | -1/+36 |
| * | Ignore all 1'bx in (* init *) | Eddie Hung | 2019-08-27 | 1 | -3/+1 |
| * | In sat: 'x' in init attr should not override constant | Eddie Hung | 2019-08-22 | 1 | -0/+2 |
| * | More use of IdString::in() | Eddie Hung | 2019-08-15 | 1 | -1/+1 |
| * | substr() -> compare() | Eddie Hung | 2019-08-07 | 3 | -6/+6 |
| * | Remove std:: namespace | Eddie Hung | 2019-08-07 | 1 | -5/+5 |
| * | stoi -> atoi | Eddie Hung | 2019-08-07 | 4 | -33/+33 |
| * | Use std::stoi instead of atoi(<str>.c_str()) | Eddie Hung | 2019-08-06 | 4 | -33/+33 |
| * | Use State::S{0,1} | Eddie Hung | 2019-08-06 | 2 | -3/+3 |
| * | Fix tests/various/async FFL test | Clifford Wolf | 2019-07-09 | 1 | -0/+7 |
| * | Add a few more filename rewrites | Ben Widawsky | 2019-06-20 | 1 | -0/+4 |
| * | Fixed the help summary line for a few commands | acw1251 | 2019-06-19 | 2 | -4/+4 |
| * | Error out if no top module given before 'sim' | Eddie Hung | 2019-06-05 | 1 | -0/+5 |
| * | Fix typo in fmcombine log message, fixes #1063 | Clifford Wolf | 2019-06-05 | 1 | -2/+2 |
| * | Add "fmcombine -initeq -anyeq" | Clifford Wolf | 2019-05-11 | 1 | -3/+38 |
| * | Fix bug in "expose -input" | Clifford Wolf | 2019-05-06 | 1 | -1/+1 |
| * | Add missing enable_undef to "sat -tempinduct-def", fixes #883 | Clifford Wolf | 2019-05-02 | 1 | -0/+1 |
| * | Add "techmap -wb", use in formal flows | Clifford Wolf | 2019-04-20 | 1 | -4/+4 |
| * | Added missing argument checking to "mutate" command | Clifford Wolf | 2019-04-04 | 1 | -0/+32 |
| * | Add "cutpoint -undef" | Clifford Wolf | 2019-03-26 | 1 | -10/+14 |
| * | Add "cutpoint" pass | Clifford Wolf | 2019-03-25 | 2 | -0/+165 |
| * | Add "mutate -none -mode", "mutate -mode none" | Clifford Wolf | 2019-03-23 | 1 | -1/+30 |
| * | Add "mutate -s <filename>" | Clifford Wolf | 2019-03-23 | 1 | -2/+24 |
| * | Improve mix of src/wire/wirebit coverage in "mutate -list" | Clifford Wolf | 2019-03-16 | 1 | -29/+84 |
