arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-19 18:25:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
336 Commits 4 Branches 0 Tags 5.4 MiB
23be70b57c
Commit Graph

336 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Arne Keller
54da12a132 Fix tree layout on failed let 2021-02-10 08:08:46 +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
uogau
84ebf99ecc removed useless import 2021-02-08 13:45:35 +01:00
uogau
612edac87b EmptyStep test 2021-02-08 13:40:09 +01:00
uogau
f46997d359 LetStepDefault test 2021-02-08 13:34:02 +01:00
uogau
08d19ffdc6 VarStepWithLet test 2021-02-08 13:17:46 +01:00
uogau
ad6d7342e5 VarStepDefault test 2021-02-08 13:15:29 +01:00
uogau
43ee786bf9 ConstStepDefault test 2021-02-08 13:03:21 +01:00
uogau
2906c8dce3 AppStepDefault test 2021-02-08 12:58:49 +01:00
uogau
067fc36866 AbsStepWithLet test 2021-02-08 12:50:59 +01:00
uogau
addbe90dcf AbsStepDefault test 2021-02-08 12:47:52 +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
uogau
d4e9d3b566 StepFactoryWithLet test 2021-02-08 03:16:08 +01:00
uogau
2839bb6637 StepFactoryDefault test 2021-02-08 03:01:39 +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
843430439d Fix layout of upper bar 2021-02-06 10:42:02 +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