arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-15 21:54:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
188 Commits 4 Branches 0 Tags 5.4 MiB
c1cf786d3f
Commit Graph

153 Commits

Author SHA1 Message Date
Moritz Dieing
c1cf786d3f package info for view and view.main 2021-02-01 00:31:50 +01:00
Johanna Stuber
784d04992e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-31 21:16:57 +01:00
ucrhh
f1554d602a move LatexCreator constants into seperate class 2021-01-31 18:10:07 +01:00
Johanna Stuber
622851aaaa Implement TypeInfererLet::getLetConstraints() 2021-01-31 17:41:27 +01:00
Johanna Stuber
e31cb5efeb Fix inconsistency due to merge 2021-01-31 17:13:39 +01:00
Johanna Stuber
b3e6514bb8 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-31 14:21:23 +01:00
Johanna Stuber
d8f6baf615 Test for TypeInferenceResult::getMGU(), order MGU after indices, the kind 2021-01-31 14:21:13 +01:00
Moritz Dieing
b7870e0e78 Checkstyle 2021-01-31 14:14:06 +01:00
Moritz Dieing
e8baff88a0 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-31 14:02:13 +01:00
Moritz Dieing
1d903f7626 Structure for infoDialog 2021-01-31 14:02:05 +01:00
ucrhh
70bff9c3d0 rename MGU to mgu to match checkstyle 2021-01-31 13:42:29 +01:00
ucrhh
9acc8fed98 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-31 13:33:48 +01:00
ucrhh
1a5625b6ad make TypeInferenceView reload safe 2021-01-31 13:33:33 +01:00
Johanna Stuber
b09b52e5df merge 2021-01-31 12:18:39 +01:00
Johanna Stuber
f398c88aa0 Implement TypeInferenceResult 2021-01-31 12:15:10 +01:00
Arne Keller
88c64c30d3 LatexCreator: split into Term, implement conclusion latex 2021-01-31 11:57:47 +01:00
Arne Keller
cd1cb29889 UnificationStep + code style fixes 2021-01-31 11:27:11 +01:00
Arne Keller
0d3d806e9c Display inference tree in view 2021-01-31 11:09:26 +01:00
Johanna Stuber
835188466b Tree test visit(appTerm) 2021-01-31 10:59:57 +01:00
Johanna Stuber
e6becf6b04 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-31 00:16:42 +01:00
Johanna Stuber
83f34eb00b Tree test visit(absTerm) 2021-01-31 00:16:26 +01:00
ucrhh
c1d7893e00 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 23:20:10 +01:00
ucrhh
a24ae6d98e fix Mathjax bug where content would sometimes not render at all 2021-01-30 23:19:53 +01:00
Johanna Stuber
71b4a1ab8c Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 22:51:24 +01:00
Johanna Stuber
734bc02d9d Tree test visit(varTerm), implement TypeAbstraction::instantiate() 2021-01-30 22:51:14 +01:00
ucrhh
d3730ce7e7 implement part of term visitor in LatexCreator 2021-01-30 19:41:36 +01:00
ucrhh
47a9222f99 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 17:14:47 +01:00
ucrhh
e0cac46a1c implement visit const/var step methods 2021-01-30 17:14:25 +01:00
Johanna Stuber
251d5bd5c8 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 14:54:56 +01:00
Johanna Stuber
2120fc4a4a Test for Tree::getFirstTypeVariable() 2021-01-30 14:54:47 +01:00
Moritz Dieing
456c235009 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 14:52:02 +01:00
Moritz Dieing
61f1dd937e Kommentare hinzugefügt 2021-01-30 14:51:56 +01:00
ucrhh
ef71558d78 configure rough layout of TypeInferenceView 2021-01-30 14:43:25 +01:00
Me
c19e3dbd0e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 14:23:21 +01:00
Me
e52c0e1d2f pass typeInferer to TypeInferenceView 2021-01-30 14:23:02 +01:00
Johanna Stuber
badc2d832c Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 14:21:35 +01:00
Johanna Stuber
daf33ec1a4 Test for TypeVariableFactory, refactor TypeVariableKind due to typo 2021-01-30 14:21:25 +01:00
Me
c24ef80250 implement visitType methods in LatexCreator 2021-01-30 13:25:03 +01:00
Arne Keller
ee2b5dd8ff Parser: better error handling 2021-01-30 11:09:39 +01:00
Johanna Stuber
1b2f1a1cd6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 10:41:26 +01:00
Johanna Stuber
4667dc89aa Paketbeschreibungen für parser, term, type, step 2021-01-30 10:41:15 +01:00
Arne Keller
e25a947621 Formatting: tabs -> spaces 2021-01-30 10:37:27 +01:00
Arne Keller
b716b204b3 Unification tests, miscellaneous code style fixes 2021-01-30 10:32:15 +01:00
Arne Keller
dee5e2b3f0 Type: constrainEqualTo* implementation 2021-01-30 09:50:38 +01:00
uogau
aafb8ead44 FunctionType: substitute angepasst 2021-01-30 09:41:56 +01:00
uogau
2adc72cf74 Kleine Änderungen 2021-01-30 09:37:01 +01:00
uogau
0f5531ef47 NamedType angepasst 2021-01-30 09:28:48 +01:00
Moritz Dieing
69b9ef4773 DrawerContent erweitert + styling und logik besser getrennt 2021-01-30 01:28:53 +01:00
ucrhh
38399222e5 test unification and tree reveal 2021-01-29 19:55:31 +01:00
ucrhh
31cc4cb235 implement button functionality in TypeInferenceView 2021-01-29 19:31:14 +01:00