From 37bb92b3b9d37ed7b8d42f1c1c725390fcd6413d Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Sun, 25 Jul 2021 10:57:46 +1000 Subject: [PATCH] Update README.md --- README.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index 100387d..e381af3 100644 --- a/README.md +++ b/README.md @@ -7,12 +7,12 @@ This is the repository containing Jip J. Dekker's PhD thesis: "A Modern Architec | Ch. | Title | State | |-----|------------------------------------------|---------------------------------| -| | Abstract | 📖 Ready for reading | -| 1 | Introduction | ⏳ Sent to Peter | -| 2 | Background | 🚧 Received feedback from Guido | -| 3 | Rewriting Constraint Modelling Languages | 📖 No planned work | +| 0 | Abstract | 📖 Ready for reading | +| 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 | -| 6 | Conclusions | 🚧 Received feedback from Guido | -| A1 | MiniZinc Syntax | 📖 No planned work | -| A2 | Experiment Resources | 📖 Awaiting final changes | +| 6 | Conclusions | 📖 Ready for reading | +| A1 | MiniZinc Syntax | 📖 Ready for reading | +| A2 | Experiment Resources | 📖 Ready for reading |