-
Notifications
You must be signed in to change notification settings - Fork 63
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'master' into lfe-merge
- Loading branch information
Showing
705 changed files
with
14,423 additions
and
6,020 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 |
|---|---|---|
| @@ -0,0 +1,38 @@ | ||
| name: Latest release | ||
| description: Report the latest release of the current repo | ||
| outputs: | ||
| ref: | ||
| value: ${{ steps.find.outputs.ref }} | ||
| description: The latest semver tag | ||
| ver: | ||
| value: ${{ steps.find.outputs.ver }} | ||
| description: The semver corresponding to the latest semver tag | ||
|
|
||
| runs: | ||
| using: "composite" | ||
| steps: | ||
| - name: Install semver-tool | ||
| run: | | ||
| wget -O /usr/local/bin/semver https://raw.githubusercontent.com/fsaintjacques/semver-tool/master/src/semver | ||
| chmod +x /usr/local/bin/semver | ||
| semver --version | ||
| shell: bash | ||
| - name: Fetch all tags | ||
| run: git fetch --all --tags | ||
| shell: bash | ||
| - name: Fetch latest-release script | ||
| run: | | ||
| wget https://raw.githubusercontent.com/lf-lang/lingua-franca/master/.github/scripts/latest-release.sh | ||
| chmod +x latest-release.sh | ||
| shell: bash | ||
| - name: Find the latest release | ||
| id: find | ||
| run: | | ||
| export tag=$(./latest-release.sh) | ||
| echo "ref=${tag}" >> $GITHUB_OUTPUT | ||
| shopt -s extglob | ||
| export ver="${tag##v}" | ||
| echo "ver=${ver}" >> $GITHUB_OUTPUT | ||
| echo "Latest release tag: ${tag}" | ||
| echo "Without a leading 'v': ${ver}" | ||
| shell: bash |
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 |
|---|---|---|
| @@ -1,42 +1,13 @@ | ||
| name: Prepare build environment (Linux only) | ||
| description: Set up Java, Maven, Gradle, etc. | ||
| name: Set up build environment | ||
| description: Set up Java and Gradle (including caching). | ||
| runs: | ||
| using: "composite" | ||
| steps: | ||
| - name: Set up Java 17 | ||
| run: | | ||
| echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH | ||
| echo "org.gradle.java.home=${JAVA_HOME_17_X64//\\/\/}" >> gradle.properties | ||
| echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV | ||
| shell: bash | ||
| - name: Check settings | ||
| run: | | ||
| echo $(which java) | ||
| cat gradle.properties | ||
| echo $JAVA_HOME | ||
| shell: bash | ||
| - name: Create hash of Gradle configuration (macOS only) | ||
| run: | | ||
| echo "gradle-hash"="$(find . -type f \( -name "gradle.properties" -o -name "gradle-wrapper.properties" \) -exec cat {} + | shasum -a 256 | cut -d ' ' -f 1)" >> $GITHUB_ENV | ||
| if: ${{ runner.os == 'macOS' }} | ||
| shell: bash | ||
| - name: Create hash of Gradle configuration (Linux and Windows only) | ||
| run: | | ||
| echo "gradle-hash"="$(find . -type f \( -name "gradle.properties" -o -name "gradle-wrapper.properties" \) -exec cat {} + | sha256sum | cut -d ' ' -f 1)" >> $GITHUB_ENV | ||
| if: ${{ runner.os == 'Windows' || runner.os == 'Linux' }} | ||
| shell: bash | ||
| - name: Cache | ||
| uses: actions/cache@v3 | ||
| - uses: actions/setup-java@v3 | ||
| with: | ||
| path: | | ||
| ~/.gradle/caches | ||
| ~/.gradle/wrapper | ||
| key: gradle-${{ runner.os }}-${{ env.gradle-hash }} | ||
| # restore-keys: | | ||
| # ${{ runner.os }}-gradle- | ||
| - name: Bring down Gradle daemon (Windows) | ||
| uses: webiny/[email protected] | ||
| id: post-run-command | ||
| distribution: temurin | ||
| java-version: 17 | ||
| - name: Gradle Build Action | ||
| uses: gradle/[email protected] | ||
| with: | ||
| run: ./gradlew --stop | ||
| if: ${{ runner.os == 'Windows' }} | ||
| cache-read-only: false |
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 |
|---|---|---|
| @@ -0,0 +1,34 @@ | ||
| name: Load global configuration settings for francabot | ||
| description: Set up author information and GPG signature | ||
| author: Marten Lohstroh <[email protected]> | ||
|
|
||
| inputs: | ||
| gpg-key: | ||
| description: 'francabot GPG key' | ||
| required: true | ||
| gpg-passphrase: | ||
| description: 'francabot GPG passphrase' | ||
| required: true | ||
|
|
||
| runs: | ||
| using: composite | ||
| steps: | ||
| - name: Set environment variables | ||
| run: | | ||
| echo "username=lingua-franca[bot]" >> "$GITHUB_ENV" | ||
| echo "[email protected]" >> "$GITHUB_ENV" | ||
| echo "user-and-email=lingua-franca[bot] <[email protected]>" >> "$GITHUB_ENV" | ||
| shell: bash | ||
| - name: Configure git username and email | ||
| run: | | ||
| git config --global user.name '${{ env.username }}' | ||
| git config --global user.email '${{ env.email }}' | ||
| shell: bash | ||
| - name: Import GPG key | ||
| uses: crazy-max/ghaction-import-gpg@v5 | ||
| with: | ||
| gpg_private_key: ${{ inputs.gpg-key }} | ||
| passphrase: ${{ inputs.gpg-passphrase }} | ||
| git_config_global: true | ||
| git_user_signingkey: true | ||
| git_commit_gpgsign: true |
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
File renamed without changes.
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
This file was deleted.
Oops, something went wrong.
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,73 @@ | ||
| name: Uclid5-based Verifier Tests | ||
|
|
||
| on: | ||
| # Trigger this workflow also on workflow_call events. | ||
| workflow_call: | ||
| inputs: | ||
| compiler-ref: | ||
| required: false | ||
| type: string | ||
| runtime-ref: | ||
| required: false | ||
| type: string | ||
|
|
||
| jobs: | ||
| run: | ||
| strategy: | ||
| matrix: | ||
| platform: [ubuntu-latest] | ||
| runs-on: ${{ matrix.platform }} | ||
| steps: | ||
| - name: Check out lingua-franca repository | ||
| uses: actions/checkout@v3 | ||
| with: | ||
| repository: lf-lang/lingua-franca | ||
| submodules: true | ||
| ref: ${{ inputs.compiler-ref }} | ||
| fetch-depth: 0 | ||
| - name: Prepare build environment | ||
| uses: ./.github/actions/prepare-build-env | ||
| - name: Check out specific ref of reactor-c | ||
| uses: actions/checkout@v3 | ||
| with: | ||
| repository: lf-lang/reactor-c | ||
| path: core/src/main/resources/lib/c/reactor-c | ||
| ref: ${{ inputs.runtime-ref }} | ||
| if: ${{ inputs.runtime-ref }} | ||
| - name: Check out Uclid5 repository | ||
| uses: actions/checkout@v3 | ||
| with: | ||
| repository: uclid-org/uclid | ||
| ref: 4fd5e566c5f87b052f92e9b23723a85e1c4d8c1c | ||
| path: uclid | ||
| - name: Download Z3 | ||
| working-directory: uclid/ | ||
| if: steps.cache-z3.outputs.cache-hit != 'true' | ||
| run: ./get-z3-linux.sh | ||
| - name: Add Z3 to Path | ||
| working-directory: uclid/ | ||
| run: | | ||
| echo "$(pwd)/z3/bin/" >> $GITHUB_PATH | ||
| echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$(pwd)/z3/bin/" >> $GITHUB_ENV | ||
| - name: Print Z3 Version | ||
| run: z3 --version | ||
| - name: Install Uclid5 | ||
| working-directory: uclid/ | ||
| run: | | ||
| sbt update clean compile | ||
| sbt universal:packageBin | ||
| cd target/universal/ | ||
| unzip uclid-0.9.5.zip | ||
| ./uclid-0.9.5/bin/uclid --help | ||
| echo "$(pwd)/uclid-0.9.5/bin" >> $GITHUB_PATH | ||
| cd ../.. | ||
| - name: Run verifier tests | ||
| run: | | ||
| echo "$pwd" | ||
| ls -la | ||
| ./gradlew core:integrationTest --tests org.lflang.tests.runtime.CVerifierTest.* core:integrationTestCodeCoverageReport | ||
| - name: Report to CodeCov | ||
| uses: ./.github/actions/report-code-coverage | ||
| with: | ||
| files: core/build/reports/jacoco/integrationTestCodeCoverageReport/integrationTestCodeCoverageReport.xml | ||
| if: ${{ github.repository == 'lf-lang/lingua-franca' }} |
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.