arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-14 05:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
289 Commits 4 Branches 0 Tags 5.4 MiB
ffac808366
Commit Graph

289 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
84a9a3c5a4 Display premises always, space between premises 2021-02-03 21:43:40 +01:00
Arne Keller
2930a274ed Limit SVG hacks to proof tree and unification 2021-02-03 16:28:35 +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
Arne Keller
afcf8cb252 Enforce Checkstyle 2021-02-02 21:04:34 +01:00
Moritz Dieing
ee52895579 Delete useless screenshot 2021-02-02 20:48:27 +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
72d7523070 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-01 20:26:28 +01:00
Moritz Dieing
edb025fafb setContent for startpage + exception handling 2021-02-01 20:26:22 +01:00
Arne Keller
301069fe6c Fix MathJax layout 2021-02-01 19:37:56 +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