Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

bump fork for version 0.41 #20

Merged
merged 79 commits into from
May 9, 2024
Merged
Changes from 1 commit
Commits
Show all changes
79 commits
Select commit Hold shift + click to select a range
3eeefd2
Typo fixup(s)
KrystalDelusion Mar 17, 2024
ff10aee
Fix some synth_* help messages
KrystalDelusion Mar 17, 2024
b87327d
fix hierarchy -generate mode handling of cells
nakengelhardt Apr 12, 2024
e8ec19c
add command that should not have any effect to hierarchy -generate te…
nakengelhardt Apr 12, 2024
a48825a
add support for using ABCs library merging when providing multiple li…
gadfort Apr 12, 2024
40e8f5b
Bump version
github-actions[bot] Apr 16, 2024
c38bbd7
Add new verific testing environment CI
mmicko Apr 16, 2024
52c04f3
Merge pull request #4341 from YosysHQ/mmicko/ci_update
mmicko Apr 16, 2024
4897e89
Bump version
github-actions[bot] Apr 17, 2024
171577f
Merge pull request #4340 from gadfort/abc-lib-merge
povik Apr 17, 2024
0d30a4d
rtlil: Add packed `extract` implementation for `SigSpec`
jix Apr 22, 2024
178eceb
rtlil: Replace the packed `SigSpec::extract` impl
povik Apr 22, 2024
4a666d3
Bump abc
povik Apr 22, 2024
6d6aa4d
Bump abc to cherry-pick a WASM build fix
povik Apr 22, 2024
c167d9b
Bump abc for one more fix
povik Apr 23, 2024
67c7062
Bump abc for a fix once more
povik Apr 23, 2024
982a22d
Merge pull request #4351 from povik/bump-abc
povik Apr 23, 2024
cf02f86
Bump version
github-actions[bot] Apr 24, 2024
cd1fb8b
Merge pull request #4350 from jix/read_rtlil_performance
povik Apr 24, 2024
c3ae33d
Merge pull request #4285 from YosysHQ/typo_fixup
KrystalDelusion Apr 24, 2024
34d9a74
Merge pull request #4333 from YosysHQ/fix_hierarchy_generate
nakengelhardt Apr 25, 2024
4e6deb5
read_aiger: Fix incorrect read of binary Aiger without outputs
georgerennie Apr 26, 2024
640d6a5
Merge pull request #4359 from georgerennie/aiger_parse_bug
povik Apr 29, 2024
dd21955
Bump version
github-actions[bot] Apr 30, 2024
fc82251
techmap: Support dynamic cell types
povik Apr 10, 2024
6ff4ecb
techmap: Remove `techmap_chtype` from the result
povik Apr 10, 2024
a833f05
techmap: add dynamic cell type test
widlarizer May 2, 2024
2631c7e
Merge pull request #4365 from widlarizer/techmap-chtype-test
widlarizer May 3, 2024
86e1080
cellmatch: New pass
povik Mar 27, 2024
6a9858c
cellmatch: Delegate evaluation to `ConstEval`
povik Apr 13, 2024
c0e68dc
cellmatch: Add debug print
povik Apr 13, 2024
913bc87
cellmatch: Add test
povik Apr 13, 2024
b143e56
cellmatch: Rename the special design to `$cellmatch`
povik Apr 13, 2024
e939182
cellmatch: add comments
widlarizer May 3, 2024
0f9ee20
Bump version
github-actions[bot] May 4, 2024
bb0be8c
Docs: Set release to YOSYS_VER
KrystalDelusion May 4, 2024
fe27240
Makefile: Export YOSYS_VER
KrystalDelusion May 4, 2024
68c7fc4
Merge pull request #4300 from YosysHQ/cellmatch
widlarizer May 6, 2024
6eb49ee
Makefile: Export YOSYS_VER only for make docs
KrystalDelusion May 6, 2024
90dd508
Merge pull request #4372 from YosysHQ/krys/docs_version_number
mmicko May 7, 2024
b4034a8
Keep docs version in conf.py
mmicko May 7, 2024
71f2540
docs conf.py change Release -> Version
mmicko May 7, 2024
a52088b
smtbmc: Improvements for --incremental and .yw fixes
jix May 7, 2024
df95ea8
read_verilog: Add missing defaults for flags
KrystalDelusion Apr 6, 2024
8735107
Merge pull request #4321 from YosysHQ/fix_read_verilog_defaults
nakengelhardt May 7, 2024
c9d87d5
Merge pull request #4377 from jix/smtbmc-incremental-improvements
mmicko May 7, 2024
09b9aa8
Add YosysHQ/abc as a submodule located in abc
RCoeurjoly Apr 12, 2024
67d4c8b
Use $< to refer to the first prerequisite listed in the rule
RCoeurjoly Apr 12, 2024
fdbe871
Check that abc is checkout out as a git repo
RCoeurjoly Apr 12, 2024
6d181c2
Checking different cases for abc
RCoeurjoly Apr 14, 2024
ce45011
Bump version
github-actions[bot] May 8, 2024
7294d8b
cxxrtl: fix close of invalid fd in spool destructor.
whitequark May 8, 2024
a2c1b26
frontend: Fixes verific import around range order
QuantamHD May 8, 2024
c039da2
renames variables for more code clairty
QuantamHD May 8, 2024
43ddd89
cxxrtl: fix `escape_c_string` hex literal fiasco.
whitequark May 8, 2024
9134cd1
cxxrtl: reduce stack space consumed by `debug_info()`.
whitequark Mar 21, 2024
80798da
cxxrtl: reduce stack space consumed by `debug_info()` further.
whitequark May 8, 2024
6e003e1
cxxrtl: minimize stack space consumed by `debug_info()`.
whitequark May 8, 2024
1ac0008
Merge pull request #4380 from whitequark/cxxrtl-metadata-compression
whitequark May 8, 2024
7ab43dc
Update ABC with Windows fixes
mmicko May 8, 2024
c1ad377
Release version 0.41
mmicko May 8, 2024
5616180
Next dev cycle
mmicko May 8, 2024
f806987
Add PR template
mmicko May 8, 2024
77dff5a
Merge pull request #4382 from YosysHQ/micko/pr_template
mmicko May 8, 2024
b37e8d5
Merge pull request #4243 from RCoeurjoly/submodule_abc
mmicko May 8, 2024
82a4a87
Fixes error with vector indicies of the form [2:7] [-12:7]
QuantamHD May 8, 2024
699049b
ci: Combine extra build flow yml
KrystalDelusion May 8, 2024
7bcef63
extra-builds.yml: Fix prereq list
KrystalDelusion May 8, 2024
174c7eb
extra-builds.yml: Add concurrent_skipping
KrystalDelusion May 8, 2024
cdce505
ci: Add skip check to other actions
KrystalDelusion May 8, 2024
a9eca90
ci: Drop emcc
KrystalDelusion May 8, 2024
878ac02
ci: Add skip check to test-verific
KrystalDelusion May 8, 2024
10686cd
Bump version
github-actions[bot] May 9, 2024
6df1337
ci: Update to Node.JS 20
KrystalDelusion May 9, 2024
b9b1da8
extra-builds.yml: Add skip check to vs-prep
KrystalDelusion May 9, 2024
514852a
Merge pull request #4364 from YosysHQ/krys/skip-duplicate-actions
mmicko May 9, 2024
93148a8
Modify abc directory content check
mmicko May 9, 2024
bdce7fa
Merge pull request #4386 from YosysHQ/micko/check_abc
mmicko May 9, 2024
1a54e8d
Merge pull request #4379 from QuantamHD/fix_verific
mmicko May 9, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Add new verific testing environment CI
  • Loading branch information
mmicko committed Apr 16, 2024
commit c38bbd7824edee850c328d8798c78494733fd1ef
77 changes: 77 additions & 0 deletions .github/workflows/test-verific.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,77 @@
name: Build and run tests with Verific (Linux)

on: [push, pull_request]

jobs:
test-verific:
runs-on: [self-hosted, linux, x64]
steps:
- name: Checkout Yosys
uses: actions/checkout@v4
with:
persist-credentials: false

- name: Runtime environment
run: |
echo "procs=$(nproc)" >> $GITHUB_ENV

- name: Build Yosys
run: |
make config-clang
echo "ENABLE_VERIFIC := 1" >> Makefile.conf
echo "ENABLE_VERIFIC_EDIF := 1" >> Makefile.conf
echo "ENABLE_VERIFIC_LIBERTY := 1" >> Makefile.conf
echo "ENABLE_CCACHE := 1" >> Makefile.conf
make -j${{ env.procs }}

- name: Install Yosys
run: |
make install DESTDIR=${GITHUB_WORKSPACE}/.local PREFIX=

- name: Checkout Documentation
if: ${{ github.ref == 'refs/heads/main' }}
uses: actions/checkout@v4
with:
path: 'yosys-cmd-ref'
repository: 'YosysHQ-Docs/yosys-cmd-ref'
fetch-depth: 0
token: ${{ secrets.CI_DOCS_UPDATE_PAT }}
persist-credentials: true

- name: Update documentation
if: ${{ github.ref == 'refs/heads/main' }}
run: |
make docs
rm -rf docs/build
cd yosys-cmd-ref
rm -rf *
git checkout README.md
cp -R ../docs/* .
rm -rf util/__pycache__
git add -A .
git diff-index --quiet HEAD || git commit -m "Update"
git push

- name: Checkout SBY
uses: actions/checkout@v4
with:
repository: 'YosysHQ/sby'
path: 'sby'

- name: Build SBY
run: |
make -C sby install DESTDIR=${GITHUB_WORKSPACE}/.local PREFIX=

- name: Run Yosys tests
run: |
make -j${{ env.procs }} test

- name: Run Verific specific Yosys tests
run: |
make -C tests/sva
cd tests/svtypes && bash run-test.sh

- name: Run SBY tests
if: ${{ github.ref == 'refs/heads/main' }}
run: |
make -C sby run_ci