| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | Merge pull request #3544 from jix/cosim-ffinit | Jannis Harder | 2022-11-07 | 1 | -12/+11 | |
| |\ \ \ | ||||||
| | * | | | sim: Run a comb-only update step to set past values during FST cosim | Jannis Harder | 2022-11-07 | 1 | -12/+11 | |
| |/ / / | ||||||
| * | | | Update CHANGELOG | Miodrag Milanovic | 2022-11-07 | 1 | -1/+5 | |
| * | | | Merge pull request #3536 from YosysHQ/claire/vcdend | Miodrag Milanović | 2022-11-07 | 1 | -0/+1 | |
| |\ \ \ | ||||||
| | * | | | Add extra time at the end of a sat VCD trace | Claire Xenia Wolf | 2022-11-01 | 1 | -0/+1 | |
| * | | | | Merge pull request #3543 from jix/fstdata-fixes | Miodrag Milanović | 2022-11-07 | 1 | -8/+20 | |
| |\ \ \ \ | ||||||
| | * | | | | fstdata: Update past_data before end_time callback | Jannis Harder | 2022-11-07 | 1 | -0/+1 | |
| | * | | | | fstdata: Handle square/angle bracket replacemnt, change memory handling | Jannis Harder | 2022-11-07 | 1 | -8/+19 | |
| |/ / / / | ||||||
| * | | | | Update CHANGELOG | Miodrag Milanovic | 2022-11-07 | 1 | -0/+11 | |
| * | | | | Bump version | github-actions[bot] | 2022-11-05 | 1 | -1/+1 | |
| * | | | | Separate deprecated compilers on CI | Miodrag Milanovic | 2022-11-04 | 2 | -14/+21 | |
| |/ / / | ||||||
| * | | | Bump version | github-actions[bot] | 2022-11-01 | 1 | -1/+1 | |
| * | | | Merge pull request #3533 from YosysHQ/micko/liberty | Miodrag Milanović | 2022-10-31 | 2 | -1/+84 | |
| |\ \ \ | ||||||
| | * | | | Add additional help info | Miodrag Milanovic | 2022-10-31 | 1 | -0/+2 | |
| | * | | | 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 | |
| * | | | | Merge pull request #3534 from mmicko/win32_plugins | Miodrag Milanović | 2022-10-31 | 3 | -6/+942 | |
| |\ \ \ \ | |/ / / |/| | | | ||||||
| | * | | | Windows plugin build support | Miodrag Milanovic | 2022-10-31 | 1 | -6/+28 | |
| | * | | | Add dlfcn library for win32 | Miodrag Milanovic | 2022-10-28 | 2 | -0/+914 | |
| * | | | | 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 | |
| |\ \ \ \ | |/ / / |/| | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |