JanUlrich
|
66a589faab
|
Add extends Test
|
2022-06-02 15:55:22 +02:00 |
|
JanUlrich
|
43ad1c4964
|
Cleanup
|
2022-05-30 14:36:41 +02:00 |
|
Andreas Stadelmeier
|
fdf3c03eb8
|
Add Building comment to README
|
2022-05-17 12:22:40 +02:00 |
|
Andreas Stadelmeier
|
a24faf8f2d
|
remove uncessary variable
|
2022-05-17 12:22:21 +02:00 |
|
Andreas Stadelmeier
|
58261b1fc4
|
Add assertions to IntegrationTest
|
2022-05-17 12:22:02 +02:00 |
|
Andreas Stadelmeier
|
f88da9e736
|
Remove comments
|
2022-05-17 11:51:18 +02:00 |
|
JanUlrich
|
d26363ec19
|
Add optional constructor to parser
|
2022-05-15 23:38:55 +02:00 |
|
Andreas Stadelmeier
|
556995716f
|
Merge
|
2022-05-06 01:49:50 +02:00 |
|
JanUlrich
|
3018c060f4
|
Fix sub-elim rule
|
2022-05-04 16:58:19 +02:00 |
|
JanUlrich
|
df9f34c739
|
Change a <. B to a =. B if B is a generic
|
2022-05-04 16:56:14 +02:00 |
|
JanUlrich
|
37ae27a521
|
Fix subElim rule, Fix type insert
|
2022-04-16 15:54:53 +02:00 |
|
JanUlrich
|
93af1d12f6
|
add subElimRule
|
2022-04-16 15:44:59 +02:00 |
|
Andreas Stadelmeier
|
0267a2df24
|
fix sub-elim (removeALessdotB) function
|
2022-04-12 19:50:35 +02:00 |
|
Andreas Stadelmeier
|
6340672a27
|
Remove comments
|
2022-04-12 17:05:58 +02:00 |
|
Andreas Stadelmeier
|
93f7edf467
|
Rafactoring: Remove unused code. Add duplicated method filtering
|
2022-04-11 17:32:18 +02:00 |
|
Andreas Stadelmeier
|
faef14cf05
|
Fix
|
2022-03-17 02:54:32 +01:00 |
|
Andreas Stadelmeier
|
e884ff9516
|
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/staff/stan/git/FJTypeinference
|
2022-03-17 02:52:26 +01:00 |
|
Andreas Stadelmeier
|
ef75c83ef6
|
Merge branch 'transfer'
|
2022-03-17 02:52:15 +01:00 |
|
Andreas Stadelmeier
|
3cb0973a71
|
Change type insert to non-filtered method
|
2022-03-17 02:52:05 +01:00 |
|
JanUlrich
|
573e91b6a3
|
Add Sigma method
|
2022-03-16 18:40:09 +01:00 |
|
Andreas Stadelmeier
|
6c8fe68d8e
|
Use full optimized JS
|
2022-03-11 12:54:03 +01:00 |
|
Anonymous Authors
|
29296c2d34
|
Use full optimized JS
|
2022-03-11 12:53:25 +01:00 |
|
Andreas Stadelmeier
|
607405920d
|
Filter a <. b constraints at end of Unify. Create T <. Object constraints in TYPEMethod for ret and param types
|
2022-03-10 22:49:01 +01:00 |
|
Andreas Stadelmeier
|
16dbfbc957
|
apply sigma method
|
2022-03-10 19:10:14 +01:00 |
|
JanUlrich
|
be7ccf8265
|
Unfinished backup
|
2022-03-10 14:24:17 +01:00 |
|
JanUlrich
|
b5083ba46a
|
Add Cast. Add ParserExpr and convert it to Expr after parsing
|
2022-03-09 14:24:11 +01:00 |
|
JanUlrich
|
39c5a0527d
|
Remove keywords, add this Parser Tests
|
2022-03-07 14:59:17 +01:00 |
|
JanUlrich
|
fc8460ea29
|
Cleanup, Fix Parser Tests
|
2022-03-07 13:45:59 +01:00 |
|
Andreas Stadelmeier
|
1df207c8c5
|
Fix Filter overloaded methods
|
2021-12-13 05:55:37 +01:00 |
|
Andreas Stadelmeier
|
9c4072aa81
|
Remove compiled file
|
2021-12-13 01:38:21 +01:00 |
|
JanUlrich
|
51c9f217c0
|
Filter methods
|
2021-12-13 01:32:54 +01:00 |
|
JanUlrich
|
bb3a3ef430
|
Fix type insert error
|
2021-12-12 10:47:01 +01:00 |
|
JanUlrich
|
341875c843
|
Fix insertTypes
|
2021-12-11 23:21:08 +01:00 |
|
JanUlrich
|
04abdd7ad4
|
Add FJNamedType and conversion methods. Add method filtering. Result has errors
|
2021-12-11 06:18:36 +01:00 |
|
JanUlrich
|
c23713ad01
|
Add FJType
|
2021-12-10 06:41:10 +01:00 |
|
JanUlrich
|
27bd663b1b
|
add FJNamedType trait. Not Runnable!
|
2021-12-09 19:51:38 +01:00 |
|
JanUlrich
|
0c79b40f2f
|
Fix type insert error
|
2021-12-07 16:30:13 +01:00 |
|
Andreas Stadelmeier
|
d03231fd95
|
Adding the possibility of type annotations to input
|
2021-12-06 20:14:05 +01:00 |
|
Andreas Stadelmeier
|
a8c5131de3
|
Start optional type annotations for methods. Currently not working
|
2021-12-03 02:09:10 +01:00 |
|
Andreas Stadelmeier
|
92ef0f4991
|
FC transitive types added
|
2021-12-03 01:13:49 +01:00 |
|
JanUlrich
|
0467bec4b3
|
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/staff/stan/git/FJTypeinference
|
2021-12-02 22:49:40 +01:00 |
|
JanUlrich
|
5bc55324e1
|
add test
|
2021-12-02 22:49:18 +01:00 |
|
Andreas Stadelmeier
|
061340de90
|
Create README.md
|
2021-12-02 03:04:00 +01:00 |
|
Andreas Stadelmeier
|
cc9dd29775
|
add compiled js for github pages
|
2021-12-02 02:54:06 +01:00 |
|
Andreas Stadelmeier
|
21d77dd026
|
Start principal method filtering
|
2021-12-02 02:49:39 +01:00 |
|
JanUlrich
|
477c60f841
|
Calculate all possible solutions. Working state!
|
2021-12-01 16:58:27 +01:00 |
|
JanUlrich
|
7392a865d3
|
Fix substStep
|
2021-12-01 11:49:47 +01:00 |
|
JanUlrich
|
5ef6d9abb9
|
Fix type insert
|
2021-12-01 11:34:16 +01:00 |
|
Andreas Stadelmeier
|
60a22967f9
|
Inser types still wrong
|
2021-11-30 22:29:26 +01:00 |
|
Andreas Stadelmeier
|
7cb3300e8a
|
Backup. Not working state
|
2021-11-30 03:47:07 +01:00 |
|