From f470a1c61d09682042633e08f8273f39c37df6d2 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Wed, 21 Jul 2021 13:48:33 +1000 Subject: [PATCH] Update status --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 5e20df3..6ff299f 100644 --- a/README.md +++ b/README.md @@ -8,11 +8,11 @@ This is the repository containing Jip J. Dekker's PhD thesis: "A Modern Architec | Ch. | Title | State | |-----|------------------------------------------|---------------------------------| | | Abstract | 🆕 Blank | -| 1 | Introduction | 🚧 Received feedback from Guido | -| 2 | Background | 🚧 Received feedback from Julie | -| 3 | Rewriting Constraint Modelling Languages | 🚧 Received feedback from Peter | -| 4 | Half Reification | 🚧 Received feedback from Peter | -| 5 | Incremental Processing | 🚧 Received feedback from Peter | -| 6 | Conclusions | ⏳ Sent to Guido | +| 1 | Introduction | ⏳ Sent to Peter | +| 2 | Background | 🚧 Received feedback from Guido | +| 3 | Rewriting Constraint Modelling Languages | 📖 No planned work | +| 4 | Reasoning about Reification | ⏳ Sent to Guido | +| 5 | Incremental Constraint Modelling | ⏳ Sent to Guido | +| 6 | Conclusions | ⏳ Sent to Julie | | A1 | MiniZinc Syntax | 📖 No planned work | | A2 | Experiment Resources | 📖 Awaiting final changes |