From a593cce3c63c3cb64cbc36039eab217660bc172d Mon Sep 17 00:00:00 2001
From: Jon Howell <howell@vmware.com>
Date: Wed, 15 May 2024 08:05:27 -0700
Subject: [PATCH] remove obsolete file

---
 ironsht/TODO.md | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 ironsht/TODO.md

diff --git a/ironsht/TODO.md b/ironsht/TODO.md
deleted file mode 100644
index ce4a44b..0000000
--- a/ironsht/TODO.md
+++ /dev/null
@@ -1,29 +0,0 @@
-# How to build
-
-```
-cd ironfleet-comparison #(one leven above here)
-unbuffer scons --verus-path=/home/jonh/verus | less -R
-```
-
-# Known Missing
-
-* Missing `host_impl_v` implementations (lorch, jonh)
-  * `extract_range_impl`
-
-# Done
-
-✓ Change NodeIdentity -> AbstractEndPoint = Seq<u8>
-
-✓ How is it that EndPoint = Vec<u8> is in spec places?
-
-✓ `hashmap_t`: axiomatize Rust HashMap? (Tej)
-
-✓ `cmessage_v::CPacket` (Tej)
-
-✓ `args_t::clone_vec` axiomatize? (Tej)
-
-✓ Write missing `host_protocol_t` transitions (lorch)
-
-✓ Plug `io_t` into C# hooks (lorch)
-
-✓ Marshalling library for arbitrary Rust `struct`s and `enum`s (jayb)