raj_mathe
/
logik2021
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 60d5231717 master > master: protokoll woche 16 master RD 2021-07-28 12:25:29 +0200
  • fa1c091565 master > master: protokoll + READMEs überarbeitet RD 2021-07-26 16:53:03 +0200
  • fd3229410c master > master: protokoll woche 15 RD 2021-07-21 13:01:10 +0200
  • f86c908d45 master > master: protokoll woche15 RD 2021-07-21 10:58:07 +0200
  • 1b1b781b84 master > master: handnotizen woche14 RD 2021-07-14 13:00:21 +0200
  • 2b44a0c54c master > master: protokoll woche14 RD 2021-07-14 13:00:17 +0200
  • f278500d27 master > master: protocol woche14 RD 2021-07-13 20:06:18 +0200
  • dc6f46777d master > master: protokoll woche 13 RD 2021-07-07 17:40:51 +0200
  • 97a06db946 master > master: protokolle aktualisiert RD 2021-07-06 15:15:41 +0200
  • 7433401bf0 master > master: README.md RD 2021-07-06 15:15:26 +0200
  • 950942d07d master > master: aufzeichnungslink + kleine Fixes RD 2021-06-30 16:24:54 +0200
  • 405808a47d master > master: notes woche12 RD 2021-06-30 13:08:35 +0200
  • 00c4d85bd9 master > master: protocoll woche12 RD 2021-06-30 13:08:28 +0200
  • 07b0931e97 master > master: protocol woche12 RD 2021-06-29 17:06:22 +0200
  • caa24ac777 master > master: protokoll woche11 RD 2021-06-23 15:53:46 +0200
  • f5d978bd7c master > master: woche11 RD 2021-06-21 11:22:52 +0200
  • 9c1941c9d8 master > master: README.md RD 2021-06-20 18:40:42 +0200
  • 2921cc354a master > master: handnotizen woche10 RD 2021-06-20 18:40:36 +0200
  • 466eabeece master > master: handnotizen woche8 RD 2021-06-20 18:40:32 +0200
  • 48529c79e3 master > master: .gitignore RD 2021-06-20 18:36:16 +0200
  • 5f6820fcec master > master: protokoll RD 2021-06-20 18:35:52 +0200
  • 23a8ba3a49 master > master: Glossar RD 2021-06-20 18:35:40 +0200
  • 7cc2039050 master > master: .gitignore RD 2021-06-20 18:35:29 +0200
  • 3d49ab9b7a master > master: protokoll woche 6 RD 2021-05-18 11:36:40 +0200
  • f292d7e5dc master > master: codego - utils + unit tests, A1[0-9]+ mit testen RD 2021-05-18 11:32:32 +0200
  • 2ab9b63a08 master > master: codego - Formulae package RD 2021-05-18 11:31:29 +0200
  • 4be6896a0f master > master: codego - Grammatik RD 2021-05-18 11:31:01 +0200
  • c48f703744 master > master: codego - test.sh RD 2021-05-18 11:30:20 +0200
  • 0b9378cea1 master > master: notes - Woche5 (bloß kosmetische Änderungen) RD 2021-05-15 12:12:46 +0200
  • d877f3905c master > master: codego - test nicht mehr wegen generics überspringen RD 2021-05-15 10:59:20 +0200
  • 38c4614e3e master > master: codego - minor fix RD 2021-05-15 10:58:56 +0200
  • 888728d039 master > master: codego - generics schema RD 2021-05-15 10:58:23 +0200
  • 0856bfc0b0 master > master: codego - generics RD 2021-05-15 10:58:17 +0200
  • b315e666b8 master > master: codego - test.sh (entfernte rm go.sum) RD 2021-05-15 00:06:01 +0200
  • 3b1c190543 master > master: codego - nnf für implies, iff RD 2021-05-15 00:05:42 +0200
  • 6d774a6a4c master > master: codego - unittests RD 2021-05-15 00:05:26 +0200
  • 79bfcf57bb master > master: codego - iff RD 2021-05-15 00:05:03 +0200
  • 9b225b0551 master > master: codego - minor cleanup RD 2021-05-14 19:23:53 +0200
  • 39be87d52f master > master: codego - cleanup RD 2021-05-14 18:35:06 +0200
  • 89c8e63f4b master > master: codego - aufteilen von methoden in /formulae RD 2021-05-14 17:41:01 +0200
  • 73b7817dcd master > master: codego - auslagern, erzeugungsmethode verbessert, SyntaxBaum -> Formula RD 2021-05-14 16:58:27 +0200
  • d490406892 master > master: codego - README.md RD 2021-05-14 16:57:50 +0200
  • 004204c9e9 master > master: codego - .gitignore RD 2021-05-14 16:57:38 +0200
  • 3de689d6fc master > master: codego - build.sh vereinfacht RD 2021-05-14 16:57:25 +0200
  • 6641946bad master > master: codego Tippfehler RD 2021-05-12 22:37:00 +0200
  • 2c9b4762a4 master > master: codego panic statt err in utils + unit tests RD 2021-05-12 22:35:10 +0200
  • a20cfba970 master > master: codego unit tests (actual, expected) Reihenfolge RD 2021-05-12 18:54:41 +0200
  • 45821fc85d master > master: codego go.sum aktualisiert RD 2021-05-12 18:47:14 +0200
  • 1e37fd2ea9 master > master: codego unit tests aktualisiert RD 2021-05-12 18:46:51 +0200
  • c10f194ce4 master > master: codego rekursives Aufrufen mit Channels ausgelagert RD 2021-05-12 18:46:37 +0200
  • 8778d31676 master > master: codego main aufgeräumt RD 2021-05-12 18:45:58 +0200
  • 8dcf781b96 master > master: codego Anwendung von Go's "channels" für Rekursion RD 2021-05-12 18:45:43 +0200
  • 5e89d57dad master > master: codego Aufräumung von SyntaxBaum Methoden RD 2021-05-12 18:45:18 +0200
  • 100701d610 master > master: codego fügte funktionen utils hinzu RD 2021-05-12 18:44:53 +0200
  • 44b0ee41bf master > master: go package updates RD 2021-05-12 14:11:04 +0200
  • 8e6bd1def7 master > master: codego build script RD 2021-05-12 14:10:19 +0200
  • 7272454835 master > master: Notes Woche 4 RD 2021-05-12 14:04:54 +0200
  • 3e8709f90d master > master: Notes Woche 5 RD 2021-05-12 14:04:49 +0200
  • 1bce3a20af master > master: Protokoll Woche 5 RD 2021-05-12 14:04:39 +0200
  • 34422b420b master > master: protokoll Woche 5 RD 2021-05-12 10:59:59 +0200
  • cbeca60c33 master > master: umbenennung von grammatik RD 2021-05-10 15:55:00 +0200
  • 30ed4667e1 master > master: requirements verschoben RD 2021-05-10 15:49:24 +0200
  • 2dcafc4eb5 master > master: code -> README.md RD 2021-05-10 15:46:46 +0200
  • 61ec2d7df3 master > master: allgemeine Aufräumung RD 2021-05-10 14:32:52 +0200
  • a0dee82659 master > master: notes für Woche4 überarbeitet RD 2021-05-09 21:01:29 +0200
  • 813a984257 master > master: unittests nicht mehr per Default verbose RD 2021-05-09 20:41:54 +0200
  • cd21b1f035 master > master: codego methoden statt properties verwenden RD 2021-05-09 20:41:24 +0200
  • 5c43006abd master > master: (code/codego) run.sh -> build.sh RD 2021-05-09 20:24:18 +0200
  • 05ed3cf6c9 master > master: codego -> README.md RD 2021-05-09 20:19:26 +0200
  • 56a0770ecb master > master: codego -> antlr.jar nicht synchronisieren RD 2021-05-09 20:15:23 +0200
  • fa286a6335 master > master: codego -> schema hinzugefügt RD 2021-05-09 18:22:30 +0200
  • f1a957db03 master > master: codego initialisiert RD 2021-05-09 18:22:12 +0200
  • f4ee7601fd master > master: .gitignore RD 2021-05-09 18:21:46 +0200
  • b62d40cf9f master > master: code -> aufräumung RD 2021-05-09 18:21:36 +0200
  • d4a3f2177b master > master: kleiner syntaxfehler RD 2021-05-07 20:21:28 +0200
  • 6b30155953 master > master: notes für Woche4 RD 2021-05-07 20:07:15 +0200
  • 8137274cf9 master > master: .gitignore RD 2021-05-07 20:07:02 +0200
  • 27d198c91e master > master: Tippfehler RD 2021-05-07 20:06:49 +0200
  • 038eb8a754 master > master: auslagern + Entfernung von überflüssigen Methoden RD 2021-05-07 08:18:50 +0200
  • ff8b7132f0 master > master: grammatik auslagern RD 2021-05-07 06:37:32 +0200
  • 92c1aa4d61 master > master: README.md RD 2021-05-06 23:34:37 +0200
  • 28a1e313b3 master > master: Schema robuster gemacht; simple class, um Aspekte leichter aufzurufen RD 2021-05-06 23:34:25 +0200
  • 6f6de00296 master > master: Teile auslagern + Vereinfachungen RD 2021-05-06 15:29:44 +0200
  • d94d508e8c master > master: Verschönerung vom Skript RD 2021-05-06 12:55:11 +0200
  • 7fc5852fc9 master > master: code/README.md RD 2021-05-06 12:52:33 +0200
  • accf6b93f0 master > master: code/README.md RD 2021-05-06 12:50:11 +0200
  • 7b0cacf600 master > master: code/README.md RD 2021-05-06 12:48:46 +0200
  • 3c2e48ccde master > master: struktur + unit tests RD 2021-05-06 12:44:29 +0200
  • 900befbb4e master > master: script zur einfachen Ausführung hinzugefügt RD 2021-05-06 10:41:12 +0200
  • 57070f4df1 master > master: code-vorlage vereinfacht RD 2021-05-06 10:26:10 +0200
  • b8e2b10ed3 master > master: protokoll woche 4 RD 2021-05-05 12:57:26 +0200
  • 73f905a5cd master > master: code RD 2021-05-05 12:57:17 +0200
  • fde13a92f5 master > master: code RD 2021-05-05 11:07:32 +0200
  • 3eef2c624c master > master: protokoll woche 4 RD 2021-05-04 23:41:01 +0200
  • 83d74f7ca2 master > master: protokoll woche 4 RD 2021-05-04 16:29:56 +0200
  • 30318b6004 master > master: protokoll woche 3 RD 2021-04-29 12:53:08 +0200
  • 5e8748b571 master > master: protokoll woche 2 RD 2021-04-29 12:53:04 +0200
  • 7b5e0a17ee master > master: protokoll woche 1 RD 2021-04-29 12:53:00 +0200
  • 02d8455cd8 master > master: README.md RD 2021-04-29 12:52:49 +0200
  • 1b8d57737e master > master: README.md RD 2021-04-29 12:52:42 +0200