arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 10:50:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
617 Commits 4 Branches 0 Tags 5.4 MiB
9a3b5586a6
Commit Graph

617 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
ucrhh
9a3b5586a6 make help icon white 2021-03-12 10:37:19 +01:00
Arne Keller
075d432c3b Integration tests coverage 2021-03-12 08:35:03 +01:00
Arne Keller
2eaf3eff15 Fix width of type inference rules 2021-03-11 17:10:15 +01:00
Johanna Stuber
ebd6abb461 optimize texts 2021-03-11 16:44:09 +01:00
Johanna Stuber
648594bca3 add hr to footer, optimize styling 2021-03-11 16:22:20 +01:00
ucrhh
5197f9be93 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-11 15:11:39 +01:00
ucrhh
f409e1e060 some styling 2021-03-11 15:11:22 +01:00
Arne Keller
d68d0abd2b Codestyle 2021-03-11 15:07:47 +01:00
Arne Keller
6b84aa5402 New example button in help dialog 2021-03-11 15:07:38 +01:00
Arne Keller
1dab9a3996 Zoom control tooltips 2021-03-11 14:56:10 +01:00
ucrhh
0c2836a27f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-11 14:55:36 +01:00
ucrhh
73376c0667 make LaTeX code usable in normal environment 2021-03-11 14:55:21 +01:00
Arne Keller
0e468b5611 New example button text 2021-03-11 14:44:25 +01:00
Arne Keller
d8b547177a Display expected tokens on ParseError 2021-03-11 14:30:48 +01:00
uogau
9767002ad1 Merge remote-tracking branch 'origin/master' 2021-03-11 13:34:59 +01:00
uogau
53243f7f43 Added hint to type assumptions 2021-03-11 13:34:41 +01:00
Arne Keller
098be7a75e Encode input correctly 2021-03-11 13:29:33 +01:00
Arne Keller
27a2c45aa2 Installation instructions 2021-03-11 13:28:04 +01:00
uogau
26caed074d Type and LetTerm are now abstract classes again 2021-03-11 13:11:33 +01:00
Moritz Dieing
4e56c69833 Update Drawer in HelpDialog 2021-03-11 10:36:00 +01:00
Arne Keller
3c0347492a Consistent latex export 2021-03-11 08:32:19 +01:00
ucrhh
1ee86c5c32 fix checkstyle 2021-03-11 00:41:08 +01:00
ucrhh
1d53bdfe75 first implementation of unification export 2021-03-11 00:37:36 +01:00
ucrhh
d6a99cc869 make shortcut look in help dialog consistent 2021-03-10 23:29:40 +01:00
Moritz Dieing
9ee9025d92 Remove unused import 2021-03-10 20:47:45 +01:00
Moritz Dieing
d1eccc7ec5 Fix mistake 2021-03-10 20:46:13 +01:00
Moritz Dieing
1f1db955d3 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-10 20:41:50 +01:00
Moritz Dieing
2d6b33190c Handle empty type assumptions 2021-03-10 20:41:40 +01:00
Johanna Stuber
15359675ed Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-10 19:39:04 +01:00
Johanna Stuber
47aa006655 highlight new constraints in unification 2021-03-10 19:38:51 +01:00
Arne Keller
ce01676a42 Convert frontend scripts to TypeScript 2021-03-10 18:39:41 +01:00
Arne Keller
a43dad53a6 Optimize frontend calls 2021-03-10 18:04:32 +01:00
Arne Keller
b315503975 Fix production build 2021-03-10 17:33:16 +01:00
Arne Keller
5a1aaa8408 Fix NPE in TypeInferenceView 2021-03-10 17:09:20 +01:00
Arne Keller
3a0ee669d4 Cleanup 2021-03-10 16:49:35 +01:00
Arne Keller
7396fc2158 Result javadocs 2021-03-10 16:20:25 +01:00
Arne Keller
4c0eb78300 Limit memory usage of LatexCreatorType 2021-03-10 16:07:52 +01:00
Arne Keller
08b80257e2 Installation instructions: port 80 2021-03-10 16:07:52 +01:00
Arne Keller
93d95e447c Don't scroll page when using key shortcuts 2021-03-10 16:07:52 +01:00
Arne Keller
69c0e6563f Vaadin 18 -> 19 2021-03-10 16:07:52 +01:00
Arne Keller
dc1ae348d6 Fix unnecessary scroll bars 2021-03-10 16:07:52 +01:00
Arne Keller
66f34fedc4 Minimum width of type rules 2021-03-10 16:07:52 +01:00
uogau
ee1847358d TypeAssumptions close button now only works when type assumptions are correct 2021-03-10 14:58:33 +01:00
Johanna Stuber
8068f82d40 adapt blue unification area to max content 2021-03-10 12:27:22 +01:00
Arne Keller
86496440ed WIP: convert drawer to normal element 2021-03-10 10:40:21 +01:00
uogau
232a5e21af Fixed some SonarLint complaints in Model 2021-03-09 23:00:08 +01:00
Arne Keller
92296a8373 Limit initial SVG zoom + move zoom controls to upper left 2021-03-09 14:55:34 +01:00
Arne Keller
5c49e03ba0 Focus input automatically 2021-03-09 14:34:15 +01:00
Arne Keller
a4224f4263 Codestyle TypeAssumptionParser 2021-03-09 14:32:27 +01:00
Arne Keller
9c8897d436 Re-focus input bar on syntax error 2021-03-08 20:47:39 +01:00