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