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
660 Commits 4 Branches 0 Tags 5.4 MiB
5763c6b4ee
Commit Graph

522 Commits

Author SHA1 Message Date
Arne Keller
5763c6b4ee Handly empty type assumptions 2021-06-18 15:22:24 +02:00
Arne Keller
87fd783025 Tweak syntax and display of type assumptions 2021-06-18 15:16:07 +02:00
Moritz Dieing
02f2216265 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-06-18 13:34:34 +02:00
Moritz Dieing
9ad8831ff2 Exchange TypeAssumption-Dialog with Textfield 2021-06-18 13:34:26 +02:00
uogau
08c3322fbb Small fix for last Commit 2021-06-18 13:28:50 +02:00
uogau
3a443d848a Error messages now show where the error is 2021-06-18 13:24:51 +02:00
Arne Keller
b55c63acc0 Implement quantified variables in type assumptions 
see issue #1
 2021-06-17 08:48:46 +02:00
Moritz Dieing
9df9e657e1 Restructure upper bar 2021-06-16 15:37:35 +02:00
Arne Keller
94c70ea864 Link to the repository 2021-03-31 15:01:01 +02:00
Johanna Stuber
c1f14764c6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-14 13:03:07 +01:00
Johanna Stuber
7ba30b4ef5 add sentence to error view 2021-03-14 13:02:34 +01:00
ucrhh
29caff2ead fix bug with unification translation 2021-03-14 11:53:10 +01:00
Moritz Dieing
3f935bf29b Update Slideshow 2021-03-14 00:55:40 +01:00
Arne Keller
780d632d8a Codestyle 2021-03-13 15:34:59 +01:00
Moritz Dieing
3110aa8bc0 tokentype english translation 2021-03-13 14:47:20 +01:00
ucrhh
3dd79320be make example buttons refresh on locale change 2021-03-13 12:26:23 +01:00
Arne Keller
caeb2fca84 Limit scope of close shortcut in type assumptions 2021-03-12 11:22:37 +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
6b84aa5402 New example button in help dialog 2021-03-11 15:07:38 +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
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
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
uogau
ee1847358d TypeAssumptions close button now only works when type assumptions are correct 2021-03-10 14:58:33 +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