Commit Graph

102 Commits

Author SHA1 Message Date
RD 60d5231717 master > master: protokoll woche 16 2021-07-28 12:25:29 +02:00
RD fa1c091565 master > master: protokoll + READMEs überarbeitet 2021-07-26 16:53:03 +02:00
RD fd3229410c master > master: protokoll woche 15 2021-07-21 13:01:10 +02:00
RD f86c908d45 master > master: protokoll woche15 2021-07-21 10:58:07 +02:00
RD 1b1b781b84 master > master: handnotizen woche14 2021-07-14 13:00:21 +02:00
RD 2b44a0c54c master > master: protokoll woche14 2021-07-14 13:00:17 +02:00
RD f278500d27 master > master: protocol woche14 2021-07-13 20:06:18 +02:00
RD dc6f46777d master > master: protokoll woche 13 2021-07-07 17:40:51 +02:00
RD 97a06db946 master > master: protokolle aktualisiert 2021-07-06 15:15:41 +02:00
RD 7433401bf0 master > master: README.md 2021-07-06 15:15:26 +02:00
RD 950942d07d master > master: aufzeichnungslink + kleine Fixes 2021-06-30 16:24:54 +02:00
RD 405808a47d master > master: notes woche12 2021-06-30 13:08:35 +02:00
RD 00c4d85bd9 master > master: protocoll woche12 2021-06-30 13:08:28 +02:00
RD 07b0931e97 master > master: protocol woche12 2021-06-29 17:06:22 +02:00
RD caa24ac777 master > master: protokoll woche11 2021-06-23 15:53:46 +02:00
RD f5d978bd7c master > master: woche11 2021-06-21 11:22:52 +02:00
RD 9c1941c9d8 master > master: README.md 2021-06-20 18:40:42 +02:00
RD 2921cc354a master > master: handnotizen woche10 2021-06-20 18:40:36 +02:00
RD 466eabeece master > master: handnotizen woche8 2021-06-20 18:40:32 +02:00
RD 48529c79e3 master > master: .gitignore 2021-06-20 18:36:16 +02:00
RD 5f6820fcec master > master: protokoll 2021-06-20 18:35:52 +02:00
RD 23a8ba3a49 master > master: Glossar 2021-06-20 18:35:40 +02:00
RD 7cc2039050 master > master: .gitignore 2021-06-20 18:35:29 +02:00
RD 3d49ab9b7a master > master: protokoll woche 6 2021-05-18 11:36:40 +02:00
RD f292d7e5dc master > master: codego - utils + unit tests, A1[0-9]+ mit testen 2021-05-18 11:32:32 +02:00
RD 2ab9b63a08 master > master: codego - Formulae package 2021-05-18 11:31:29 +02:00
RD 4be6896a0f master > master: codego - Grammatik 2021-05-18 11:31:01 +02:00
RD c48f703744 master > master: codego - test.sh 2021-05-18 11:30:27 +02:00
RD 0b9378cea1 master > master: notes - Woche5 (bloß kosmetische Änderungen) 2021-05-15 12:12:46 +02:00
RD d877f3905c master > master: codego - test nicht mehr wegen generics überspringen 2021-05-15 10:59:20 +02:00
RD 38c4614e3e master > master: codego - minor fix 2021-05-15 10:58:56 +02:00
RD 888728d039 master > master: codego - generics schema 2021-05-15 10:58:23 +02:00
RD 0856bfc0b0 master > master: codego - generics 2021-05-15 10:58:17 +02:00
RD b315e666b8 master > master: codego - test.sh (entfernte rm go.sum) 2021-05-15 00:06:01 +02:00
RD 3b1c190543 master > master: codego - nnf für implies, iff 2021-05-15 00:05:42 +02:00
RD 6d774a6a4c master > master: codego - unittests 2021-05-15 00:05:26 +02:00
RD 79bfcf57bb master > master: codego - iff 2021-05-15 00:05:03 +02:00
RD 9b225b0551 master > master: codego - minor cleanup 2021-05-14 19:23:53 +02:00
RD 39be87d52f master > master: codego - cleanup 2021-05-14 18:35:06 +02:00
RD 89c8e63f4b master > master: codego - aufteilen von methoden in /formulae 2021-05-14 17:41:01 +02:00
RD 73b7817dcd master > master: codego - auslagern, erzeugungsmethode verbessert, SyntaxBaum -> Formula 2021-05-14 16:58:27 +02:00
RD d490406892 master > master: codego - README.md 2021-05-14 16:57:50 +02:00
RD 004204c9e9 master > master: codego - .gitignore 2021-05-14 16:57:38 +02:00
RD 3de689d6fc master > master: codego - build.sh vereinfacht 2021-05-14 16:57:25 +02:00
RD 6641946bad master > master: codego Tippfehler 2021-05-12 22:37:00 +02:00
RD 2c9b4762a4 master > master: codego panic statt err in utils + unit tests 2021-05-12 22:35:10 +02:00
RD a20cfba970 master > master: codego unit tests (actual, expected) Reihenfolge 2021-05-12 18:54:41 +02:00
RD 45821fc85d master > master: codego go.sum aktualisiert 2021-05-12 18:47:14 +02:00
RD 1e37fd2ea9 master > master: codego unit tests aktualisiert 2021-05-12 18:46:51 +02:00
RD c10f194ce4 master > master: codego rekursives Aufrufen mit Channels ausgelagert 2021-05-12 18:46:37 +02:00