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 |
|
Arne Keller
|
ba8d221a42
|
Tooltip on entire plus button
|
2021-03-12 10:59:50 +01:00 |
|
Arne Keller
|
8e5639040a
|
Document manual test coverage
|
2021-03-12 10:43:46 +01:00 |
|
Arne Keller
|
db5856b360
|
Include manual report data
|
2021-03-12 10:42:22 +01:00 |
|
ucrhh
|
9a3b5586a6
|
make help icon white
|
2021-03-12 10:37:19 +01:00 |
|
Arne Keller
|
075d432c3b
|
Integration tests coverage
|
2021-03-12 08:35:03 +01:00 |
|
Arne Keller
|
2eaf3eff15
|
Fix width of type inference rules
|
2021-03-11 17:10:15 +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
|
d68d0abd2b
|
Codestyle
|
2021-03-11 15:07:47 +01:00 |
|