arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
798 Commits 4 Branches 0 Tags 5.4 MiB
b5e15767e9
Commit Graph

681 Commits

Author SHA1 Message Date
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
7bf691a693 Checkstyle in tests 2021-01-31 11:03:06 +01:00
Johanna Stuber
835188466b Tree test visit(appTerm) 2021-01-31 10:59:57 +01:00
Johanna Stuber
83b7815a47 Add assertion for constraints in TreeTest::VisitAbs() 2021-01-31 00:24:33 +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
ba23c64f74 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 13:25:13 +01:00
Me
c24ef80250 implement visitType methods in LatexCreator 2021-01-30 13:25:03 +01:00
Johanna Stuber
b961a7c5ca Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-30 13:14:03 +01:00
Johanna Stuber
9affbb4807 Tests for Substitution, Constraint 2021-01-30 13:13:51 +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
614a7398e2 Checkstyle: enforce spaces 2021-01-30 10:40:34 +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
ucrhh
90c83613d8 make MathjaxUnification consistent to itself 2021-01-29 19:15:19 +01:00
Moritz Dieing
2fc3f78626 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 19:03:22 +01:00
Moritz Dieing
19549357bd DrawerContent und RuleField erweitert 2021-01-29 19:03:15 +01:00
Arne Keller
370acda75c First integration test 2021-01-29 18:23:33 +01:00
ucrhh
5b3a0f3a0f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 17:30:04 +01:00
ucrhh
d294ed5471 change mathjax unifiaction to use String[] 2021-01-29 17:29:38 +01:00
Moritz Dieing
158760ed5f HelpDialog und kleinere Änderungen 2021-01-29 17:15:59 +01:00
uogau
1846f9d349 FunctionType und Presenter angepasst, Test geschrieben 2021-01-29 13:20:45 +01:00
ucrhh
47a1a36de6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 10:16:27 +01:00
ucrhh
243c8f44db fix build warning lit-element not found 2021-01-29 10:16:00 +01:00
Arne Keller
d9660c6299 Replace combobox with less annoying example dialog 2021-01-29 10:02:14 +01:00
Arne Keller
4e5488e1eb Include token in ParseError + more error handling 2021-01-29 09:40:35 +01:00
ucrhh
07a7218192 StartPage init into private methods 2021-01-29 09:10:30 +01:00
Arne Keller
d7affc2999 Fix code style issues 
Source: SonarLint :)
 2021-01-29 08:37:48 +01:00
Arne Keller
84e8cf07f7 Actually consider @NonNullFields and @NonNullApi 2021-01-29 08:22:06 +01:00
Arne Keller
878130ebba Handle empty lambda term in parser 2021-01-29 08:12:45 +01:00
Moritz Dieing
b403d62d1d Kommentare hinzugefügt 2021-01-29 01:53:09 +01:00
Moritz Dieing
f66f01fe0f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 01:25:52 +01:00
Moritz Dieing
36e8b4c020 UpperBar + InputBar erweitert 2021-01-29 01:25:49 +01:00
Johanna Stuber
1052b1d903 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 00:37:44 +01:00
Johanna Stuber
6bf0ef11a5 LambdaParserTest for getFreeVariables() 2021-01-29 00:37:29 +01:00
ucrhh
8af49fca09 fix checkstyle 2021-01-29 00:22:20 +01:00
ucrhh
4d6fada4cf Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-29 00:20:28 +01:00
ucrhh
0d09d20aa2 test layout for start page 2021-01-29 00:19:49 +01:00
ucrhh
c392cc0c0f enable mjx proof tree step functionality 2021-01-29 00:19:21 +01:00
Moritz Dieing
c0898ca964 I18N provider überarbeitet 2021-01-28 23:06:40 +01:00
Johanna Stuber
f82d316bbf Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 22:26:38 +01:00
Johanna Stuber
785ce3dcc8 create type assumptions for free varibales in TypeInferer 
for this add getFreeVaribales() in lambda term
and enum TypeVaribaleKind
 2021-01-28 22:24:41 +01:00
ucrhh
20fc3fd892 add skeletons for all Mathjax classes 2021-01-28 22:11:48 +01:00
ucrhh
e4dfba29ef add LatexCreator demo premises for const/var 2021-01-28 21:26:58 +01:00
ucrhh
6aa4f83da7 add LatexCreator::generateConclusion 2021-01-28 21:09:39 +01:00
ucrhh
42a7a37c43 fix loading tex-svg.js chrome bug 2021-01-28 20:25:28 +01:00
ucrhh
804dfb2c2f improve tree demo 2021-01-28 18:16:29 +01:00
Johanna Stuber
ce06a19b1e package-info model mit NonNull annotations 2021-01-28 18:03:54 +01:00
uogau
5ed813133c Type-Paket 2021-01-28 16:36:38 +01:00
Arne Keller
2bb2b98a36 Checkstyle: ignore resource files 2021-01-28 16:24:08 +01:00
Arne Keller
9f13bb7e42 MathJax without Shadow DOM (did not work) 
Checkstyle excludes
Bundle MathJax
 2021-01-28 16:18:42 +01:00
ucrhh
2c62690428 add mathjax proof tree 2021-01-28 14:50:25 +01:00
ucrhh
9e06712552 vaadin fix 2021-01-28 14:32:35 +01:00
uogau
136a8d74c3 Checkstyle Violations 2021-01-28 14:06:42 +01:00
uogau
2e3728eaef Presenter 2021-01-28 14:02:59 +01:00
Moritz Dieing
539c45e5d5 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 13:22:55 +01:00
Moritz Dieing
82aa689084 InputBar und UpperBar erweitert 2021-01-28 13:20:44 +01:00
Johanna Stuber
c5d165e4eb Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 12:47:54 +01:00
ucrhh
df5315934c merge 2021-01-28 12:47:06 +01:00
Johanna Stuber
3c72a5004c Tree visit(varTerm), dafür Konstruktor von VarStep erweitert 2021-01-28 12:40:49 +01:00
ucrhh
bee97390b6 mathjax now rendering with MathjaxDisplay 2021-01-28 12:33:38 +01:00
Moritz Dieing
5ea11e66a0 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 12:16:16 +01:00
Moritz Dieing
c37934f898 UpperBar erweitert 2021-01-28 12:16:10 +01:00
Johanna Stuber
73516eb3b0 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 11:08:20 +01:00
Johanna Stuber
5e786746f4 Tree visit(constant) 2021-01-28 11:08:09 +01:00
Arne Keller
91099dcb9f Formatting 2021-01-28 11:02:50 +01:00
Johanna Stuber
87304d23f1 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 10:52:20 +01:00
Johanna Stuber
79d5d239fe Tree visit(absTerm) 2021-01-28 10:50:48 +01:00
ucrhh
164c04eeb3 merge 2021-01-28 10:43:57 +01:00
ucrhh
15bab40610 add first mathjax classes 2021-01-28 10:41:20 +01:00
Arne Keller
c5a3cce7bf CI: test coverage 
And a complicated parser test
 2021-01-28 10:32:28 +01:00
Arne Keller
c329a4e7d6 Use renamed AppTerms method in Tree 2021-01-28 10:15:59 +01:00
Arne Keller
2092bf380e Test let parsing 2021-01-28 10:15:01 +01:00
Johanna Stuber
8b08d2d3ab Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 10:12:36 +01:00
Johanna Stuber
451c99bb2d Tree visit(appTerm) 2021-01-28 10:12:22 +01:00
Arne Keller
52693f28e4 Checkstyle-Fehler behoben 2021-01-28 09:53:21 +01:00
Arne Keller
f51e3304e2 Term-Paket fertig 2021-01-28 09:52:26 +01:00
me
8371386bea fix checkstyle errors 2021-01-28 09:40:22 +01:00
me
ec32e65c77 make vaadin run 2021-01-28 01:29:38 +01:00
me
93882c2f0b merge 2021-01-28 01:12:09 +01:00
me
cfcc2e3bd3 test latex demo code, make vaadin runnable 2021-01-28 00:55:55 +01:00
Johanna Stuber
78e9c67e6d Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 00:37:57 +01:00
Johanna Stuber
8a7497fada TypeAssumption entfernen, Konstruktoren und getter von Tree 2021-01-28 00:37:48 +01:00
Moritz Dieing
175b38c8e8 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 00:32:19 +01:00
Moritz Dieing
737197df02 Klassenrümpfe + copyToClipboard 2021-01-28 00:31:27 +01:00
me
ad0d059f24 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 00:07:45 +01:00
me
325c64be06 add demo string for drawer content 2021-01-28 00:06:36 +01:00
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
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
a642279be1 implement Constraint, Substitution 2021-01-27 11:10:09 +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
Me
472270bc7d merge 2021-01-27 10:25:40 +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
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