Andreas Stadelmeier
|
8602a58513
|
Merge branch 'master' into pages
|
2022-07-23 09:36:55 +02:00 |
|
Andreas Stadelmeier
|
abe4f78490
|
Fix Type in README
|
2022-07-23 09:36:37 +02:00 |
|
Andreas Stadelmeier
|
f6dd431e6a
|
Update
|
2022-07-03 20:58:44 +02:00 |
|
Andreas Stadelmeier
|
4674d4108f
|
Merge branch 'master' into pages
|
2022-07-03 20:57:46 +02:00 |
|
JanUlrich
|
0e0c096d0f
|
Cleanup comments
|
2022-06-29 15:20:59 +02:00 |
|
Andreas Stadelmeier
|
6f48d04a7e
|
Fix match rule
|
2022-06-28 19:28:02 +02:00 |
|
JanUlrich
|
3c8cd30284
|
Fix FC getSuperTypes
|
2022-06-27 22:23:12 +02:00 |
|
JanUlrich
|
880fbdd905
|
Rework equalsRule. Fix circle detection
|
2022-06-26 23:15:15 +02:00 |
|
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
|
3ac7be2d1c
|
Merge branch 'pages' of github.com:JanUlrich/FeatherweightTypeInference into pages
|
2022-03-17 03:00:42 +01:00 |
|
Andreas Stadelmeier
|
8de6b5a966
|
Change to full OptJS
|
2022-03-17 02:56:53 +01:00 |
|
Andreas Stadelmeier
|
ccbea40e76
|
Merge branch 'master' into pages
|
2022-03-17 02:54:54 +01: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
|
c7c36f3d75
|
Update
|
2022-03-09 14:47:45 +01:00 |
|
JanUlrich
|
e22b030f5a
|
Merge branch 'master' into pages
|
2022-03-09 14:45:02 +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 |
|