arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-15 21:54:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
348 Commits 4 Branches 0 Tags 5.4 MiB
dd1caafcf6
Commit Graph

278 Commits

Author SHA1 Message Date
ucrhh
dd1caafcf6 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-10 16:36:02 +01:00
ucrhh
fe00b5147a disable margin for scroller 2021-02-10 16:35:29 +01:00
Arne Keller
2b237797e8 Fix char addition issue 2021-02-10 16:00:32 +01:00
Arne Keller
c1ce7a9181 Fix type parser bug 2021-02-10 15:01:03 +01:00
Arne Keller
f1fe6fce02 Highlight erroring constraint 2021-02-10 14:48:02 +01:00
Arne Keller
300f9fa02d Remove unused import 2021-02-10 13:26:25 +01:00
Arne Keller
b0638ead8b Add a favicon 2021-02-10 13:24:47 +01:00
Moritz Dieing
44f862512d Handle multiple type assumptions with same var 2021-02-10 10:11:17 +01:00
Moritz Dieing
23be70b57c More java docs 2021-02-10 09:51:47 +01:00
Arne Keller
3e153dc0d3 Fix checkstyle issue 2021-02-10 08:24:31 +01:00
ucrhh
cadc299791 partly fix issues with failing sub inference 2021-02-09 22:51:54 +01:00
ucrhh
34a727e0c0 add final type to mgu in LatexCreator 2021-02-09 22:19:22 +01:00
ucrhh
363646f6d2 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-09 22:09:57 +01:00
ucrhh
585b402cd7 add border to proof tree 2021-02-09 22:09:34 +01:00
Moritz Dieing
3babfe238d Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-09 21:43:54 +01:00
Moritz Dieing
57ad91423b Some java docs 2021-02-09 21:43:47 +01:00
ucrhh
7db36724ea stop tree animation during unification 2021-02-09 21:40:07 +01:00
ucrhh
28025a25c2 add let constraint to outer constraint set 2021-02-09 17:17:11 +01:00
ucrhh
f49fb3f984 implement prefix for unification and mgu 2021-02-09 16:54:29 +01:00
Arne Keller
985824b3eb Type assumptions in URL 2021-02-08 16:07:56 +01:00
Arne Keller
8ffcac164a Checkstyle issue fix 2021-02-08 09:55:09 +01:00
Arne Keller
22705727cb Misc. adjustments 
Properties file was encoded using latin1 again!

The JaCoCo agent should not execute when running the server,
use mvn jacoco:prepare-agent test jacoco:report
when generating test coverage.
 2021-02-08 09:52:09 +01:00
Moritz Dieing
b7d5611755 Implement TypeAssumptions (frontend) 2021-02-08 00:54:40 +01:00
ucrhh
03af53b20a partly implement let constraint generation 2021-02-07 12:07:26 +01:00
Arne Keller
4c48c1dca5 Use client JS for latency-sensitive operation 2021-02-06 21:50:22 +01:00
Moritz Dieing
a88efa7cc7 Correct indentation 2021-02-06 21:34:40 +01:00
Moritz Dieing
d8b569c7b0 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 21:32:26 +01:00
Moritz Dieing
1d673485f3 Less javascript to restore cursor 2021-02-06 21:28:47 +01:00
Arne Keller
a25bdfe3dd More javadocs + Vaadin routing fixes 2021-02-06 15:57:53 +01:00
Arne Keller
5a2fcaa5ae Restore cursor position after backslash/lambda replacement 2021-02-06 15:07:02 +01:00
ucrhh
94704e8f7f Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 13:30:29 +01:00
ucrhh
e34464f641 refactor LatexCreatorConstraints 2021-02-06 13:30:13 +01:00
Moritz Dieing
c42fd73361 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 12:09:40 +01:00
Moritz Dieing
619e6da18c Change drawer width + render on language change 2021-02-06 12:06:49 +01:00
ucrhh
b5f114303f removed mjx context menu 2021-02-06 11:50:17 +01:00
ucrhh
648b5f6752 some doc and codestyle 2021-02-06 11:20:26 +01:00
ucrhh
bc30971b86 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 10:59:12 +01:00
ucrhh
d24f3b88f7 span mgu over multiple lines 2021-02-06 10:59:04 +01:00
Johanna Stuber
86b40d2683 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 10:58:25 +01:00
Johanna Stuber
6fa50cbf31 delete todo and comment, make long example inferrable 2021-02-06 10:58:12 +01:00
Arne Keller
d3fd5b99a8 Set page title to lambda term 2021-02-06 10:57:35 +01:00
Arne Keller
c9512b57d2 Fix display of inference tree after reload 2021-02-06 10:42:02 +01:00
ucrhh
ffac808366 page title set to 'Typicalc' across all pages 2021-02-06 10:37:39 +01:00
ucrhh
09ce138bc2 use constant instead of magic string 2021-02-06 10:33:04 +01:00
ucrhh
a01811936e constraints get generated in correct order 2021-02-06 10:28:58 +01:00
ucrhh
0201efdc9c drawer refreshed on lacaleChange 2021-02-06 10:12:31 +01:00
Moritz Dieing
4c98976059 Extends content of infoDialog 2021-02-05 23:58:19 +01:00
Moritz Dieing
4fc610c75e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-05 21:39:48 +01:00
Moritz Dieing
2895f84988 Fix and improve languageSelect 2021-02-05 21:39:40 +01:00
Arne Keller
0dc3e47695 Code style 2021-02-05 19:13:03 +01:00