From 94aedef106343cf5c2501040b78a1ed7e129c07f Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Fri, 11 Mar 2022 13:11:23 +0100 Subject: [PATCH 1/3] Updated README for this semester --- README.md | 21 +++++++-------------- 1 file changed, 7 insertions(+), 14 deletions(-) diff --git a/README.md b/README.md index 2946ff0..1679aa4 100644 --- a/README.md +++ b/README.md @@ -9,23 +9,16 @@ This repository will be used for submissions of *Logic and Computability* practi This year you will have the chance to solve up to four different programming exercises to achieve some bonus points. Our main goal is to get you acquainted with the tools and how to use them to solve interesting problems. To make things easier, we have prepared a skeleton for each programming exercise. We have already implemented most of the scaffolding code so that you only need to do the encoding into SMT. We have marked all of these locations in the code with short `# todo` descriptions, you should not need to modify anything else. There are also several hints throughout the skeleton where we suggest the best approach of doing the task. We marked them with `# hint`. Your code should not include any additional packages, and we will test them in an environment where only the SMT solver `z3` is available (apart for some colorizing packages, which will be listed in `requirements.txt`). We will provide you with the skeleton for the programming exercises so that you only have to do the SMT encoding and testing. -We will push them to [our repository](https://git.pranger.xyz/sp/lub2022-practical.git). -You can then pull changes from that repository by setting it as your upstream. -Below is a short example of how you can do this. -1. First, clone your submission repository and enter its root directory. -2. Register our repository as the upstream: +1. First, clone this repository and enter its root directory. ``` bash -git remote add upstream https://git.pranger.xyz/sp/lub2022-practical.git -``` -3. Then, when we release a new exercise, pull it into your repository: -``` bash -git pull upstream main -``` -4. Solve the exercise and push it into your main branch: -``` bash -git push origin main +git clone https://git.pranger.xyz/sp/lub2022-practical.git --origin upstream ``` +2. Start with solving the examples! + +We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions. + + Your exercises will be tested! Make sure to write a few test cases for yourself. In general, we also provide you with at least one test case, and if it works correctly, you know that you did an excellent job and will probably get all points. From 441b7c0d806e07a3c90ee50b1a7005bed3f5d4ca Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Fri, 11 Mar 2022 13:12:58 +0100 Subject: [PATCH 2/3] not under construction anymore --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index 1679aa4..fba7fa0 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,3 @@ -**Under Construction!** - # Logic and Computability - Practical Bonus Assignments 2022 This repository will be used for submissions of *Logic and Computability* practical assignments in the summer semester 2022. @@ -16,7 +14,7 @@ git clone https://git.pranger.xyz/sp/lub2022-practical.git --origin upstream ``` 2. Start with solving the examples! -We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions. +_We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions._ From d323e97ddff2ead823cb6422e916856d496540bc Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Fri, 11 Mar 2022 13:14:08 +0100 Subject: [PATCH 3/3] grammar fix --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fba7fa0..01b5f0b 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ We will provide you with the skeleton for the programming exercises so that you ``` bash git clone https://git.pranger.xyz/sp/lub2022-practical.git --origin upstream ``` -2. Start with solving the examples! +2. Start solving the examples! _We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions._