Dev/bench runtime

.github/workflows/build.yml

@@ -4,10 +4,11 @@ on:
       - main
   pull_request:
 
+
 name: Build
 jobs:
   dev_build:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
       - uses: actions/checkout@v3
         with:
@@ -21,7 +22,7 @@ jobs:
           command: build
           args:
   release_build:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
       - uses: actions/checkout@v3
         with:

.github/workflows/clippy.yml

@@ -8,7 +8,7 @@ on:
 name: Clippy
 jobs:
   clippy_check:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
       - uses: actions/checkout@v3
         with:

.github/workflows/format.yml

@@ -7,7 +7,7 @@ on:
 name: Format
 jobs:
   format:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
       - uses: actions/checkout@v3
         with:

.github/workflows/tests.yml

@@ -8,11 +8,11 @@ name: Unit Tests (root)
 jobs:
   compile_and_test:
     name: "tests"
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
-      - name: Prepare
-        run: |
-          sudo apt-get install z3
+      # - name: Prepare
+      #   run: |
+      #     sudo apt-get install z3
       - uses: actions/checkout@v3
         with:
           submodules: recursive

.github/workflows/unit-ast.yml

@@ -7,7 +7,7 @@ on:
 name: Unit Tests (libvelosiast)
 jobs:
   compile_and_test:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     name: "libvelosiast"
     steps:
       - uses: actions/checkout@v3

.github/workflows/unit-synth.yml

@@ -8,7 +8,7 @@ name: Unit Tests (libvelosisynth)
 jobs:
   compile_and_test:
     name: "libvelosisynth"
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
       - uses: actions/checkout@v3
         with:

.gitignore

@@ -18,4 +18,4 @@ targetdir
 # Velosiraptor output directory
 outlogs
 out
-logs
+logs

Cargo.toml

@@ -23,12 +23,13 @@ members = [
     ,"lib/velosicodegen"
     ,"lib/velosihwgen/"
     ,"lib/velosicomposition"
-    ,"lib/z3/z3-sys"
 ]
 
+# ,"lib/z3/z3-sys"
+
 [dependencies]
 # argument parsing
-clap = { version = "4.3.5", features = [ "derive" ] }
+clap = { version = "4.5.8", features = [ "derive" ] }
 
 # for colorful output
 colored = "2"
@@ -41,20 +42,26 @@ velosihwgen = { path = "lib/velosihwgen" }
 
 # logging and errors
 log = { version = "0.4.19", features = ["max_level_trace", "release_max_level_warn"] }
-simplelog = { version = "^0.12.0", features = ["paris"] }
+simplelog = { version = "^0.12.2", features = ["paris"] }
 
 # dependencies for testing
 [dev-dependencies]
 strip-ansi-escapes = "0.1.1"
 rexpect = "0.5"
 velosiparser = { path = "lib/velosiraptor-parser" }
 velosicomposition = {path = "lib/velosicomposition" }
+chrono = "0.4.38"
+indicatif = "0.17.8"
+
+[build-dependencies]
+vergen = { version = "8.3.1", features = ["build", "git", "gitcl", "si"] }
+anyhow = "1.0.86"
+
 
 # enable optimizations for the tests
 [profile.test]
 opt-level = 3
 
-
 # benchmarking
 
 [[bench]]
@@ -63,4 +70,8 @@ harness = false
 
 [[bench]]
 name = "opt"
+harness = false
+
+[[bench]]
+name = "runtime"
 harness = false

benches/opt/bench.rs

@@ -1,58 +1,4 @@
 pub const NUM_WORKERS: usize = 14;
-pub const ITERATIONS: usize = 100;
-
-pub struct Stats {
-    pub min: u128,
-    pub med: u128,
-    pub avg: u128,
-    pub max: u128,
-    pub var: u128,
-    pub std: u128,
-    pub num: usize,
-}
-
-impl From<&[u128]> for Stats {
-    fn from(stats: &[u128]) -> Self {
-        let mut data = stats.to_vec();
-
-        if data.is_empty() {
-            return Self {
-                min: 0,
-                med: 0,
-                avg: 0,
-                max: 0,
-                var: 0,
-                std: 0,
-                num: 0,
-            };
-        }
-
-        data.sort();
-
-        let sum = data.iter().sum::<u128>() as u128;
-        let num = data.len();
-        let avg = sum / num as u128;
-
-        let var = data.iter().map(|x| (x - avg) * (x - avg)).sum::<u128>() as u128 / num as u128;
-        let std = (var as f64).sqrt() as u128;
-        Self {
-            min: *data.first().unwrap(),
-            med: data[num / 2],
-            avg,
-            max: *data.last().unwrap(),
-            var,
-            std,
-            num,
-        }
-    }
-}
-
-impl From<&[usize]> for Stats {
-    fn from(stats: &[usize]) -> Self {
-        let data: Vec<u128> = stats.iter().map(|x| *x as u128).collect();
-        Stats::from(data.as_slice())
-    }
-}
 
 pub struct BenchResults {
     pub tag: String,