Merge pull request #2987 from JuliaReach/schillic/CI

Update CI scripts & publications

.github/workflows/ci.yml

@@ -7,29 +7,21 @@ on:
       - 'README.md'
     branches:
       - master
-  pull_request:
-    branches:
-      - master
-    tags: '*'
 
 jobs:
   test:
+    name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
     runs-on: ${{ matrix.os }}
     if: "!contains(github.event.head_commit.message, 'skip ci')"
     strategy:
       fail-fast: false
       matrix:
-        julia-version: ['1.7']
-        julia-arch: [x64]
-        os: [ubuntu-latest, windows-latest]
-        include:
-          - julia-version: '1.6'  # test on oldest supported version
-            julia-arch: x64
-            os: ubuntu-latest
-#          - julia-version: 'nightly'  # test on latest version
-#            julia-arch: x64
-#            os: ubuntu-latest
-#            experimental: true
+        version:
+          - '1.7'
+        os:
+          - ubuntu-latest
+        arch:
+          - x64
     env:
       JULIA_PKG_SERVER: ''
     steps:
@@ -38,16 +30,14 @@ jobs:
       - name: Set up Julia
         uses: julia-actions/setup-julia@v1
         with:
-          version: ${{ matrix.julia-version }}
-          arch: ${{ matrix.julia-arch }}
+          version: ${{ matrix.version }}
+          arch: ${{ matrix.arch }}
       - name: Cache artifacts
         uses: julia-actions/cache@v1
       - name: Build package
         uses: julia-actions/julia-buildpkg@v1
-        continue-on-error: ${{ matrix.julia-version == 'nightly' }}
       - name: Run tests
         uses: julia-actions/julia-runtest@v1
-        continue-on-error: ${{ matrix.julia-version == 'nightly' }}
       - name: Process coverage
         uses: julia-actions/julia-processcoverage@v1
       - name: Upload coverage

.github/workflows/ci_PR.yml

@@ -0,0 +1,49 @@
+name: CI-PR
+
+on:
+  pull_request:
+    paths-ignore:
+      - 'LICENSE'
+      - 'README.md'
+
+jobs:
+  test:
+    name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
+    runs-on: ${{ matrix.os }}
+    if: "!contains(github.event.head_commit.message, 'skip ci')"
+    strategy:
+      fail-fast: false
+      matrix:
+        version:
+          - '1.7'
+        os:
+          - ubuntu-latest
+          - windows-latest
+        arch:
+          - x64
+        include:
+          - version: '1.6'  # test on oldest supported version
+            arch: x64
+            os: ubuntu-latest
+    env:
+      JULIA_PKG_SERVER: ''
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v2
+      - name: Set up Julia
+        uses: julia-actions/setup-julia@v1
+        with:
+          version: ${{ matrix.version }}
+          arch: ${{ matrix.arch }}
+      - name: Cache artifacts
+        uses: julia-actions/cache@v1
+      - name: Build package
+        uses: julia-actions/julia-buildpkg@v1
+      - name: Run tests
+        uses: julia-actions/julia-runtest@v1
+      - name: Process coverage
+        uses: julia-actions/julia-processcoverage@v1
+      - name: Upload coverage
+        uses: codecov/codecov-action@v2
+        with:
+          files: lcov.info

README.md

@@ -56,6 +56,8 @@ This library has been applied in a number of scientic works.
 
 The articles appear in reverse chronological order.
 
+[22] **Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).** Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, and Christian Schilling (2022). Information and Computation. [doi: 10.1016/j.ic.2022.104937](https://doi.org/10.1016/j.ic.2022.104937).
+
 [21] **Conservative Time Discretization: A Comparative Study.** Marcelo Forets and Christian Schilling (2022). Proceedings of the [17th International Conference on integrated Formal Methods (iFM)](https://ifm22.si.usi.ch/). [arXiv: 2111.01454](https://arxiv.org/abs/2111.01454).
 
 [20] **Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes.** Christian Schilling, Marcelo Forets, and Sebastián Guadalupe (2022). Proceedings of the [35th Conference on Artificial Intelligence (AAAI)](https://aaai.org/Conferences/AAAI-22/). [arXiv: 2112.09197](https://arxiv.org/abs/2112.09197).
@@ -74,7 +76,7 @@ The articles appear in reverse chronological order.
 
 [13] **ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Controlled Systems for Continuous and Hybrid Systems Plants.** Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Christian Schilling, Radoslav Ivanov, Taylor Carpenter, James Weimer, and Insup Lee. (2021). 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), vol 80, pp. 90-119. [doi: https://doi.org/10.29007/kfk9](https://doi.org/10.29007/kfk9).
 
-[12] **Synthesis of hybrid automata with affine dynamics from time-series data.** García Soto, Miriam, Thomas A. Henzinger, and Christian Schilling (2021). [24th International Conference on Hybrid Systems: Computation and Control (HSCC)](https://hscc.acm.org/2021/), pp. 2:1-2:11. [doi: 10.1145/3447928.3456704](https://doi.org/10.1145/3447928.3456704), [arXiv: 2102.12734](https://arxiv.org/abs/2102.12734).
+[12] **Synthesis of hybrid automata with affine dynamics from time-series data.** Miriam García Soto, Thomas A. Henzinger, and Christian Schilling (2021). [24th International Conference on Hybrid Systems: Computation and Control (HSCC)](https://hscc.acm.org/2021/), pp. 2:1-2:11. [doi: 10.1145/3447928.3456704](https://doi.org/10.1145/3447928.3456704), [arXiv: 2102.12734](https://arxiv.org/abs/2102.12734).
 
 [11] **Algorithms for verifying deep neural networks.** Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, and Mykel J. Kochenderfer (2021). Foundations and Trends in Optimization, vol 4, pp. 244-404. [doi: 10.1561/2400000035](https://doi.org/10.1561/2400000035), [arXiv: 1903.06758](https://arxiv.org/abs/1903.06758).