Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enable importing blackbox modules only | Miodrag Milanovic | 2022-10-31 | 1 | -1/+33 |
* | Support for reading liberty files using verific | Miodrag Milanovic | 2022-10-31 | 2 | -1/+50 |
* | Bump version | github-actions[bot] | 2022-10-31 | 1 | -1/+1 |
* | Add missing log_dump_val_worker forward declarations | Claire Xenia Wolf | 2022-10-30 | 1 | -0/+5 |
* | Bump version | github-actions[bot] | 2022-10-30 | 1 | -1/+1 |
* | Merge pull request #3530 from jix/simlib-mux-fix | Jannis Harder | 2022-10-29 | 1 | -4/+2 |
|\ | |||||
| * | simlib: Simplify recently changed $mux model | Jannis Harder | 2022-10-28 | 1 | -4/+2 |
|/ | |||||
* | Bump version | github-actions[bot] | 2022-10-25 | 1 | -1/+1 |
* | Merge pull request #3528 from YosysHQ/claire/crossbits | Claire Xen | 2022-10-25 | 1 | -4/+32 |
|\ | |||||
| * | Add miter -cross option | Claire Xenia Wolf | 2022-10-24 | 1 | -4/+32 |
|/ | |||||
* | Merge pull request #3526 from jix/mux-simlib-eval | Jannis Harder | 2022-10-24 | 5 | -15/+38 |
|\ | |||||
| * | Consistent $mux undef handling | Jannis Harder | 2022-10-24 | 5 | -15/+38 |
* | | Merge pull request #3518 from jix/smtmap | Jannis Harder | 2022-10-24 | 2 | -0/+29 |
|\ \ | |||||
| * | | Add smtmap.v describing the smt2 backend's behavior for undef bits | Jannis Harder | 2022-10-20 | 2 | -0/+29 |
* | | | Merge pull request #3517 from jix/smtbmc-witness-no-assume-skipped | Jannis Harder | 2022-10-24 | 1 | -3/+0 |
|\ \ \ | |||||
| * | | | smtbmc: Do not assume skipped assertions when loading a witness trace | Jannis Harder | 2022-10-20 | 1 | -3/+0 |
* | | | | Merge pull request #3523 from lparkes/basename | Miodrag Milanović | 2022-10-24 | 1 | -1/+1 |
|\ \ \ \ | |||||
| * | | | | Replace GNU specific invocation of basename(1) with the equivalent | Lloyd Parkes | 2022-10-23 | 1 | -1/+1 |
* | | | | | Merge pull request #3512 from lparkes/fstapi | Miodrag Milanović | 2022-10-24 | 1 | -0/+2 |
|\ \ \ \ \ | |||||
| * | | | | | And another place we need to lseek() after dup(). | Lloyd Parkes | 2022-10-16 | 1 | -0/+1 |
| * | | | | | Forcibly set the current seek location of gz files that we are accessing | Lloyd Parkes | 2022-10-16 | 1 | -0/+1 |
* | | | | | | Update CodeQL action | Miodrag Milanovic | 2022-10-24 | 1 | -1/+1 |
* | | | | | | Bump version | github-actions[bot] | 2022-10-22 | 1 | -1/+1 |
| |/ / / / |/| | | | | |||||
* | | | | | Merge pull request #3521 from YosysHQ/ci_upgrade | Miodrag Milanović | 2022-10-21 | 5 | -14/+14 |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | |||||
| * | | | | Update versions of CI actions used | Miodrag Milanovic | 2022-10-21 | 5 | -14/+14 |
|/ / / / | |||||
* | | / | Bump version | github-actions[bot] | 2022-10-21 | 1 | -1/+1 |
| |_|/ |/| | | |||||
* | | | Add missing log_dump handler for std::vector<> | Claire Xenia Wolf | 2022-10-20 | 1 | -0/+12 |
| |/ |/| | |||||
* | | Bump version | github-actions[bot] | 2022-10-20 | 1 | -1/+1 |
* | | Temporal induction counterexample loop detection (#3504) | Emil J | 2022-10-19 | 1 | -1/+36 |
* | | Merge pull request #3514 from jix/smtbmc-kind-witness-fix | Jannis Harder | 2022-10-19 | 1 | -1/+1 |
|\ \ | |||||
| * | | smtbmc: Fix witness handling for k-induction failures | Jannis Harder | 2022-10-18 | 1 | -1/+1 |
* | | | Bump version | github-actions[bot] | 2022-10-15 | 1 | -1/+1 |
* | | | Merge pull request #3511 from YosysHQ/improve_edif | Miodrag Milanović | 2022-10-14 | 1 | -1/+31 |
|\ \ \ | |/ / |/| | | |||||
| * | | Skip verific primitives and operators import by default | Miodrag Milanovic | 2022-10-14 | 1 | -0/+1 |
| * | | Add option to import all cells from all libraries | Miodrag Milanovic | 2022-10-14 | 1 | -1/+30 |
|/ / | |||||
* | | Bump version | github-actions[bot] | 2022-10-13 | 1 | -1/+1 |
* | | Merge pull request #3510 from jix/ff_witness_fixes | Jannis Harder | 2022-10-12 | 4 | -12/+29 |
|\ \ | |||||
| * | | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs | Jannis Harder | 2022-10-12 | 4 | -12/+29 |
|/ / | |||||
* / | github: issues: added an OS dropdown to the issue template | Aki Van Ness | 2022-10-12 | 1 | -1/+13 |
|/ | |||||
* | Merge pull request #3502 from jix/equiv_opt_fixes | Jannis Harder | 2022-10-11 | 28 | -267/+207 |
|\ | |||||
| * | Reenable existing equiv_opt tests | Jannis Harder | 2022-10-07 | 13 | -54/+52 |
| * | Fix tests for check in equiv_opt | Jannis Harder | 2022-10-07 | 13 | -15/+31 |
| * | Add "check -assert" to equiv_opt | Claire Xenia Wolf | 2022-10-07 | 1 | -1/+13 |
| * | Re-enable opt_dff_sr equiv_opt checks | Claire Xenia Wolf | 2022-10-07 | 1 | -13/+12 |
| * | Exclude primary inputs from quiv_make rewiring | Claire Xenia Wolf | 2022-10-07 | 1 | -0/+7 |
| * | Revert "Merge pull request #641 from tklam/master" | Claire Xenia Wolf | 2022-10-07 | 1 | -81/+5 |
| * | clk2fflogic: Always correctly handle simultaneously changing signals | Jannis Harder | 2022-10-07 | 1 | -103/+87 |
* | | Bump version | github-actions[bot] | 2022-10-11 | 1 | -1/+1 |
* | | Merge pull request #3508 from YosysHQ/aki/rm_protobuf | Miodrag Milanović | 2022-10-10 | 5 | -562/+0 |
|\ \ | |||||
| * | | backends: protobuf: removed protobuf backend | Aki Van Ness | 2022-10-10 | 5 | -562/+0 |
|/ / |