chore: move bootstrap code in a code directory

Inria-Prosecco · Oct 21, 2024 · 1ec846a · 1ec846a
1 parent de6499b
commit 1ec846a
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -6,7 +6,7 @@ DY_HOME       ?= $(MLS_HOME)/../dolev-yao-star
 NO_DY ?=
 USE_DY = $(if $(NO_DY),, 1)
 
-INNER_SOURCE_DIRS = api bootstrap common/code common/proofs common/symbolic glue/code glue/proofs test treedem treekem/code treekem/proofs treemath treesync/code treesync/proofs $(if $(USE_DY), symbolic treesync/symbolic)
+INNER_SOURCE_DIRS = api bootstrap/code common/code common/proofs common/symbolic glue/code glue/proofs test treedem treekem/code treekem/proofs treemath treesync/code treesync/proofs $(if $(USE_DY), symbolic treesync/symbolic)
 
 HACL_SNAPSHOT_DIR = $(MLS_HOME)/hacl-star-snapshot
 SOURCE_DIRS = $(addprefix $(MLS_HOME)/fstar/, $(INNER_SOURCE_DIRS))

diff --git a/...bootstrap/MLS.Bootstrap.KeyPackageRef.fst → ...trap/code/MLS.Bootstrap.KeyPackageRef.fst b/...bootstrap/MLS.Bootstrap.KeyPackageRef.fst → ...trap/code/MLS.Bootstrap.KeyPackageRef.fst
diff --git a/.../bootstrap/MLS.Bootstrap.NetworkTypes.fst → ...strap/code/MLS.Bootstrap.NetworkTypes.fst b/.../bootstrap/MLS.Bootstrap.NetworkTypes.fst → ...strap/code/MLS.Bootstrap.NetworkTypes.fst
diff --git a/fstar/bootstrap/MLS.Bootstrap.Welcome.fst → .../bootstrap/code/MLS.Bootstrap.Welcome.fst b/fstar/bootstrap/MLS.Bootstrap.Welcome.fst → .../bootstrap/code/MLS.Bootstrap.Welcome.fst