Andreas Stadelmeier
|
c176dfdc9f
|
Fix expandLB
|
2022-06-15 21:21:52 +02:00 |
|
Andreas Stadelmeier
|
09c7c1457f
|
Implement Cartesian Product Builder and Unify.step2
|
2022-06-15 20:47:16 +02:00 |
|
JanUlrich
|
84ee7b260a
|
Finish part 1 of step 2
|
2022-06-14 19:07:48 +02:00 |
|
JanUlrich
|
80dcad7a13
|
Merge branch 'master' into work
|
2022-06-14 17:36:22 +02:00 |
|
JanUlrich
|
8d3c6992ac
|
Add Test
|
2022-06-14 17:36:11 +02:00 |
|
JanUlrich
|
2d12836262
|
Add Test
|
2022-06-14 11:17:02 +02:00 |
|
JanUlrich
|
0be9ca406d
|
Merge branch 'master' into work
|
2022-06-02 15:55:31 +02:00 |
|
JanUlrich
|
66a589faab
|
Add extends Test
|
2022-06-02 15:55:22 +02:00 |
|
Andreas Stadelmeier
|
0e648ce112
|
Unfinished state
|
2022-06-01 00:56:35 +02:00 |
|
JanUlrich
|
3ae2bc2d61
|
Refactor unify. work in progress
|
2022-05-30 14:37:32 +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 |
|