[pull] master from YosysHQ:master#57

Open

pull[bot] wants to merge 315 commits intoSymbiFlow:masterfrom YosysHQ:master

+9,661-1,043

This pull request is big! We're only showing the most recent 250 commits

Commits on May 9, 2022

Adding new Getting started guide
KrystalDelusion
committed

Commits on May 10, 2022

Initial FIFO description
KrystalDelusion
committed

Commits on May 11, 2022

Commits on May 24, 2022

docs: add instructions for newer btorsim version required
nakengelhardt
committed

Commits on May 25, 2022

Commits on May 26, 2022

Merge pull request #161 from programmerjake/add-div-mod-floor-tests
jix
authored

Commits on Jun 1, 2022

update install instructions for btorsim
nakengelhardt
committed

Commits on Jun 2, 2022

Commits on Jun 3, 2022

Commits on Jun 6, 2022

Add init check
KrystalDelusion
committed
Adding USE_VERIFIC flag
KrystalDelusion
committed
Verification properties in doc
KrystalDelusion
committed

Commits on Jun 7, 2022

Commits on Jun 9, 2022

Adding noskip task
KrystalDelusion
committed
Add section on sby to newstart
KrystalDelusion
committed

Commits on Jun 10, 2022

Commits on Jun 15, 2022

Commits on Jun 18, 2022

Use default prefix directory when no task is specified
georgerennie
committed

Commits on Jun 20, 2022

Reflect recent engine updates in the reference docs
jix
committed

Commits on Jun 24, 2022

Commits on Jun 27, 2022

Commits on Jun 29, 2022

Merge pull request #158 from jix/autotune
jix
authored

Commits on Jun 30, 2022

Updating from feedback
KrystalDelusion
committed
docs: add missing autotune.rst
jix
committed
Merge pull request #189 from jix/autotune_docs
jix
authored
Removing unnecessary underflow assertions
KrystalDelusion
committed
New exercise section
KrystalDelusion
committed
Changed phrasing to avoid confusion on witnesses
KrystalDelusion
committed
Merge branch 'master' into fifo_example
KrystalDelusion
committed

Commits on Jul 3, 2022

Merge pull request #170 from programmerjake/add-simcheck-option
jix
authored
Adding makefile for fifo
KrystalDelusion
committed
More literalincludes
KrystalDelusion
committed

Commits on Jul 5, 2022

Commits on Jul 6, 2022

Commits on Jul 8, 2022

Commits on Jul 11, 2022

Commits on Jul 13, 2022

Commits on Jul 26, 2022

Commits on Aug 1, 2022

Merge branch 'YosysHQ:master' into fifo_example
KrystalDelusion
authored
Remove redundancies in certain logic checks
KrystalDelusion
committed
Testing fifo things in CI
KrystalDelusion
committed
Merge pull request #201 from jix/autotune_example_in_docs
jix
authored
sby: core: config: cleaned up the error messages to make them less opaque
lethalbit
committed
Fixed bigtest
KrystalDelusion
committed
Check output of fifo.sby
KrystalDelusion
committed

Commits on Aug 2, 2022

Changes to reset
KrystalDelusion
committed

Commits on Aug 3, 2022

Commits on Aug 8, 2022

Fix typo
KrystalDelusion
committed
Add noverific task to test the non verific code
KrystalDelusion
committed
Rewrite of non verific underfill/overfill
KrystalDelusion
committed

Commits on Aug 17, 2022

Commits on Aug 18, 2022

Commits on Aug 22, 2022

Fixes before merge
KrystalDelusion
committed
Moving newstart to replace quickstart
KrystalDelusion
committed
Merge pull request #174 from KrystalDelusion/fifo_example
nakengelhardt
authored

Commits on Sep 2, 2022

Commits on Sep 5, 2022

Commits on Sep 6, 2022

Fixing golden/fifo.sv
KrystalDelusion
committed

Commits on Sep 8, 2022

Merge pull request #215 from KrystalDelusion/master
jix
authored

Commits on Sep 15, 2022

Commits on Oct 20, 2022

Commits on Oct 24, 2022

Commits on Oct 31, 2022

Add color handling via click.style and click.echo
clairexen
committed

Commits on Nov 2, 2022

Add colors to early and late log messages
clairexen
committed

Commits on Nov 24, 2022

Commits on Dec 9, 2022

Commits on Dec 19, 2022

Commits on Jan 10, 2023

Commits on Jan 11, 2023

Commits on Jan 25, 2023

Merge pull request #227 from jix/sim_traces
jix
authored

Commits on Feb 6, 2023

Commits on Feb 8, 2023

Commits on Feb 13, 2023

Commits on Feb 18, 2023

-f clean: QoL improvement on Windows concerning file/dir removal locking

dlmiles
authored and
Darryl Miles
committed

Commits on Feb 20, 2023

Merge pull request #232 from dlmiles/win-qol-cleanopt
jix
authored

Commits on May 3, 2023

Change Sphinx theme to "furo"
jix
committed

Commits on May 8, 2023

Update .readthedocs.yaml
jix
committed

Commits on May 16, 2023

Adding prep mode and skip_prep option
KrystalDelusion
committed

Commits on Jun 2, 2023

Commits on Jun 3, 2023

Add aigvmap and aigsyms options
clairexen
committed

Commits on Jun 4, 2023

Commits on Jun 7, 2023

Commits on Jun 12, 2023

Add sphinx-argparse to generate usage
KrystalDelusion
committed

Commits on Jun 19, 2023

Commits on Jun 23, 2023

smtbmc: Allow using --keep-going in cover mode
jix
committed

Commits on Jun 26, 2023

Merge pull request #244 from jix/smtbmc-cover-keepgoing
jix
authored

Commits on Jun 28, 2023

Merge pull request #240 from YosysHQ/claire/aigfolds
clairexen
authored

Commits on Jul 17, 2023

Commits on Aug 11, 2023

assume_early option to implement cross assumes in IVY
jix
committed

Commits on Aug 25, 2023

Merge pull request #248 from jix/ivy_wip
mmicko
authored

Commits on Sep 8, 2023

Create codeql.yml
mmicko
authored

Commits on Sep 28, 2023

Commits on Oct 2, 2023

Commits on Nov 16, 2023

Add aigcxemin and cexenum.py tools
jix
committed

Commits on Nov 20, 2023

Merge pull request #252 from jix/cexenum
jix
authored

Commits on Dec 2, 2023

Fix PREFIX in makefile to accept environment variable, if set
davekeeshan
committed

Commits on Jan 15, 2024

Merge pull request #254 from daxzio/prefix_fix
nakengelhardt
authored

Commits on Jan 19, 2024

tests: Support testing an installed SBY using the SBY_CMD make variable
jix
committed

Commits on Jan 22, 2024

Commits on Jan 23, 2024

Merge pull request #259 from jix/prepare-check
jix
authored

Commits on Jan 24, 2024

sby_design: Also track fairness assumptions
jix
committed

Commits on Jan 29, 2024

Commits on Feb 1, 2024

Merge pull request #260 from jix/prepare-check
jix
authored

Commits on Feb 20, 2024

Commits on Mar 6, 2024