init pqm7

Signed-off-by: Thing-han, Lim <[email protected]>

.github/dependabot.yml

@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "gitsubmodule"
+    directory: '/'
+    schedule:
+      interval: "monthly"

.github/pull_request_template.md

@@ -0,0 +1,7 @@
+- [ ] PR changes testvectors
+- [ ] Tests pass in qemu
+- [ ] Testvectors pass in qemu
+- [ ] Tests pass on Nucleo-L4R5ZI 
+- [ ] Testvectors pass on Nucleo-L4R5ZI 
+- [ ] Updated Benchmarks
+- [ ] Updated Skiplist entries

.github/workflows/nucleo-f767zi.yml

@@ -0,0 +1,21 @@
+name: stm32f4discovery build
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches: [ "master" ]
+jobs:
+  build-all:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - name: Install Toolchain
+        uses: carlosperate/[email protected]
+        with:
+          release: 13.3.Rel1
+      - name: Build All (nucleo-f767zi)
+        run: make PLATFORM=nucleo-f767zi -j2

.gitignore

@@ -0,0 +1,16 @@
+*.o
+*.bin
+*.elf
+*.a
+*.d
+*.log*
+venv/
+testvectors/
+benchmarks/
+__pycache__/
+bin/
+obj/
+elf/
+bin-host/
+compile_commands.json
+.vscode

.gitmodules

@@ -0,0 +1,9 @@
+[submodule "libopencm3"]
+	path = libopencm3
+	url = https://github.com/libopencm3/libopencm3.git
+[submodule "mupq"]
+	path = mupq
+	url = https://github.com/mupq/mupq.git
+[submodule "slothy"]
+	path = slothy
+	url = https://github.com/slothy-optimizer/slothy

Makefile

@@ -0,0 +1,23 @@
+# SPDX-License-Identifier: Apache-2.0 or CC0-1.0
+.PHONY: all
+all: tests tests-bin
+
+include mupq/mk/config.mk
+include mk/config.mk
+include mk/crypto.mk
+include mupq/mk/host-crypto.mk
+include mupq/mk/rules.mk
+include mupq/mk/schemes.mk
+include mk/tests.mk
+
+.PHONY: clean libclean
+
+clean:
+	rm -rf elf/
+	rm -rf bin/
+	rm -rf bin-host/
+	rm -rf obj/
+	rm -rf testvectors/
+	rm -rf benchmarks/
+
+.SECONDARY:

benchmarks.py

@@ -0,0 +1,33 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: Apache-2.0 or CC0-1.0
+from mupq import mupq
+from interface import parse_arguments, get_platform
+import sys
+
+if __name__ == "__main__":
+    args, rest = parse_arguments()
+    platform, settings = get_platform(args)
+    with platform:
+        schemes = [s for s in rest if s not in ['--nostack',
+                                                '--nospeed',
+                                                '--nohashing',
+                                                '--nosize']]
+        if "--nostack" not in rest:
+            test = mupq.StackBenchmark(settings, platform)
+            if test.test_all(schemes):
+                sys.exit(1)
+
+        if "--nospeed" not in rest:
+            test = mupq.SpeedBenchmark(settings, platform)
+            if test.test_all(schemes):
+                sys.exit(1)
+
+        if "--nohashing" not in rest:
+            test = mupq.HashingBenchmark(settings, platform)
+            if test.test_all(schemes):
+                sys.exit(1)
+
+        if "--nosize" not in rest:
+            test = mupq.SizeBenchmark(settings, platform)
+            if test.test_all(schemes):
+                sys.exit(1)

build_everything.py

@@ -0,0 +1,16 @@
+#!/usr/bin/env python3
+# SPDX-License-Identifier: Apache-2.0 or CC0-1.0
+"""
+Builds all of the binaries without flashing them.
+"""
+import sys
+
+from interface import parse_arguments, get_platform
+from mupq import mupq
+
+
+if __name__ == "__main__":
+    args, rest = parse_arguments()
+    platform, settings = get_platform(args)
+    with platform:
+        mupq.BuildAll(settings).test_all(rest)