arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-19 18:25:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
405 Commits 4 Branches 0 Tags 5.4 MiB
4e7d124720
Commit Graph

405 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Arne Keller
4e7d124720 Consistent padding of help dialog 2021-02-13 10:31:08 +01:00
Arne Keller
7aacca6941 More type parser tests 2021-02-13 10:31:08 +01:00
Arne Keller
c6eb794049 Focus new type assumption field 2021-02-13 10:31:08 +01:00
ucrhh
0e1c596702 remove spacing around scrollbar 2021-02-13 10:24:48 +01:00
Arne Keller
b36f37fd1e CI: fail if translations are encoded incorrectly 2021-02-13 09:51:26 +01:00
Arne Keller
c49c1c4a23 Fix translation encoding again 2021-02-13 09:51:10 +01:00
Moritz Dieing
288e954f3e Suggestion for design of help dialog 2021-02-13 01:40:58 +01:00
Arne Keller
fa9c1bd0eb Full ModelImpl test 2021-02-12 19:59:51 +01:00
Arne Keller
ecd92c9369 Fix error coloring and translation 2021-02-12 15:29:49 +01:00
ucrhh
c46aee15a1 swap parentheses with curly 2021-02-12 15:23:38 +01:00
ucrhh
9a0cb57250 second LatexCreatorConstraints test 2021-02-12 15:18:16 +01:00
ucrhh
36c4e850e6 first 'real' LatexCreatorConstraint test 2021-02-12 14:43:00 +01:00
ucrhh
6cf1de6780 undo error with dollar signs 2021-02-12 14:31:53 +01:00
ucrhh
af16a6bd87 javadoc 2021-02-12 14:08:21 +01:00
ucrhh
6128871223 fix some todos 2021-02-12 13:49:08 +01:00
ucrhh
a8652642fc move unification error to end of unification 2021-02-12 12:40:39 +01:00
ucrhh
dabde5e455 make final type look consistent to Übungsblatt 2021-02-12 12:31:45 +01:00
ucrhh
0fa40e7837 fix tests 2021-02-11 23:06:13 +01:00
ucrhh
1d8a01fc02 fix bug where error in unification would cause mathjax not rendering 2021-02-11 22:40:37 +01:00
ucrhh
5265439b62 align unification steps 2021-02-11 22:37:29 +01:00
ucrhh
337a88d8f4 add newly created constraints to other end of constraint list in unification 2021-02-11 21:54:52 +01:00
ucrhh
72ed9bdc32 order constraints and substitutions in unification according to meeting 2021-02-11 21:49:29 +01:00
ucrhh
9851ac61da add more explanation to unification 2021-02-11 21:27:08 +01:00
ucrhh
e85b39c93e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-11 20:05:52 +01:00
ucrhh
1cc94a3125 constraints dont disappear during unification 2021-02-11 20:05:26 +01:00
Johanna Stuber
398d0b2e42 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-11 16:33:28 +01:00
Johanna Stuber
03bf906e92 add several equals() tests 2021-02-11 16:33:10 +01:00
ucrhh
cab3fcc4aa Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-11 15:35:47 +01:00
ucrhh
73802e50fb partial LatexCreatorConstraintsTest 2021-02-11 15:35:37 +01:00
Johanna Stuber
0fdc8d3509 delete accidentally pasted line 2021-02-11 15:20:37 +01:00
Johanna Stuber
ad99cc09b8 fix checkstyle 2021-02-11 15:17:51 +01:00
Johanna Stuber
8351a21f78 visitLet() test; for that add several equals()-methods; return constraints in right order in Tree::getConstraints() 2021-02-11 15:15:49 +01:00
ucrhh
8446bc5a04 fix checkstyle 2021-02-11 14:56:00 +01:00
ucrhh
cfc25ed81f fix little inconsistency 2021-02-11 14:54:09 +01:00
ucrhh
fff1b3a23f remove not needed localeChange(null) calls 2021-02-11 14:43:51 +01:00
ucrhh
47d78be6db styling, add missing translation keys 2021-02-11 14:41:03 +01:00
Arne Keller
970172855e Remove test header 2021-02-11 12:38:03 +01:00
Arne Keller
7878b5fc83 DRY translation setup + Vaadin bug workaround 2021-02-11 12:30:13 +01:00
Arne Keller
a00cd12d2e Fix info dialog close button position 2021-02-11 12:28:32 +01:00
ucrhh
ef071309ec add package-info to LatexCreator package 2021-02-11 11:23:11 +01:00
ucrhh
f614869677 add ConstraintSetIndexFactoryTest 2021-02-11 11:15:42 +01:00
ucrhh
ad4581fffb add LatexCreatorTermTest 2021-02-11 11:00:39 +01:00
ucrhh
1385aae34e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-11 10:37:12 +01:00
ucrhh
2fd40aeefa test LatexCreatorType 2021-02-11 10:36:46 +01:00
Johanna Stuber
367c3be0e1 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-11 10:12:30 +01:00
Johanna Stuber
7e2357f2f2 use LinkedHashMap for typeAssumptions so they appear sorted in the tree 2021-02-11 10:12:17 +01:00
ucrhh
0379cf5db6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-11 09:51:47 +01:00
ucrhh
e621c764be test TreeNumberGenerator 2021-02-11 09:51:32 +01:00
Johanna Stuber
4697b38694 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-11 09:44:31 +01:00
Johanna Stuber
9966e43759 fix first/last step with let tree; use trash symbol to delete a sinlge typeAssumption 2021-02-11 09:44:08 +01:00