From 3efca9cc1e14648ef2c6f9b20ef3a78b13a788ce Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 02:42:54 +0200 Subject: [PATCH 1/9] Create main.yml --- .github/workflows/main.yml | 61 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 61 insertions(+) create mode 100644 .github/workflows/main.yml diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml new file mode 100644 index 0000000..e7b0950 --- /dev/null +++ b/.github/workflows/main.yml @@ -0,0 +1,61 @@ +# This is a basic workflow to help you get started with Actions + +name: CI + +# Controls when the workflow will run +on: + # Triggers the workflow on push or pull request events but only for the master branch + push: + branches: [ master ] + pull_request: + branches: [ master ] + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "build" + build: + # The type of runner that the job will run on + runs-on: ubuntu-latest + + # Steps represent a sequence of tasks that will be executed as part of the job + steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + - uses: actions/checkout@v2 + + - name: Cache + uses: actions/cache@v2.1.6 + with: + # A list of files, directories, and wildcard patterns to cache and restore + path: ci-tool.jar + # An explicit key for restoring and saving the cache + key: ${branch}-${commit} + # An ordered list of keys to use for restoring the cache if no cache hit occurred for key + #restore-keys: # optional + # The chunk size used to split up large files during upload, in bytes + #upload-chunk-size: # optional + + - name: Setup Java JDK + uses: actions/setup-java@v2.1.0 + with: + # The Java version to set up. Takes a whole or semver Java version. See examples of supported syntax in README file + java-version: 11 + # Java distribution. See the list of supported distributions in README file + distribution: openjdk + # The package type (jdk, jre, jdk+fx, jre+fx) + java-package: jre + + + - name: Check compilation + - run: javac src/java/util/VerifiedIdentityHashMap.java + + # Runs a single command using the runners shell + - name: Download KeY's ci-tool + run: wget -O ci-tool.jar https://formal.iti.kit.edu/weigl/ci-tool/latest.php?type=all + + # Runs a set of commands using the runners shell + - name: Run a multi-line script + run: | + java -jar ci-tool.jar src/java/util/VerifiedIdentityHashMap.java From 758a1f23951699ddb477cbdbf378215b451de758 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 02:44:24 +0200 Subject: [PATCH 2/9] Update main.yml --- .github/workflows/main.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index e7b0950..1afdf4b 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -49,7 +49,7 @@ jobs: - name: Check compilation - - run: javac src/java/util/VerifiedIdentityHashMap.java + run: javac src/java/util/VerifiedIdentityHashMap.java # Runs a single command using the runners shell - name: Download KeY's ci-tool @@ -57,5 +57,4 @@ jobs: # Runs a set of commands using the runners shell - name: Run a multi-line script - run: | - java -jar ci-tool.jar src/java/util/VerifiedIdentityHashMap.java + run: java -jar ci-tool.jar src/java/util/VerifiedIdentityHashMap.java From 12ba63306851b702225131b08713650d56d4f65a Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 02:45:44 +0200 Subject: [PATCH 3/9] Update main.yml --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1afdf4b..a029cc1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -43,7 +43,7 @@ jobs: # The Java version to set up. Takes a whole or semver Java version. See examples of supported syntax in README file java-version: 11 # Java distribution. See the list of supported distributions in README file - distribution: openjdk + distribution: 'adopt' # The package type (jdk, jre, jdk+fx, jre+fx) java-package: jre From b2c73dd81eefbb75bd265540fd354f88435e9bdc Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 02:46:36 +0200 Subject: [PATCH 4/9] Update main.yml --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a029cc1..f82e7ce 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -41,7 +41,7 @@ jobs: uses: actions/setup-java@v2.1.0 with: # The Java version to set up. Takes a whole or semver Java version. See examples of supported syntax in README file - java-version: 11 + java-version: 8 # Java distribution. See the list of supported distributions in README file distribution: 'adopt' # The package type (jdk, jre, jdk+fx, jre+fx) From 1695741a89fefad64ab5679594bb8137ac581010 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 02:47:32 +0200 Subject: [PATCH 5/9] Update main.yml --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index f82e7ce..29b2272 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -49,7 +49,7 @@ jobs: - name: Check compilation - run: javac src/java/util/VerifiedIdentityHashMap.java + run: javac src/java/util/VerifiedIdentityHashMap.java; true # Runs a single command using the runners shell - name: Download KeY's ci-tool From 2965f4e3aad567a7956026af198debde96a1b374 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 02:48:43 +0200 Subject: [PATCH 6/9] disable compile --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 29b2272..50807db 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -48,8 +48,8 @@ jobs: java-package: jre - - name: Check compilation - run: javac src/java/util/VerifiedIdentityHashMap.java; true + # - name: Check compilation + # run: javac src/java/util/VerifiedIdentityHashMap.java; true # Runs a single command using the runners shell - name: Download KeY's ci-tool From 71e81882ac0163d8089f4361d68fb114480a00b4 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 03:29:35 +0200 Subject: [PATCH 7/9] Update main.yml --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 50807db..49edddb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -57,4 +57,4 @@ jobs: # Runs a set of commands using the runners shell - name: Run a multi-line script - run: java -jar ci-tool.jar src/java/util/VerifiedIdentityHashMap.java + run: java -jar ci-tool.jar -cp jre src/java/util/VerifiedIdentityHashMap.java From 1166710aba193ed6d5ba8baf318376212245554b Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 1 Aug 2021 03:32:11 +0200 Subject: [PATCH 8/9] Update main.yml --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 49edddb..8e5a176 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -57,4 +57,4 @@ jobs: # Runs a set of commands using the runners shell - name: Run a multi-line script - run: java -jar ci-tool.jar -cp jre src/java/util/VerifiedIdentityHashMap.java + run: java -jar ci-tool.jar -cp jre --proof-path proofs_new/KeY/IdentityHashMap/ --proof-path proofs_new/KeY/IdentityHashMap_EntrySet/clear --proof-path proofs_new/KeY/IdentityHashMap_KeySet/clear --proof-path proofs_new/KeY/IdentityHashMap_Values/clear src/java/util/VerifiedIdentityHashMap.java From 7933521524236972bdfff3fe932903ad9bd7662e Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Wed, 11 Aug 2021 00:13:32 +0200 Subject: [PATCH 9/9] rerun --- .github/workflows/main.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8e5a176..77c0e04 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -19,11 +19,11 @@ jobs: build: # The type of runner that the job will run on runs-on: ubuntu-latest - + # Steps represent a sequence of tasks that will be executed as part of the job steps: # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it - - uses: actions/checkout@v2 + - uses: actions/checkout@v2 - name: Cache uses: actions/cache@v2.1.6 @@ -46,8 +46,8 @@ jobs: distribution: 'adopt' # The package type (jdk, jre, jdk+fx, jre+fx) java-package: jre - - + + # - name: Check compilation # run: javac src/java/util/VerifiedIdentityHashMap.java; true @@ -57,4 +57,4 @@ jobs: # Runs a set of commands using the runners shell - name: Run a multi-line script - run: java -jar ci-tool.jar -cp jre --proof-path proofs_new/KeY/IdentityHashMap/ --proof-path proofs_new/KeY/IdentityHashMap_EntrySet/clear --proof-path proofs_new/KeY/IdentityHashMap_KeySet/clear --proof-path proofs_new/KeY/IdentityHashMap_Values/clear src/java/util/VerifiedIdentityHashMap.java + run: java -jar ci-tool.jar -cp jre --proof-path proofs_new/KeY/IdentityHashMap/ --proof-path proofs_new/KeY/IdentityHashMap_EntrySet/clear --proof-path proofs_new/KeY/IdentityHashMap_KeySet/clear --proof-path proofs_new/KeY/IdentityHashMap_Values/clear src/java/util/VerifiedIdentityHashMap.java