From 94aedef106343cf5c2501040b78a1ed7e129c07f Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Fri, 11 Mar 2022 13:11:23 +0100 Subject: [PATCH] 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.