Commit Graph

44 Commits

Author SHA1 Message Date
Johanna Stuber
d234b3c835 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-27 23:38:24 +01:00
Johanna Stuber
c823f710cc erste Implementierung für TypeInferer 2021-01-27 23:37:59 +01:00
Moritz Dieing
f730a4e81d Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-27 23:03:11 +01:00
Moritz Dieing
1efedb45c5 displayError + setInferenceView 2021-01-27 23:03:05 +01:00
uogau
aadddee628 Step Factories 2021-01-27 22:18:25 +01:00
uogau
a7bcf15c99 Model und ModelImpl 2021-01-27 21:59:39 +01:00
Arne Keller
143999d6e9 Term javadocs, TermVisitor, Result javadocs, mehr Parser-Tests 2021-01-27 21:44:17 +01:00
Arne Keller
f3fd6d0696 TermVisitorTree 2021-01-27 21:21:16 +01:00
Arne Keller
f2cd4370cf AbsTerm, AppTerm, mehr Parser-Tests 2021-01-27 21:10:02 +01:00
uogau
938cd7e698 merge-Fehler behoben 2021-01-27 21:07:29 +01:00
uogau
6763632df8 Merge remote-tracking branch 'origin/master' 2021-01-27 21:03:30 +01:00
uogau
c72df7ff03 Abstrakte Steps auch commited 2021-01-27 21:03:11 +01:00
Arne Keller
cf00fb803b Checkstyle-Fehler behoben 2021-01-27 21:02:52 +01:00
Arne Keller
15134d544d CI: Checkstyle 2021-01-27 21:02:52 +01:00
Arne Keller
5cf04a979a Checkstyle für Maven konfiguriert 2021-01-27 21:02:51 +01:00
uogau
22f72620c5 Merge remote-tracking branch 'origin/master' 2021-01-27 20:57:06 +01:00
uogau
36c9f092c7 Step-Paket implementiert, StepVisitor-Methoden angepasst 2021-01-27 20:56:31 +01:00
Johanna Stuber
5dd3f0f969 TypeVariableFactory implementieren 2021-01-27 20:17:30 +01:00
Johanna Stuber
70a97b4c83 checkstyle hinzufügen 2021-01-27 19:51:54 +01:00
Moritz Dieing
1cef080606 MainView erstellen 2021-01-27 19:39:18 +01:00
Moritz Dieing
75d686d8af Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-27 12:34:38 +01:00
Moritz Dieing
a3c235229d I18NProvider eingefügt 2021-01-27 12:34:30 +01:00
Me
0eefcd71ad merge 2021-01-27 11:26:14 +01:00
Me
4f3c63ca35 LatexCreator generateConclusion 2021-01-27 11:21:32 +01:00
Johanna Stuber
718edf0cc4 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-27 11:10:19 +01:00
Johanna Stuber
a642279be1 implement Constraint, Substitution 2021-01-27 11:10:09 +01:00
Arne Keller
6d3314a519 Projektname in package.json 2021-01-27 10:58:28 +01:00
Johanna Stuber
c21242e3e1 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-27 10:55:27 +01:00
Johanna Stuber
06492723eb Conclusio implementieren 2021-01-27 10:55:17 +01:00
Arne Keller
427da2bcd8 Mehr Platzhalter-Klassen 2021-01-27 10:36:04 +01:00
Me
8663fb3b66 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-27 10:26:12 +01:00
Arne Keller
a61249b6c6 CI: home directory 2021-01-27 10:26:09 +01:00
Me
472270bc7d merge 2021-01-27 10:25:40 +01:00
Arne Keller
2050782327 CI: Tests 2021-01-27 10:24:54 +01:00
Arne Keller
3d5c84be03 Erster Unittest für Parser 2021-01-27 10:23:54 +01:00
Me
34f4e7c49e add more classes 2021-01-27 10:23:05 +01:00
Arne Keller
8b61d32838 Parser 2021-01-27 10:03:03 +01:00
Arne Keller
8700a83390 Klassengerüst 2021-01-27 09:15:29 +01:00
Arne Keller
c8564e14bd Nicht benötigte Vaadin-Bibliotheken (date picker etc.) entfernt 2021-01-27 09:12:15 +01:00
Johanna Stuber
d3a606cc41 Großteil der Modelpaket-Klassen samt Javadoc hizugefügt 2021-01-27 00:35:33 +01:00
Me
6b70e3b9db add ControlPanel(View) 2021-01-26 17:05:47 +01:00
Me
836a9b1547 rough package structure 2021-01-26 16:19:01 +01:00
Me
e0b3a9165b Vaadin init 2021-01-26 16:05:33 +01:00
Arne Keller
1b991f7cc4 Readme 2021-01-25 14:10:48 +01:00