Implementation of region domain with latest PREVAIL support

.clang-format

@@ -4,6 +4,9 @@ AlwaysBreakTemplateDeclarations: Yes
 AllowShortCaseLabelsOnASingleLine: true
 PointerAlignment: Left
 AlignEscapedNewlines: Left
-#BreakAfterAttributes: Always
+BreakAfterAttributes: Always
 PenaltyReturnTypeOnItsOwnLine: 60
 AlwaysBreakAfterReturnType: None
+Cpp11BracedListStyle: true
+BreakBeforeBraces: Attach
+InsertBraces: true

.github/dependabot.yml

@@ -3,7 +3,7 @@
 #
 # For documentation on the format of this file, see
 # https://docs.github.com/en/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
-
+---
 version: 2
 updates:
 

.github/workflows/build.yml

@@ -1,6 +1,7 @@
+---
 name: CPP CI
 
-on:
+"on":
   pull_request:
     paths-ignore:
       - '**.md'
@@ -17,6 +18,7 @@ jobs:
     strategy:
       matrix:
         configurations: [Debug, Release]
+        target: [tests, library]
     runs-on: ubuntu-latest
     env:
       # Configuration type to build.  For documentation on how build matrices work, see
@@ -26,22 +28,34 @@ jobs:
     steps:
       - name: Install dependencies
         run: |
-          sudo apt install libboost-dev libboost-filesystem-dev libboost-program-options-dev libyaml-cpp-dev valgrind
+          sudo apt-get update
+          sudo apt install libboost-dev libboost-filesystem-dev libboost-program-options-dev
 
-      - uses: actions/checkout@v3
+      - name: Install test dependencies
+        if: ${{matrix.target == 'tests'}}
+        run: |
+          sudo apt install libyaml-cpp-dev valgrind
+
+      - uses: actions/checkout@v4
         with:
           submodules: 'recursive'
 
       - name: Build
         run: |
           mkdir build
-          cmake -B build -DCMAKE_BUILD_TYPE=${{env.BUILD_CONFIGURATION}}
+          if [ "${{matrix.target}}" = "library" ]; then
+            cmake -B build -DCMAKE_BUILD_TYPE=${{env.BUILD_CONFIGURATION}} -DVERIFIER_ENABLE_TESTS=OFF
+          else
+            cmake -B build -DCMAKE_BUILD_TYPE=${{env.BUILD_CONFIGURATION}} -DVERIFIER_ENABLE_TESTS=ON
+          fi
           cmake --build build -j $(nproc)
 
       - name: Run unit tests
+        if: ${{matrix.target == 'tests'}}
         run: ./tests -d yes
 
       - name: Test for memory leaks
+        if: ${{matrix.target == 'tests'}}
         # Any memory leaks will cause the test to fail
         # This BPF program was chosen because it is the largest one in the repo
         run: valgrind --leak-check=full --errors-for-leak-kinds=all  --show-leak-kinds=all --error-exitcode=1 ./check ebpf-samples/cilium/bpf_xdp_snat_linux_v1.o 2/1
@@ -50,22 +64,28 @@ jobs:
     strategy:
       matrix:
         configurations: [Debug, Release]
+        target: [tests, library]
     runs-on: windows-2022
     env:
       # Configuration type to build.  For documentation on how build matrices work, see
       # https://docs.github.com/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
       BUILD_CONFIGURATION: ${{matrix.configurations}}
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: 'recursive'
 
       - name: Build
         run: |
           mkdir build
-          cmake -B build
+          if ("${{matrix.target}}" -eq "library") {
+            cmake -B build -DVERIFIER_ENABLE_TESTS=OFF
+          } else {
+            cmake -B build -DVERIFIER_ENABLE_TESTS=ON
+          }
           cmake --build build -j $(nproc) --config ${{env.BUILD_CONFIGURATION}}
 
       - name: Run unit tests
+        if: ${{matrix.target == 'tests'}}
         run: ./${{env.BUILD_CONFIGURATION}}/tests -d yes

.github/workflows/codeql-analysis.yml

@@ -9,14 +9,15 @@
 # the `language` matrix defined below to confirm you have the correct set of
 # supported CodeQL languages.
 #
+---
 name: "CodeQL"
 
-on:
+"on":
   push:
-    branches: [ main ]
+    branches: [main]
   pull_request:
     # The branches below must be a subset of the branches above
-    branches: [ main ]
+    branches: [main]
   schedule:
     - cron: '43 12 * * 2'
 
@@ -28,46 +29,46 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        language: [ 'cpp' ]
+        language: ['cpp']
         # CodeQL supports [ 'cpp', 'csharp', 'go', 'java', 'javascript', 'python' ]
         # Learn more:
         # https://docs.github.com/en/free-pro-team@latest/github/finding-security-vulnerabilities-and-errors-in-your-code/configuring-code-scanning#changing-the-languages-that-are-analyzed
 
     steps:
-    - name: Checkout repository
-      uses: actions/checkout@v3
-      with:
-        submodules: 'recursive'
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          submodules: 'recursive'
 
-    # Initializes the CodeQL tools for scanning.
-    - name: Initialize CodeQL
-      uses: github/codeql-action/init@v2
-      with:
-        languages: ${{ matrix.language }}
-        # If you wish to specify custom queries, you can do so here or in a config file.
-        # By default, queries listed here will override any specified in a config file.
-        # Prefix the list here with "+" to use these queries and those in the config file.
-        # queries: ./path/to/local/query, your-org/your-repo/queries@main
+      # Initializes the CodeQL tools for scanning.
+      - name: Initialize CodeQL
+        uses: github/codeql-action/init@v3
+        with:
+          languages: ${{ matrix.language }}
+          # If you wish to specify custom queries, you can do so here or in a config file.
+          # By default, queries listed here will override any specified in a config file.
+          # Prefix the list here with "+" to use these queries and those in the config file.
+          # queries: ./path/to/local/query, your-org/your-repo/queries@main
 
-    # Autobuild attempts to build any compiled languages  (C/C++, C#, or Java).
-    # If this step fails, then you should remove it and run the build manually (see below)
-    # - name: Autobuild
-    #  uses: github/codeql-action/autobuild@v1
+      # Autobuild attempts to build any compiled languages  (C/C++, C#, or Java).
+      # If this step fails, then you should remove it and run the build manually (see below)
+      # - name: Autobuild
+      #  uses: github/codeql-action/autobuild@v1
 
-    # ℹ️ Command-line programs to run using the OS shell.
-    # 📚 https://git.io/JvXDl
+      # ℹ️ Command-line programs to run using the OS shell.
+      # 📚 https://git.io/JvXDl
 
-    # ✏️ If the Autobuild fails above, remove it and uncomment the following three lines
-    #    and modify them (or add more) to build your code if your project
-    #    uses a compiled language
-    - name: Install dependencies
-      run: |
-        sudo apt install libboost-dev libboost-filesystem-dev libboost-program-options-dev libyaml-cpp-dev
-
-    - run: |
-        mkdir build
-        cmake -B build -DCMAKE_BUILD_TYPE=Debug
-        cmake --build build -j $(nproc)
+      # ✏️ If the Autobuild fails above, remove it and uncomment the following three lines
+      #    and modify them (or add more) to build your code if your project
+      #    uses a compiled language
+      - name: Install dependencies
+        run: |
+          sudo apt install libboost-dev libboost-filesystem-dev libboost-program-options-dev libyaml-cpp-dev
 
-    - name: Perform CodeQL Analysis
-      uses: github/codeql-action/analyze@v2
+      - run: |
+          mkdir build
+          cmake -B build -DCMAKE_BUILD_TYPE=Debug
+          cmake --build build -j $(nproc)
+
+      - name: Perform CodeQL Analysis
+        uses: github/codeql-action/analyze@v3

.github/workflows/coverage.yml

@@ -1,13 +1,13 @@
 # Copyright (c) Prevail Verifier contributors.
 # SPDX-License-Identifier: MIT
-
+---
 name: CPP Code Coverage
 
-on:
+"on":
   push:
-    branches: [ main ]
+    branches: [main]
   pull_request:
-    branches: [ main ]
+    branches: [main]
 
 jobs:
   build_ubuntu:
@@ -26,7 +26,7 @@ jobs:
           sudo apt install libboost-dev libboost-filesystem-dev libboost-program-options-dev libyaml-cpp-dev lcov
           pip install gcovr
 
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: 'recursive'
 
@@ -55,8 +55,8 @@ jobs:
     needs: build_ubuntu
     runs-on: ubuntu-20.04
     steps:
-    - name: Coveralls Finished
-      uses: coverallsapp/github-action@master
-      with:
-        github-token: ${{ secrets.github_token }}
-        parallel-finished: true
+      - name: Coveralls Finished
+        uses: coverallsapp/github-action@master
+        with:
+          github-token: ${{ secrets.github_token }}
+          parallel-finished: true

.github/workflows/validate-yaml.yml

@@ -0,0 +1,30 @@
+# Copyright (c) Prevail Verifier contributors.
+# SPDX-License-Identifier: MIT
+#
+# For documentation on the github environment, see
+# https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners
+#
+# For documentation on the syntax of this file, see
+# https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions
+---
+name: Validate-YAML
+
+"on":
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+
+permissions:
+  contents: read
+
+jobs:
+  validate-yaml:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout GEDCOM.io
+        uses: actions/checkout@v4
+
+      - name: Validate YAML
+        run: yamllint . .github .github/workflows test-data

.gitmodules

@@ -3,10 +3,7 @@
 	url = https://github.com/vbpf/ebpf-samples.git
 [submodule "external/radix_tree"]
 	path = external/radix_tree
-	url = https://github.com/ytakano/radix_tree
-[submodule "external/ELFIO"]
-	path = external/ELFIO
-	url = https://github.com/serge1/ELFIO.git
+	url = https://github.com/elazarg/radix_tree_20
 [submodule "external/bpf_conformance"]
 	path = external/bpf_conformance
 	url = https://github.com/Alan-Jowett/bpf_conformance.git

.yamllint.yml

@@ -0,0 +1,10 @@
+# Copyright (c) Prevail Verifier contributors.
+# SPDX-License-Identifier: MIT
+#
+# Configuration file for yamllint.  For documentation, see
+# https://yamllint.readthedocs.io/en/stable/configuration.html
+---
+extends: default
+
+rules:
+  line-length: disable