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
572 Commits 4 Branches 0 Tags 5.4 MiB
232a5e21af
Commit Graph

572 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Johanna Stuber
8ca72a77e2 typos in operating help, add let example from Übungsblatt 2021-02-15 16:42:45 +01:00
ucrhh
32dd59ef28 fix test 2021-02-15 16:16:19 +01:00
ucrhh
00511cb4d3 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-15 16:14:30 +01:00
ucrhh
9539776e8e remove most outer parentheses in a lambda term 2021-02-15 16:14:10 +01:00
Johanna Stuber
13c746a0b1 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-15 16:10:44 +01:00
Johanna Stuber
0fa1b09190 use SortedSet for quantifiedVariables in TypeAbstraction so instantiation is predictable 2021-02-15 16:07:59 +01:00
ucrhh
e12d09448b remove bad tests 2021-02-15 16:07:43 +01:00
ucrhh
9894c13df6 remove solved todo 2021-02-15 15:59:08 +01:00
Johanna Stuber
a76b1b3c8d add TypeInfererTest 2021-02-15 15:24:07 +01:00
Moritz Dieing
38c3a61882 Set height and accordion width 2021-02-14 13:57:05 +01:00
Arne Keller
0bb88280b8 Set size only for help dialog 2021-02-14 13:51:08 +01:00
Arne Keller
ed21276f46 Workaround for Vaadin weirdness 2021-02-14 13:13:09 +01:00
Moritz Dieing
b2209bcdaf Set dialog width in java 
Css solution did not work when all accordion panels were closed
 2021-02-14 12:05:46 +01:00
Arne Keller
5a9903e754 Move style to CSS files 2021-02-13 17:49:29 +01:00
Moritz Dieing
81b74bd92d Use classic drawer toggle 
Use classic drawer toggle since its described in help content now.
 2021-02-13 15:03:49 +01:00
Moritz Dieing
7357b69373 English version of help content 2021-02-13 14:52:44 +01:00
Moritz Dieing
89eca4f33d German version of help content 2021-02-13 13:31:53 +01:00
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