dsl -> rio

cucapra · Sep 2, 2024 · ecfd8ef · ecfd8ef
1 parent 4421006
commit ecfd8ef
Show file tree

Hide file tree

Showing 41 changed files with 19 additions and 19 deletions.
diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
@@ -22,10 +22,10 @@ jobs:
         with:
           ocaml-compiler: 5
       - name: Install ocamlformat
-        working-directory: dsl
+        working-directory: rio
         run: opam install ocamlformat
       - name: Check format 
-        working-directory: dsl
+        working-directory: rio
         run: | 
           [ $(opam exec -- dune fmt 2> >(wc -c)) -eq 0 ]
 
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -22,11 +22,11 @@ jobs:
         with:
           ocaml-compiler: 5
       - name: Install dependencies
-        working-directory: dsl
+        working-directory: rio
         run: | 
           opam install . --deps-only
-      - name: DSL tests
-        working-directory: dsl
+      - name: Rio tests
+        working-directory: rio
         run: |
           opam exec -- dune build
           opam exec -- dune test

diff --git a/dsl/simulator/dune b/dsl/simulator/dune
diff --git a/dsl/tests/dune b/dsl/tests/dune
diff --git a/dsl/.ocamlformat → rio/.ocamlformat b/dsl/.ocamlformat → rio/.ocamlformat
diff --git a/dsl/dune-project → rio/dune-project b/dsl/dune-project → rio/dune-project
@@ -1,6 +1,6 @@
 (lang dune 3.16)
 
-(name dsl)
+(name rio)
 
 (generate_opam_files true)
 
@@ -24,8 +24,8 @@
 (using menhir 3.0)
 
 (package
- (name dsl)
- (synopsis "DSL for Programmable Packet Scheduling")
+ (name rio)
+ (synopsis "Rio - a DSL for Programmable Packet Scheduling")
  (description "TBD")
  (depends 
    ocaml 

diff --git a/dsl/frontend/ast.ml → rio/frontend/ast.ml b/dsl/frontend/ast.ml → rio/frontend/ast.ml
diff --git a/dsl/frontend/dune → rio/frontend/dune b/dsl/frontend/dune → rio/frontend/dune
@@ -1,6 +1,6 @@
 (library
  (name Frontend)
- (public_name dsl.frontend))
+ (public_name rio.frontend))
 
 (menhir
  (modules parser))

diff --git a/dsl/frontend/frontend.ml → rio/frontend/frontend.ml b/dsl/frontend/frontend.ml → rio/frontend/frontend.ml
diff --git a/dsl/frontend/lexer.mll → rio/frontend/lexer.mll b/dsl/frontend/lexer.mll → rio/frontend/lexer.mll
diff --git a/dsl/frontend/parse.ml → rio/frontend/parse.ml b/dsl/frontend/parse.ml → rio/frontend/parse.ml
diff --git a/dsl/frontend/parse.mli → rio/frontend/parse.mli b/dsl/frontend/parse.mli → rio/frontend/parse.mli
diff --git a/dsl/frontend/parser.mly → rio/frontend/parser.mly b/dsl/frontend/parser.mly → rio/frontend/parser.mly
diff --git a/dsl/frontend/policy.ml → rio/frontend/policy.ml b/dsl/frontend/policy.ml → rio/frontend/policy.ml
diff --git a/dsl/frontend/policy.mli → rio/frontend/policy.mli b/dsl/frontend/policy.mli → rio/frontend/policy.mli
diff --git a/dsl/dsl.opam → rio/rio.opam b/dsl/dsl.opam → rio/rio.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "DSL for Programmable Packet Scheduling"
+synopsis: "Rio - a DSL for Programmable Packet Scheduling"
 description: "TBD"
 maintainer: [
   "Anshuman Mohan" "Cassandra Sziklai" "Kabir Samsi" "Akash Dhiraj"

diff --git a/dsl/simulator/control.ml → rio/simulator/control.ml b/dsl/simulator/control.ml → rio/simulator/control.ml
diff --git a/dsl/simulator/control.mli → rio/simulator/control.mli b/dsl/simulator/control.mli → rio/simulator/control.mli
diff --git a/rio/simulator/dune b/rio/simulator/dune
@@ -0,0 +1,6 @@
+(library
+ (name Simulator)
+ (public_name rio.simulator)
+ (libraries rio.frontend core_kernel.fheap pcap-format hex csv mmap)
+ (preprocess
+  (pps ppx_cstruct)))
diff --git a/dsl/simulator/ethernet.ml → rio/simulator/ethernet.ml b/dsl/simulator/ethernet.ml → rio/simulator/ethernet.ml
diff --git a/dsl/simulator/packet.ml → rio/simulator/packet.ml b/dsl/simulator/packet.ml → rio/simulator/packet.ml
diff --git a/dsl/simulator/packet.mli → rio/simulator/packet.mli b/dsl/simulator/packet.mli → rio/simulator/packet.mli
diff --git a/dsl/simulator/path.ml → rio/simulator/path.ml b/dsl/simulator/path.ml → rio/simulator/path.ml
diff --git a/dsl/simulator/path.mli → rio/simulator/path.mli b/dsl/simulator/path.mli → rio/simulator/path.mli
diff --git a/dsl/simulator/pieo.ml → rio/simulator/pieo.ml b/dsl/simulator/pieo.ml → rio/simulator/pieo.ml
diff --git a/dsl/simulator/pieo.mli → rio/simulator/pieo.mli b/dsl/simulator/pieo.mli → rio/simulator/pieo.mli
diff --git a/dsl/simulator/pieotree.ml → rio/simulator/pieotree.ml b/dsl/simulator/pieotree.ml → rio/simulator/pieotree.ml
diff --git a/dsl/simulator/pieotree.mli → rio/simulator/pieotree.mli b/dsl/simulator/pieotree.mli → rio/simulator/pieotree.mli
diff --git a/dsl/simulator/rank.ml → rio/simulator/rank.ml b/dsl/simulator/rank.ml → rio/simulator/rank.ml
diff --git a/dsl/simulator/rank.mli → rio/simulator/rank.mli b/dsl/simulator/rank.mli → rio/simulator/rank.mli
diff --git a/dsl/simulator/simulate.ml → rio/simulator/simulate.ml b/dsl/simulator/simulate.ml → rio/simulator/simulate.ml
diff --git a/dsl/simulator/state.ml → rio/simulator/state.ml b/dsl/simulator/state.ml → rio/simulator/state.ml
diff --git a/dsl/simulator/state.mli → rio/simulator/state.mli b/dsl/simulator/state.mli → rio/simulator/state.mli
diff --git a/dsl/simulator/time.ml → rio/simulator/time.ml b/dsl/simulator/time.ml → rio/simulator/time.ml
diff --git a/dsl/simulator/time.mli → rio/simulator/time.mli b/dsl/simulator/time.mli → rio/simulator/time.mli
diff --git a/dsl/simulator/topo.ml → rio/simulator/topo.ml b/dsl/simulator/topo.ml → rio/simulator/topo.ml
diff --git a/dsl/simulator/topo.mli → rio/simulator/topo.mli b/dsl/simulator/topo.mli → rio/simulator/topo.mli
diff --git a/dsl/tests/compilation.ml → rio/tests/compilation.ml b/dsl/tests/compilation.ml → rio/tests/compilation.ml
diff --git a/rio/tests/dune b/rio/tests/dune
@@ -0,0 +1,3 @@
+(tests
+ (names parsing compilation)
+ (libraries rio.frontend rio.simulator ounit2))
diff --git a/dsl/tests/parsing.ml → rio/tests/parsing.ml b/dsl/tests/parsing.ml → rio/tests/parsing.ml
diff --git a/dsl/tests/util.ml → rio/tests/util.ml b/dsl/tests/util.ml → rio/tests/util.ml