From ab98b78b8a2dda1c35d6c09cadedf07eb3ee3417 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Mon, 8 Nov 2021 13:04:38 +1100 Subject: [PATCH] Mark everything as ready in the README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 60fa00c..1f8980d 100644 --- a/README.md +++ b/README.md @@ -11,8 +11,8 @@ This is the repository containing Jip J. Dekker's PhD thesis: “A Modern Archit | 1 | Introduction | 📖 Ready for reading | | 2 | Background | 📖 Ready for reading | | 3 | Rewriting Constraint Modelling Languages | 📖 Ready for reading | -| 4 | Reasoning about Reification | 🚧 Received feedback from Guido | -| 5 | Incremental Constraint Modelling | ⏳ Sent to Guido | +| 4 | Reasoning about Reification | 📖 Ready for reading | +| 5 | Incremental Constraint Modelling | 📖 Ready for reading | | 6 | Conclusions | 📖 Ready for reading | | A1 | MiniZinc Syntax | 📖 Ready for reading | | A2 | Experiment Resources | 📖 Ready for reading |