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 |