Trivilang

.github/workflows/ci.yml

@@ -0,0 +1,53 @@
+on:
+  pull_request:
+    branches: [main, master]
+  push:
+    branches: [main, master]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Cache cargo dependencies
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cargo/bin/
+            ~/.cargo/registry/index/
+            ~/.cargo/registry/cache/
+            ~/.cargo/git/db/
+            target/
+          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Run tests
+        run: cargo test --verbose
+
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@stable
+
+      - name: Cache cargo dependencies
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/.cargo/bin/
+            ~/.cargo/registry/index/
+            ~/.cargo/registry/cache/
+            ~/.cargo/git/db/
+            target/
+          key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+
+      - name: Build release
+        run: cargo build --release --verbose

.gitignore

@@ -0,0 +1,8 @@
+/target
+
+
+# Added by cargo
+#
+# already existing elements were commented out
+
+#/target

Cargo.toml

@@ -0,0 +1,14 @@
+[package]
+name = "trivilang"
+version = "0.1.0"
+edition = "2024"
+
+[[bin]]
+name = "trivic"
+path = "src/main.rs"
+
+[dependencies]
+
+
+[dev-dependencies]
+pretty_assertions = "1.4.1"

README.md

@@ -1,2 +1,2 @@
-# masterthesis
-Our Master Thesis
+# Master Thesis (TriviLang)
+Trivilang is a custom toy language for demonstrating the ease of adding hardening capabilities to compilers.

src/main.rs

@@ -0,0 +1,12 @@
+fn main() {
+    println!("Hello, world!");
+}
+
+#[cfg(test)]
+mod tests{
+    use pretty_assertions::{assert_eq};
+    #[test]
+    fn zero_eq_zero(){
+        assert_eq!(0,0);
+    }
+}

test.sl

@@ -0,0 +1,32 @@
+# Test file for small_lang compiler
+
+func is_greater_than_44(params : Integer) -> Integer {
+  let x : Integer = params;
+  if x > 44 is True then {
+    1
+  }
+  else if not {
+    0
+  }
+}
+
+
+func otherFunction() -> Boolean {
+  let number : Integer = 20;
+  let is_greater : Integer = is_greater_than_44(number);
+  if is_greater == 0 is True then {
+    print("Didnt work the first time!");
+  }
+  while is_greater == 0 do {
+    number = number + 1;
+    is_greater = is_greater_than_44(number);
+  }
+  True
+}
+
+func main() -> Boolean {
+  let result : Boolean = otherFunction();
+  print(result);
+  print("Finished");
+  result
+}