From 809031bd59aa96d4c1049837aefd4e511acf6a89 Mon Sep 17 00:00:00 2001 From: Forest Belton <65484+forestbelton@users.noreply.github.com> Date: Mon, 9 Aug 2021 20:18:53 -0400 Subject: [PATCH] Add TODO list to README --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/README.md b/README.md index 6fb9d46..19dffc7 100644 --- a/README.md +++ b/README.md @@ -17,3 +17,11 @@ Input programs are specified as a list of CPU instructions. For a list of instru Once you have the program specified, call `gbso.optimize.optimize` on the program. A superoptimized, behaviorally equivalent program will be returned. Additional parameters are available to the optimization function to control search. For a comprehensive example, see [ex.py](./ex.py). + +## TODO + +- [ ] Cost penalties for undefined memory/register reads +- [ ] "Improved" equality metric that accounts for correct results in the wrong location +- [ ] Automatic test case generation from counterexamples +- [ ] `DAA` instruction +- [ ] 16-bit memory/register outputs