diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-10 12:00:37 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-10 12:00:54 +0100 |
| commit | 78b00a76e6807420b1deabd28ad01d8eafc0114b (patch) | |
| tree | 100c7df76b3c1ed81a1b3758d9dd669a7dec4bc2 | |
| parent | 3117d20ad51f98ec7af9dba9969d2ee998667306 (diff) | |
| download | vericert-kvx-78b00a76e6807420b1deabd28ad01d8eafc0114b.tar.gz vericert-kvx-78b00a76e6807420b1deabd28ad01d8eafc0114b.zip | |
Add superblock scheduling backend
| -rw-r--r-- | .gitmodules | 4 | ||||
| -rw-r--r-- | default.nix | 4 | ||||
| m--------- | lib/compcert-kvx | 0 | ||||
| -rw-r--r-- | src/superblock/README.md | 3 |
4 files changed, 9 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules index f30817e..5f52899 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,7 @@ [submodule "lib/CompCert"] path = lib/CompCert url = https://github.com/ymherklotz/CompCert.git +[submodule "lib/compcert-kvx"] + path = lib/compcert-kvx + url = https://git.sr.ht/~ymherklotz/compcert-kvx + branch = vericert diff --git a/default.nix b/default.nix index e3ce09b..f69fa4a 100644 --- a/default.nix +++ b/default.nix @@ -1,7 +1,7 @@ with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/00197eff36bb8f7dd7f53a59f730e1fd8e11b1f4.tar.gz") {}; let - ncoq = coq_8_14; - ncoqPackages = coqPackages_8_14; + ncoq = coq_8_13; + ncoqPackages = coqPackages_8_13; in stdenv.mkDerivation { name = "vericert"; diff --git a/lib/compcert-kvx b/lib/compcert-kvx new file mode 160000 +Subproject c68661bd1eb5565e1272e039d7c2fa34086abf9 diff --git a/src/superblock/README.md b/src/superblock/README.md new file mode 100644 index 0000000..83b7758 --- /dev/null +++ b/src/superblock/README.md @@ -0,0 +1,3 @@ +# Superblock Scheduling + +This folder provides an interconnect with superblock scheduling by Six *et al*. |