arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-15 13:43:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
449 Commits 4 Branches 0 Tags 5.4 MiB
383802bc59
Commit Graph

353 Commits

Author SHA1 Message Date
Moritz Dieing
a88efa7cc7 Correct indentation 2021-02-06 21:34:40 +01:00
Moritz Dieing
d8b569c7b0 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 21:32:26 +01:00
Moritz Dieing
1d673485f3 Less javascript to restore cursor 2021-02-06 21:28:47 +01:00
Arne Keller
a25bdfe3dd More javadocs + Vaadin routing fixes 2021-02-06 15:57:53 +01:00
Arne Keller
5a2fcaa5ae Restore cursor position after backslash/lambda replacement 2021-02-06 15:07:02 +01:00
ucrhh
94704e8f7f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 13:30:29 +01:00
ucrhh
e34464f641 refactor LatexCreatorConstraints 2021-02-06 13:30:13 +01:00
Moritz Dieing
c42fd73361 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 12:09:40 +01:00
Moritz Dieing
619e6da18c Change drawer width + render on language change 2021-02-06 12:06:49 +01:00
ucrhh
b5f114303f removed mjx context menu 2021-02-06 11:50:17 +01:00
ucrhh
648b5f6752 some doc and codestyle 2021-02-06 11:20:26 +01:00
ucrhh
bc30971b86 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 10:59:12 +01:00
ucrhh
d24f3b88f7 span mgu over multiple lines 2021-02-06 10:59:04 +01:00
Johanna Stuber
86b40d2683 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 10:58:25 +01:00
Johanna Stuber
6fa50cbf31 delete todo and comment, make long example inferrable 2021-02-06 10:58:12 +01:00
Arne Keller
d3fd5b99a8 Set page title to lambda term 2021-02-06 10:57:35 +01:00
Arne Keller
c9512b57d2 Fix display of inference tree after reload 2021-02-06 10:42:02 +01:00
ucrhh
ffac808366 page title set to 'Typicalc' across all pages 2021-02-06 10:37:39 +01:00
ucrhh
09ce138bc2 use constant instead of magic string 2021-02-06 10:33:04 +01:00
ucrhh
a01811936e constraints get generated in correct order 2021-02-06 10:28:58 +01:00
ucrhh
0201efdc9c drawer refreshed on lacaleChange 2021-02-06 10:12:31 +01:00
Moritz Dieing
4c98976059 Extends content of infoDialog 2021-02-05 23:58:19 +01:00
Moritz Dieing
4fc610c75e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-05 21:39:48 +01:00
Moritz Dieing
2895f84988 Fix and improve languageSelect 2021-02-05 21:39:40 +01:00
Arne Keller
0dc3e47695 Code style 2021-02-05 19:13:03 +01:00
Arne Keller
2b0657cdfc Fix MathJax line length + big example 2021-02-05 19:13:03 +01:00
Moritz Dieing
8f0ca5d2ba Fix JavaDoc 2021-02-05 18:52:31 +01:00
Moritz Dieing
4d44136528 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-05 18:49:13 +01:00
Moritz Dieing
54e0777eab Content for info dialog 2021-02-05 18:48:13 +01:00
Arne Keller
5f2454f2d1 TypeAssumptionsArea class skeleton 2021-02-05 18:14:12 +01:00
Arne Keller
c78d6b9e0a Fix code style issues 2021-02-05 17:22:43 +01:00
Arne Keller
a7f1556fe6 Fix misc. UI issues 2021-02-05 17:02:08 +01:00
ucrhh
927650f475 add url to share dialog 2021-02-05 15:01:06 +01:00
ucrhh
4857bd83d7 add translations to shareDialog 2021-02-05 13:51:42 +01:00
ucrhh
bd72c1e337 implement shareDialog without URL 2021-02-05 13:31:04 +01:00
Johanna Stuber
8d6842043d only allow ascii characters in variable names 2021-02-05 11:27:36 +01:00
Arne Keller
7494407480 Set SameSite=Strict on cookies 2021-02-04 22:11:21 +01:00
Arne Keller
87fb6a1ef8 Fix checkstyle issue 2021-02-04 21:18:22 +01:00
Arne Keller
bdabb010b0 LatexCreator unification error display (incomplete) 2021-02-04 21:03:04 +01:00
Johanna Stuber
218b8216f4 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 20:54:10 +01:00
Johanna Stuber
742f934788 user input types of form t[0-9]+ parse to TypeVariable, everything else to NamedType 2021-02-04 20:54:00 +01:00
Arne Keller
316d3ff7cf VarStepWithLet latex rendering split into 2 lines 2021-02-04 20:30:11 +01:00
Moritz Dieing
e57907c251 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 20:09:35 +01:00
Moritz Dieing
cab1e74490 Add language select 2021-02-04 20:09:28 +01:00
Moritz Dieing
a4659f8386 Extend language files 2021-02-04 20:09:09 +01:00
Johanna Stuber
ee18a3cba1 Generate steps withLet in every sub-inference of let terms 2021-02-04 19:31:06 +01:00
Johanna Stuber
5c9f916a6c Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 16:50:46 +01:00
Johanna Stuber
49ee20baaa if mgu has no substitution for alpha1, final type is alpha1 2021-02-04 16:50:36 +01:00
ucrhh
bb300e292c implement mgu generation in LatexCreator 2021-02-04 15:31:30 +01:00
Moritz Dieing
886ea78869 Focus inputBar after selecting an example 2021-02-04 13:24:46 +01:00
Moritz Dieing
c10074b4f7 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 13:21:37 +01:00
Moritz Dieing
dc257e4b32 JavaDoc for new methods in view 2021-02-04 13:21:29 +01:00
Johanna Stuber
ee41f42249 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 13:16:21 +01:00
Johanna Stuber
a0e3eb34a2 LatexCreator for let and const 2021-02-04 13:16:09 +01:00
Moritz Dieing
b4499c6889 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 12:58:16 +01:00
Moritz Dieing
8da5bf36a5 Immediately parse backslash to lambda 2021-02-04 12:58:09 +01:00
ucrhh
8885b8a059 implement constraint generation 2021-02-04 12:47:09 +01:00
Johanna Stuber
8dc7fbe725 implement let in TypeInferers 2021-02-04 11:41:08 +01:00
ucrhh
fd00b47928 change substitution sign to another arrow 2021-02-04 10:58:09 +01:00
ucrhh
1564c772d5 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 10:49:19 +01:00
ucrhh
46dae40e74 implement typeAssumptions in LatexCreator 2021-02-04 10:49:03 +01:00
Johanna Stuber
e4e4fca350 fix compiling errors after changing TypeAbstrarction's quantifiedVariables from list to set 2021-02-04 10:25:19 +01:00
Johanna Stuber
a80d1f9059 Additional TypeAbstraction constructor, for that implement getFreeTypeVariables() on types 2021-02-04 10:17:54 +01:00
Johanna Stuber
c3d5d9147c Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-04 09:27:56 +01:00
Johanna Stuber
29ca293fce better handling of optionals 2021-02-04 09:27:46 +01:00
Arne Keller
62d7c9f5e1 Fix parsing of (λx.x)λx.x 2021-02-03 16:09:58 +01:00
Arne Keller
b87e444f0b LatexCreator Unification 2021-02-03 15:45:53 +01:00
ucrhh
3fba4ae1be Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-03 15:27:30 +01:00
ucrhh
e2788a1c81 changed indexing of variables 2021-02-03 15:27:18 +01:00
Arne Keller
b1aa3e05a9 Move LatexCreatorType to own class 2021-02-03 15:22:17 +01:00
Arne Keller
0cb09b92ec Increase size of SVG to 100% 2021-02-03 15:10:51 +01:00
uogau
9e77c422f2 TypeAssumptionParser und ModelImpl angepasst 2021-02-03 13:40:56 +01:00
ucrhh
874b648caf Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-03 11:09:28 +01:00
ucrhh
cc400fc314 set URL when inferring type 2021-02-03 11:09:14 +01:00
Johanna Stuber
c44082693d Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-03 11:08:10 +01:00
Johanna Stuber
d3add97c1e Implement most of Tree::visit(letTerm), for that add EmptyStep 2021-02-03 11:07:50 +01:00
ucrhh
02f10158d6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-03 10:40:42 +01:00
ucrhh
70c4f5ce43 read lambda term from url 2021-02-03 10:40:23 +01:00
Johanna Stuber
4bc4b8a14a TypeInfererLet now implementation of TypeInfererInterface 2021-02-03 07:56:48 +01:00
Johanna Stuber
e5d29822f7 Test for TypeInferenceResult::getType(); sort mgu by kind, then index; checkstyle 2021-02-03 07:50:52 +01:00
Moritz Dieing
1b943bbb02 Simple integration tests and structure for screenshot test 2021-02-02 20:42:35 +01:00
Arne Keller
9d4e225d16 Code style fixes 2021-02-02 10:55:46 +01:00
Arne Keller
87eaad1d5a Unification implementation 2021-02-02 10:29:45 +01:00
Moritz Dieing
edb025fafb setContent for startpage + exception handling 2021-02-01 20:26:22 +01:00
Arne Keller
10cd63abb4 Panning and zooming of inference tree 2021-02-01 16:19:13 +01:00
ucrhh
321ed10eb5 add small caps to latex creator 2021-02-01 16:14:18 +01:00
Arne Keller
15ede65458 Make drawer more obvious 2021-02-01 15:35:15 +01:00
Arne Keller
9d7a16cc86 Limit area of key listeners 2021-02-01 15:16:29 +01:00
ucrhh
9c8edf2e07 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-01 15:14:09 +01:00
ucrhh
9f215ab650 delete empty route of StartPageView 2021-02-01 15:14:01 +01:00
Arne Keller
2d92294736 LambdaTerm toString 2021-02-01 15:11:19 +01:00
ucrhh
07f16ed2d0 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-01 14:42:50 +01:00
ucrhh
7e80d79838 add NotFoundView 2021-02-01 14:42:33 +01:00
uogau
a00b340691 Merge remote-tracking branch 'origin/master' 2021-02-01 14:14:28 +01:00
uogau
8929a59e82 createLetStep hinzugefügt 2021-02-01 14:14:18 +01:00
ucrhh
fbb3d6fd63 better passing of TypeInferer to TypeInferenceView, allows for custom URL 2021-02-01 14:02:16 +01:00
Arne Keller
64312cd172 More parser error handling tests 2021-02-01 11:08:31 +01:00
Arne Keller
f8ac91cdd8 Type assumption parser implementation + tests 2021-02-01 10:50:44 +01:00
uogau
d95ba1eb7c *-import entfernt 2021-02-01 01:27:03 +01:00
uogau
d57e431782 ModelImpl: typeAssumptions parsen lassen 
einige Parameter final gemacht
Fehlende Javadocs
 2021-02-01 01:24:51 +01:00
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