Revert "FABRID base version"

netsec-ethz · Sep 20, 2024 · 740edfb · 740edfb
1 parent 17d89ad
commit 740edfb
Show file tree

Hide file tree

Showing 157 changed files with 438 additions and 15,856 deletions.
diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
@@ -33,7 +33,7 @@ jobs:
           caching: '1'
           statsFile: ${{ env.statsFile }}
       - name: Upload the verification report
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v2
         with:
           name: verification_stats.json
           path: ${{ env.statsFile }}
diff --git a/acceptance/router_benchmark/conf/topology.json b/acceptance/router_benchmark/conf/topology.json
@@ -5,11 +5,6 @@
   "isd_as": "1-ff00:0:1",
   "mtu": 1400,
   "dispatched_ports": "1024-65535",
-  "control_service": {
-    "cs1": {
-      "addr": "10.123.10.3:30252"
-    }
-  },
   "border_routers": {
     "br1a": {
       "internal_addr": "10.123.10.1:30042",

diff --git a/antlr/BUILD.bazel b/antlr/BUILD.bazel
@@ -13,10 +13,3 @@ antlr(
     language = "Go",
     package = "sequence",
 )
-
-antlr(
-    name = "pathpolicyconstraints",
-    srcs = ["PathPolicyConstraints.g4"],
-    language = "Go",
-    package = "pathpolicyconstraints",
-)
diff --git a/antlr/PathPolicyConstraints.g4 b/antlr/PathPolicyConstraints.g4
diff --git a/antlr/generate.sh b/antlr/generate.sh
@@ -23,4 +23,3 @@ function generate {
 
 generate traffic_class
 generate sequence
-generate pathpolicyconstraints
diff --git a/antlr/pathpolicyconstraints/BUILD.bazel b/antlr/pathpolicyconstraints/BUILD.bazel
diff --git a/antlr/pathpolicyconstraints/pathpolicyconstraints_base_listener.go b/antlr/pathpolicyconstraints/pathpolicyconstraints_base_listener.go