diff --git a/.gitmodules b/.gitmodules index a9c7aca8..9551041e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -2858,3 +2858,27 @@ [submodule "2024/01/31/ett-to-itt"] path = 2024/01/31/ett-to-itt url = https://github.com/TheoWinterhalter/ett-to-itt +[submodule "2024/01/31/helix"] + path = 2024/01/31/helix + url = https://github.com/vzaliva/helix +[submodule "2024/01/31/category-theory"] + path = 2024/01/31/category-theory + url = https://github.com/jwiegley/category-theory +[submodule "2024/01/31/candid"] + path = 2024/01/31/candid + url = https://github.com/dfinity/candid +[submodule "2024/01/31/coq-tricks"] + path = 2024/01/31/coq-tricks + url = https://github.com/tchajed/coq-tricks +[submodule "2024/01/31/fscq"] + path = 2024/01/31/fscq + url = https://github.com/mit-pdos/fscq +[submodule "2024/01/31/WasmCert-Coq"] + path = 2024/01/31/WasmCert-Coq + url = https://github.com/WasmCert/WasmCert-Coq +[submodule "2024/01/31/InteractionTrees"] + path = 2024/01/31/InteractionTrees + url = https://github.com/DeepSpec/InteractionTrees +[submodule "2024/01/31/saw-script"] + path = 2024/01/31/saw-script + url = https://github.com/GaloisInc/saw-script diff --git a/2024/01/01/DQNAgent b/2024/01/01/DQNAgent index 30596c3e..f14780b1 160000 --- a/2024/01/01/DQNAgent +++ b/2024/01/01/DQNAgent @@ -1 +1 @@ -Subproject commit 30596c3e277971f5ffd198c1fceb91e86a2f1872 +Subproject commit f14780b19b9e1555916f83a3780d24d204d580e6 diff --git a/2024/01/27/assistants b/2024/01/27/assistants index f3154558..b570569e 160000 --- a/2024/01/27/assistants +++ b/2024/01/27/assistants @@ -1 +1 @@ -Subproject commit f31545580b0929cae844fb3821f25c59116a83d2 +Subproject commit b570569eaebd27361607db0896223efac2af75d2 diff --git a/2024/01/31/InteractionTrees b/2024/01/31/InteractionTrees new file mode 160000 index 00000000..dda10493 --- /dev/null +++ b/2024/01/31/InteractionTrees @@ -0,0 +1 @@ +Subproject commit dda104937d79e2052d1a26f6cbe89429245ff743 diff --git a/2024/01/31/WasmCert-Coq b/2024/01/31/WasmCert-Coq new file mode 160000 index 00000000..7435b979 --- /dev/null +++ b/2024/01/31/WasmCert-Coq @@ -0,0 +1 @@ +Subproject commit 7435b9795fd2bec30e15900ddc775386fede34bd diff --git a/2024/01/31/candid b/2024/01/31/candid new file mode 160000 index 00000000..aef1e029 --- /dev/null +++ b/2024/01/31/candid @@ -0,0 +1 @@ +Subproject commit aef1e029d7012470d324fcb815a722a49e2ccd96 diff --git a/2024/01/31/category-theory b/2024/01/31/category-theory new file mode 160000 index 00000000..5ff107d9 --- /dev/null +++ b/2024/01/31/category-theory @@ -0,0 +1 @@ +Subproject commit 5ff107d9068d4b9f44e0bfa23c7fd48e3da7e774 diff --git a/2024/01/31/coq-tricks b/2024/01/31/coq-tricks new file mode 160000 index 00000000..d7784e73 --- /dev/null +++ b/2024/01/31/coq-tricks @@ -0,0 +1 @@ +Subproject commit d7784e731d5a032fdd4dbc5d83aec25fd30269e9 diff --git a/2024/01/31/fscq b/2024/01/31/fscq new file mode 160000 index 00000000..2c7ef9c2 --- /dev/null +++ b/2024/01/31/fscq @@ -0,0 +1 @@ +Subproject commit 2c7ef9c268fd79a81b26b44ef720f8e6a1e938a0 diff --git a/2024/01/31/helix b/2024/01/31/helix new file mode 160000 index 00000000..f139ec18 --- /dev/null +++ b/2024/01/31/helix @@ -0,0 +1 @@ +Subproject commit f139ec18aeedb014d90e4082e25f21ee12cd088a diff --git a/2024/01/31/saw-script b/2024/01/31/saw-script new file mode 160000 index 00000000..03f92854 --- /dev/null +++ b/2024/01/31/saw-script @@ -0,0 +1 @@ +Subproject commit 03f928544a460a156df03eb69c46a01c4438f3bd diff --git a/2024/01/SepLogicTypeclasses b/2024/01/SepLogicTypeclasses deleted file mode 160000 index 509ddcbb..00000000 --- a/2024/01/SepLogicTypeclasses +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 509ddcbb0b69426f6384f99666f0d0540f79de26 diff --git a/2024/01/bedrock b/2024/01/bedrock deleted file mode 160000 index e3ff3c2c..00000000 --- a/2024/01/bedrock +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e3ff3c2cba9976ac4351caaabb4bf7278bb0dcbd diff --git a/2024/01/coq-a-la-carte-cpp20 b/2024/01/coq-a-la-carte-cpp20 deleted file mode 160000 index a400dad7..00000000 --- a/2024/01/coq-a-la-carte-cpp20 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a400dad7140e4a59cc1732ad56ee77839f850c2a diff --git a/2024/01/coq-elpi b/2024/01/coq-elpi deleted file mode 160000 index 6b98188b..00000000 --- a/2024/01/coq-elpi +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6b98188bb72583d8f304d0c7d54def889b3ed87e diff --git a/2024/01/coq-library-complexity b/2024/01/coq-library-complexity deleted file mode 160000 index 14b5f413..00000000 --- a/2024/01/coq-library-complexity +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 14b5f413d2fb7adecde79c5451b483f9a1af59a8 diff --git a/2024/01/coq-library-undecidability b/2024/01/coq-library-undecidability deleted file mode 160000 index 8880e198..00000000 --- a/2024/01/coq-library-undecidability +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8880e198bdc44cba1bd901f1fee701a95fc440ae diff --git a/2024/01/ett-to-itt b/2024/01/ett-to-itt deleted file mode 160000 index b77534bf..00000000 --- a/2024/01/ett-to-itt +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b77534bf62673292da2139639f081cad4721a383 diff --git a/2024/01/frap b/2024/01/frap deleted file mode 160000 index d9fb7fca..00000000 --- a/2024/01/frap +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d9fb7fca94af70c11e683ef2818d25cd850999eb diff --git a/2024/01/reification-by-parametricity b/2024/01/reification-by-parametricity deleted file mode 160000 index d1bc17cf..00000000 --- a/2024/01/reification-by-parametricity +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d1bc17cf99a66e0268f655e28cdb375e712cd831 diff --git a/2024/01/template-coq b/2024/01/template-coq deleted file mode 160000 index 4f4b4fb6..00000000 --- a/2024/01/template-coq +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 4f4b4fb6707ea5ad9d60e572671a1fdc9d950925