Arne Keller
|
f6ccf64788
|
Basic explanation text UI
|
2021-08-10 14:42:50 +02:00 |
|
Arne Keller
|
9773385eab
|
Move hidden tooltip background off useful area
|
2021-08-10 11:46:46 +02:00 |
|
Arne Keller
|
90833c37b5
|
Fix tooltips in case of failed let inference
|
2021-08-10 11:46:46 +02:00 |
|
uogau
|
60ee1583fd
|
Fixed Checkstyle
|
2021-08-09 18:13:07 +02:00 |
|
uogau
|
760de925f9
|
added new attributes to equals() and hashCode()
|
2021-08-09 18:10:47 +02:00 |
|
uogau
|
9797d13041
|
Improved documentation for parser and improved error messages
see #15
|
2021-08-09 18:05:45 +02:00 |
|
Moritz Dieing
|
c3deae0bcc
|
Add tree texts to bundle (only german)
|
2021-08-09 13:02:32 +02:00 |
|
Moritz Dieing
|
6968a4b5f2
|
Add structure for unification texts
|
2021-08-09 13:02:01 +02:00 |
|
Arne Keller
|
69479a6368
|
Fix Var and Const definitions and tooltips
|
2021-08-08 18:28:22 +02:00 |
|
Arne Keller
|
a7a587a769
|
Add text to buttons
|
2021-08-08 17:23:40 +02:00 |
|
Arne Keller
|
e6d00f4561
|
Suggest end of input in some error messages
see #15
|
2021-08-08 17:16:16 +02:00 |
|
Robin
|
2817d9009f
|
Merge remote-tracking branch 'origin/master'
|
2021-07-31 17:55:11 +02:00 |
|
Robin
|
0e925d1294
|
Rewrote TypeAssumptionParser for easier error handling
|
2021-07-31 17:54:56 +02:00 |
|
Arne Keller
|
51fdcac9d6
|
Clarify licensing
closes #19
|
2021-07-28 18:43:39 +02:00 |
|
Arne Keller
|
ee2de09ccc
|
Update Spring Boot
|
2021-07-27 15:39:51 +02:00 |
|
Arne Keller
|
83892dcc66
|
Include tooltip directly in SVG
This also fixes scaling issues
|
2021-07-27 15:28:56 +02:00 |
|
Arne Keller
|
6df7f0f443
|
Fix tooltip display in Google Chrome
|
2021-07-27 13:08:54 +02:00 |
|
Arne Keller
|
c9e8fc7568
|
Move tooltip when moving the tree
|
2021-07-27 12:38:36 +02:00 |
|
Arne Keller
|
eff5e4340e
|
Instantiate types in all tooltips
see #18
|
2021-07-26 10:40:40 +02:00 |
|
Arne Keller
|
19ec6cbc1a
|
Increase ID of let inferred type variables
fixes #17
|
2021-07-26 10:06:56 +02:00 |
|
Moritz Dieing
|
c6d80d9324
|
Implement structure for explanation texts
|
2021-07-24 11:38:24 +02:00 |
|
Arne Keller
|
6403daad8d
|
Fix checkstyle
|
2021-07-20 16:37:59 +02:00 |
|
Arne Keller
|
8c9f2ab67c
|
Instantiate abs step
see #18
|
2021-07-20 15:02:29 +02:00 |
|
Arne Keller
|
2e2b39c13b
|
Show constraint in tooltip
part of #18
|
2021-07-20 09:35:39 +02:00 |
|
Arne Keller
|
ed7ce73679
|
Friendly error message for "λx.x in x"
|
2021-07-19 11:24:57 +02:00 |
|
Arne Keller
|
35013bd819
|
Show correct tooltips for polymorphic steps
fixes #16
|
2021-07-19 11:21:54 +02:00 |
|
Arne Keller
|
08085ad44d
|
Fix parse error for "s:()"
see #15
|
2021-07-19 11:13:10 +02:00 |
|
Arne Keller
|
5e6cb6ca4c
|
Generate useful error for TA input "s"
see #15
|
2021-07-19 11:06:56 +02:00 |
|
Arne Keller
|
0285305f13
|
Refactor ParseError into object instead of enum
See #12
|
2021-07-19 10:56:46 +02:00 |
|
Moritz Dieing
|
7310eec398
|
Exchange and add example term
|
2021-07-18 14:25:21 +02:00 |
|
Moritz Dieing
|
bf31ae5096
|
Remove useless type assumption examples
|
2021-07-13 12:07:59 +02:00 |
|
Arne Keller
|
d8fe8dd56a
|
CI: also compile intergation tests
|
2021-07-12 11:43:34 +02:00 |
|
Arne Keller
|
3fdec5ff1b
|
Highlight new constraint on step hover
|
2021-07-12 11:41:12 +02:00 |
|
Arne Keller
|
ab86590a3b
|
Attach index to steps
|
2021-07-12 11:16:52 +02:00 |
|
Arne Keller
|
b0288a1e3e
|
Focus correct input field on syntax error
fixes #11
|
2021-07-12 10:09:20 +02:00 |
|
Moritz Dieing
|
ca2ea6c277
|
Correct typo
|
2021-07-11 12:02:54 +02:00 |
|
Moritz Dieing
|
0cf0333289
|
Tooltip back-button in exampleDialog
|
2021-07-11 12:01:15 +02:00 |
|
Moritz Dieing
|
478cd97706
|
Update integration tests
|
2021-07-11 11:54:15 +02:00 |
|
Arne Keller
|
301af06c69
|
Improve type assumption error messages
includes codestyle fixes
|
2021-07-10 13:01:06 +02:00 |
|
Arne Keller
|
adb10a01aa
|
Fix single step proof tree
|
2021-07-10 12:47:40 +02:00 |
|
Arne Keller
|
8be024eb65
|
Update translations
|
2021-07-10 12:35:49 +02:00 |
|
Arne Keller
|
660fe2b5d1
|
Add test for #2
|
2021-07-10 12:28:13 +02:00 |
|
Arne Keller
|
f3f3bbb77d
|
More tests for #9
|
2021-07-10 12:23:05 +02:00 |
|
Arne Keller
|
57064aa5f1
|
Translation for TokenType.COMMA
|
2021-07-10 12:18:54 +02:00 |
|
Arne Keller
|
2715179182
|
Fix syntax error return in parenthesised term
part of #9
|
2021-07-10 12:17:47 +02:00 |
|
Arne Keller
|
7d4c724338
|
Change type assumptions permalink format
|
2021-07-10 12:10:54 +02:00 |
|
Arne Keller
|
c9cc12e922
|
Remove ParseError.TOO_FEW_TOKENS
fix another case of #9
|
2021-07-09 13:10:12 +02:00 |
|
Arne Keller
|
4b4f38ad31
|
ErrorView: handle unexpected EOF token
|
2021-07-09 13:02:19 +02:00 |
|
Arne Keller
|
f87a6820cc
|
Fix checkstyle
|
2021-07-09 12:56:22 +02:00 |
|
Arne Keller
|
e2c874de5f
|
Scoping ID to highlight type variables
This should fix #10
|
2021-07-09 12:46:24 +02:00 |
|