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
670 Commits 4 Branches 0 Tags 5.4 MiB
8463a26f97
Commit Graph

670 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Moritz Dieing
8463a26f97 Reduce upper bar height 2021-06-29 12:41:48 +02:00
Arne Keller
e621875ea4 Step label hover effect (PoC) 
see issue #5
 2021-06-28 14:46:22 +02:00
Arne Keller
5b4bf4f583 Vaadin 19.0.9 again 2021-06-28 14:29:10 +02:00
Arne Keller
8edeecbb8b Vaadin: 19 -> 19.0.9 2021-06-28 14:20:42 +02:00
Moritz Dieing
99c0e8332d Update InfoDialog and HelpDialog 2021-06-22 15:29:18 +02:00
Arne Keller
41479483f2 Highlight variables on hover 
see issue #5
 2021-06-22 09:44:03 +02:00
Arne Keller
70ce558cd0 CI: build-test-package pipeline 2021-06-21 11:35:04 +02:00
Arne Keller
74c21773d4 Only use hover classes when using Mathjax 2021-06-21 11:12:02 +02:00
Arne Keller
916f73927d Highlighting of types on hover 
See issue #5
 2021-06-21 10:53:03 +02:00
Arne Keller
5cabe75933 Systemd configuration file 2021-06-21 10:14:28 +02:00
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
a79d41b6e8 Accept special characters around type varibles 2021-06-17 17:24:05 +02:00
Arne Keller
ce881354a0 Test quantified type assumptions 2021-06-17 09:00:30 +02:00
Arne Keller
b55c63acc0 Implement quantified variables in type assumptions 
see issue #1
 2021-06-17 08:48:46 +02:00
Arne Keller
7736a12b8d Remove automatically generated pnpm-lock.yaml 2021-06-17 08:43:21 +02:00
Arne Keller
f6a790009f CI: quiet download logs 2021-06-17 08:37:54 +02:00
Moritz Dieing
e1845f8c85 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-06-16 15:38:06 +02:00
Moritz Dieing
9df9e657e1 Restructure upper bar 2021-06-16 15:37:35 +02:00
Arne Keller
289e97f254 CI: use nix-shell 2021-06-15 12:25:59 +02:00
Arne Keller
b02c5d8b9e CI: use helper scripts in repo 2021-06-15 11:58:01 +02:00
Arne Keller
e4f5727683 Reduce min height of proof tree 2021-04-04 17:39:49 +02:00
Arne Keller
94c70ea864 Link to the repository 2021-03-31 15:01:01 +02:00
Arne Keller
bdbc53efbc Fix width of type inference rules 2021-03-17 16:18:27 +01: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
18c64528f9 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-14 11:53:36 +01:00
ucrhh
29caff2ead fix bug with unification translation 2021-03-14 11:53:10 +01:00
Arne Keller
392488ad8e Scripts used in CI 2021-03-14 11:08:40 +01:00
Arne Keller
0b780af138 GPLv3 licensing 2021-03-14 10:00:22 +00:00
Johanna Stuber
4e10893448 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-14 10:52:28 +01:00
Johanna Stuber
276353a41f todos 2021-03-14 10:52:04 +01:00
ucrhh
e81a532341 fix styling 2021-03-14 10:22:17 +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
9aa4ae9e56 IT for error view 2021-03-13 14:56:48 +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
dc60c58011 Add unit tests for new changes 
- failed let in sub-tree (both cases)
- empty type assumptions of let
- constraint line breaking
- DoS protection
 2021-03-12 20:23:45 +01:00
Moritz Dieing
f95ff0721a Simple ITs for Info- and HelpDialog 2021-03-12 15:55:32 +01:00
ucrhh
c1fa4b8663 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-12 13:32:44 +01:00
ucrhh
06bc2d020e fill in possible path for jacoco agent 2021-03-12 13:32:30 +01:00
Arne Keller
7a6e0844e6 Document test coverage report location 2021-03-12 13:31:46 +01:00
Arne Keller
daf3fb51e6 Add package to integration test instructions 2021-03-12 13:13:08 +01:00
Arne Keller
caeb2fca84 Limit scope of close shortcut in type assumptions 2021-03-12 11:22:37 +01:00
Arne Keller
002f402691 Integration tests: run asserts last 2021-03-12 11:07:26 +01:00