arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-15 13:43:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
116 Commits 4 Branches 0 Tags 5.4 MiB
878130ebba
Commit Graph

89 Commits

Author SHA1 Message Date
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
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
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
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
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