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
112 Commits 4 Branches 0 Tags 5.4 MiB
1052b1d903
Commit Graph

112 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
c8c5f2b63b run checkstyle on mvn test 2021-01-29 00:28:38 +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
69e45b7004 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 18:04:03 +01:00
Johanna Stuber
ce06a19b1e package-info model mit NonNull annotations 2021-01-28 18:03:54 +01:00
Arne Keller
26ddf5fdd7 MathJax typeset in connectedCallback 2021-01-28 17:59:50 +01:00
Arne Keller
cfec25c566 MathJax: use shadow DOM, wait for content 2021-01-28 17:50:56 +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
d48262c0ca Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-01-28 14:50:59 +01:00
ucrhh
2c62690428 add mathjax proof tree 2021-01-28 14:50:25 +01:00
Arne Keller
f378b1f781 CI: coverage calculation 2021-01-28 14:49:33 +01:00
Arne Keller
f88bd227ab CI: Move calculation into script 2021-01-28 14:48:56 +01:00
Arne Keller
5f2e07fd82 CI: Use JaCoCo for test coverage 2021-01-28 14:44:34 +01:00
ucrhh
e114e7e3f5 merge 2021-01-28 14:36:33 +01:00
ucrhh
9e06712552 vaadin fix 2021-01-28 14:32:35 +01:00
Arne Keller
f60c03d37b Fix JSON syntax 2021-01-28 14:25:17 +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
Arne Keller
4f71094515 Fix YAML syntax 2021-01-28 10:47:50 +01:00
Arne Keller
3875e594b1 CI: print test coverage 2021-01-28 10:46:01 +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