From 494813a37bd6a669992b2be25087f7ca038c5155 Mon Sep 17 00:00:00 2001 From: mike dupont Date: Tue, 30 Jan 2024 11:04:33 -0500 Subject: [PATCH] update --- 2024/01/30/18.721 | 1 + 2024/01/30/ClosestPoints | 1 + 2024/01/30/adt-synthesis | 1 + 2024/01/30/bedrock | 1 + 2024/01/30/coq-scripts | 1 + 2024/01/30/coq-tactics | 1 + 2024/01/30/coq-tools | 1 + 2024/01/30/ct4s | 1 + 2024/01/30/lob | 1 + 2024/01/30/lob-paper | 1 + 2024/01/30/neural-net-coq-interp | 1 + 2024/01/30/parsing-parses | 1 + 2024/01/30/proviola-source | 1 + 2024/01/30/slow-coq-examples | 1 + 2024/01/30/variegated-reading-lists | 1 + 15 files changed, 15 insertions(+) create mode 160000 2024/01/30/18.721 create mode 160000 2024/01/30/ClosestPoints create mode 160000 2024/01/30/adt-synthesis create mode 160000 2024/01/30/bedrock create mode 160000 2024/01/30/coq-scripts create mode 160000 2024/01/30/coq-tactics create mode 160000 2024/01/30/coq-tools create mode 160000 2024/01/30/ct4s create mode 160000 2024/01/30/lob create mode 160000 2024/01/30/lob-paper create mode 160000 2024/01/30/neural-net-coq-interp create mode 160000 2024/01/30/parsing-parses create mode 160000 2024/01/30/proviola-source create mode 160000 2024/01/30/slow-coq-examples create mode 160000 2024/01/30/variegated-reading-lists diff --git a/2024/01/30/18.721 b/2024/01/30/18.721 new file mode 160000 index 00000000..942abfe2 --- /dev/null +++ b/2024/01/30/18.721 @@ -0,0 +1 @@ +Subproject commit 942abfe213aae39abfb14fc9a57adcc6cd01b2a9 diff --git a/2024/01/30/ClosestPoints b/2024/01/30/ClosestPoints new file mode 160000 index 00000000..e8b3c06e --- /dev/null +++ b/2024/01/30/ClosestPoints @@ -0,0 +1 @@ +Subproject commit e8b3c06efa442523ff9e7da198da94f9f05b3593 diff --git a/2024/01/30/adt-synthesis b/2024/01/30/adt-synthesis new file mode 160000 index 00000000..30a5cd36 --- /dev/null +++ b/2024/01/30/adt-synthesis @@ -0,0 +1 @@ +Subproject commit 30a5cd361af029f42864e103a5a604ffa9ee07a7 diff --git a/2024/01/30/bedrock b/2024/01/30/bedrock new file mode 160000 index 00000000..e3ff3c2c --- /dev/null +++ b/2024/01/30/bedrock @@ -0,0 +1 @@ +Subproject commit e3ff3c2cba9976ac4351caaabb4bf7278bb0dcbd diff --git a/2024/01/30/coq-scripts b/2024/01/30/coq-scripts new file mode 160000 index 00000000..7b54b756 --- /dev/null +++ b/2024/01/30/coq-scripts @@ -0,0 +1 @@ +Subproject commit 7b54b756050f1c1237a8b89bb62ae06f6567e712 diff --git a/2024/01/30/coq-tactics b/2024/01/30/coq-tactics new file mode 160000 index 00000000..efbe3f2f --- /dev/null +++ b/2024/01/30/coq-tactics @@ -0,0 +1 @@ +Subproject commit efbe3f2fb6f7a6d7371f32ca3d8d115f592cda76 diff --git a/2024/01/30/coq-tools b/2024/01/30/coq-tools new file mode 160000 index 00000000..4fa8dda7 --- /dev/null +++ b/2024/01/30/coq-tools @@ -0,0 +1 @@ +Subproject commit 4fa8dda707357819528dcc7230dd686453ee0ef6 diff --git a/2024/01/30/ct4s b/2024/01/30/ct4s new file mode 160000 index 00000000..fa17718b --- /dev/null +++ b/2024/01/30/ct4s @@ -0,0 +1 @@ +Subproject commit fa17718be5c6f4fe25c447490f929f943a23f2fc diff --git a/2024/01/30/lob b/2024/01/30/lob new file mode 160000 index 00000000..fe3113a8 --- /dev/null +++ b/2024/01/30/lob @@ -0,0 +1 @@ +Subproject commit fe3113a89c155254a0525ea741aad7469361d161 diff --git a/2024/01/30/lob-paper b/2024/01/30/lob-paper new file mode 160000 index 00000000..b06e709a --- /dev/null +++ b/2024/01/30/lob-paper @@ -0,0 +1 @@ +Subproject commit b06e709ab0cd108e46d01584e7aba527e0dab58f diff --git a/2024/01/30/neural-net-coq-interp b/2024/01/30/neural-net-coq-interp new file mode 160000 index 00000000..8fd643c2 --- /dev/null +++ b/2024/01/30/neural-net-coq-interp @@ -0,0 +1 @@ +Subproject commit 8fd643c232f9d3e8f02f502af33f55b4577e0541 diff --git a/2024/01/30/parsing-parses b/2024/01/30/parsing-parses new file mode 160000 index 00000000..8629e8e7 --- /dev/null +++ b/2024/01/30/parsing-parses @@ -0,0 +1 @@ +Subproject commit 8629e8e7b1e3e65ad6d152d08ce860d1385ecbf9 diff --git a/2024/01/30/proviola-source b/2024/01/30/proviola-source new file mode 160000 index 00000000..8a3f05ab --- /dev/null +++ b/2024/01/30/proviola-source @@ -0,0 +1 @@ +Subproject commit 8a3f05ab13090419ee95fbdd7367e21c873b9395 diff --git a/2024/01/30/slow-coq-examples b/2024/01/30/slow-coq-examples new file mode 160000 index 00000000..45c90a04 --- /dev/null +++ b/2024/01/30/slow-coq-examples @@ -0,0 +1 @@ +Subproject commit 45c90a0447be39dfebbb787029528ad0dd32b090 diff --git a/2024/01/30/variegated-reading-lists b/2024/01/30/variegated-reading-lists new file mode 160000 index 00000000..4d138500 --- /dev/null +++ b/2024/01/30/variegated-reading-lists @@ -0,0 +1 @@ +Subproject commit 4d13850096bf99d04fc33bf76a1f30013c17bacc