This repository has been archived by the owner on Aug 19, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 76
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch '0.5.x' into 0.5-release
- Loading branch information
Showing
10 changed files
with
420 additions
and
177 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -4,7 +4,7 @@ on: | |
pull_request: | ||
push: | ||
branches: | ||
- master | ||
- main | ||
- 0.5.x | ||
- 0.3.x | ||
|
||
|
@@ -14,15 +14,17 @@ jobs: | |
runs-on: ubuntu-20.04 | ||
strategy: | ||
matrix: | ||
scala: [2.12.15, 2.13.7] | ||
jvm: [adopt@1.8, adopt@1.11] | ||
scala: [2.12.17, 2.13.10] | ||
jvm: [8, 11] | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
uses: actions/checkout@v3 | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
uses: actions/setup-java@v3 | ||
with: | ||
distribution: 'adopt' | ||
java-version: ${{ matrix.jvm }} | ||
cache: 'sbt' | ||
- name: Test | ||
run: sbt ++${{ matrix.scala }} "testOnly -- -l RequiresVcs -l RequiresVerilator -l Formal -l RequiresIcarus" | ||
|
||
|
@@ -31,11 +33,7 @@ jobs: | |
runs-on: macos-latest | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
with: | ||
java-version: [email protected] | ||
uses: actions/checkout@v3 | ||
- name: Test | ||
run: sbt "testOnly -- -l RequiresVcs -l RequiresVerilator -l Formal -l RequiresIcarus" | ||
|
||
|
@@ -47,7 +45,7 @@ jobs: | |
os: [ ubuntu-20.04, macos-latest ] | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
uses: actions/checkout@v3 | ||
- name: Install Icarus Verilog for Ubuntu | ||
if: runner.os == 'Linux' | ||
run: | | ||
|
@@ -58,32 +56,9 @@ jobs: | |
run: | | ||
brew install icarus-verilog | ||
iverilog -v || true | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
with: | ||
java-version: [email protected] | ||
- name: Test | ||
run: sbt ++${{ matrix.scala }} "testOnly -- -n RequiresIcarus" | ||
|
||
verilator-mac: | ||
name: verilator regression on mac | ||
runs-on: macos-latest | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
- name: Install Tabby OSS Cad Suite (from YosysHQ) | ||
uses: YosysHQ/setup-oss-cad-suite@v1 | ||
with: | ||
osscadsuite-version: '2021-11-09' | ||
- name: Print Verilator Version | ||
run: verilator --version | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
with: | ||
java-version: [email protected] | ||
- name: Test | ||
run: sbt "testOnly -- -n RequiresVerilator" | ||
|
||
verilator: | ||
name: verilator regressions | ||
runs-on: ubuntu-20.04 | ||
|
@@ -100,11 +75,11 @@ jobs: | |
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
uses: actions/checkout@v3 | ||
- name: Install Verilator Build Dependencies | ||
run: sudo apt-get install -y git make autoconf g++ flex bison libfl2 libfl-dev | ||
- name: Cache Verilator ${{ matrix.version }} | ||
uses: actions/cache@v2 | ||
uses: actions/cache@v3 | ||
id: cache-verilator | ||
with: | ||
path: verilator-${{ matrix.version }} | ||
|
@@ -123,57 +98,50 @@ jobs: | |
cd verilator-${{ matrix.version }} | ||
sudo make install | ||
verilator --version | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
with: | ||
java-version: [email protected] | ||
- name: Test | ||
run: sbt "testOnly -- -n RequiresVerilator" | ||
|
||
formal: | ||
name: formal verification tests | ||
runs-on: ${{ matrix.os }} | ||
runs-on: ubuntu-20.04 | ||
strategy: | ||
matrix: | ||
os: [ubuntu-20.04, macos-latest] | ||
backend: [z3, cvc4, btormc] | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
- name: Install Z3 and CVC4 for Ubuntu | ||
uses: actions/checkout@v3 | ||
- name: Install Z3 and CVC4 | ||
if: runner.os == 'Linux' | ||
run: | | ||
sudo apt-get install -y z3 cvc4 | ||
z3 --version | ||
cvc4 --version | ||
- name: Install Z3 and CVC4 for MacOS | ||
if: runner.os == 'macOS' | ||
run: | | ||
brew install z3 | ||
brew tap cvc4/cvc4 | ||
brew install cvc4/cvc4/cvc4 | ||
z3 --version | ||
cvc4 --version | ||
- name: Install Tabby OSS Cad Suite (from YosysHQ) | ||
if: matrix.backend == 'btormc' | ||
uses: YosysHQ/setup-oss-cad-suite@v1 | ||
with: | ||
osscadsuite-version: '2021-11-09' | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
with: | ||
java-version: [email protected] | ||
osscadsuite-version: '2022-08-18' | ||
- name: Test | ||
run: sbt "testOnly -- -n Formal -Dformal_engine=${{ matrix.backend }}" | ||
|
||
formal-mac: | ||
name: formal verification tests on mac | ||
runs-on: macos-latest | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v3 | ||
- name: Install Z3 for MacOS | ||
run: | | ||
brew install z3 | ||
z3 --version | ||
- name: Test | ||
run: sbt "testOnly -- -n Formal -Dformal_engine=z3" | ||
|
||
doc: | ||
name: Documentation and Formatting | ||
runs-on: ubuntu-20.04 | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
uses: actions/checkout@v3 | ||
- name: Documentation | ||
id: doc | ||
run: sbt doc | ||
|
@@ -186,7 +154,7 @@ jobs: | |
# When adding new jobs, please add them to `needs` below | ||
all_tests_passed: | ||
name: "all tests passed" | ||
needs: [test, doc, verilator, verilator-mac, formal, icarus, test-mac] | ||
needs: [test, doc, verilator, formal, formal-mac, icarus, test-mac] | ||
runs-on: ubuntu-latest | ||
steps: | ||
- run: echo Success! | ||
|
@@ -200,11 +168,7 @@ jobs: | |
|
||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
- name: Setup Scala | ||
uses: olafurpg/setup-scala@v10 | ||
with: | ||
java-version: [email protected] | ||
uses: actions/checkout@v3 | ||
- name: Setup GPG (for Publish) | ||
uses: olafurpg/setup-gpg@v3 | ||
- name: Publish | ||
|
@@ -214,3 +178,5 @@ jobs: | |
PGP_SECRET: ${{ secrets.PGP_SECRET }} | ||
SONATYPE_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }} | ||
SONATYPE_USERNAME: ${{ secrets.SONATYPE_USERNAME }} | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.