stan/FeatherweightTypeInference
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 9c098185a7 First implementation of Unify with Wildcards. Added rules and changed step 2 wildcard Andreas Stadelmeier 2022-10-25 22:07:59 +0200
  • 8602a58513 Merge branch 'master' into pages pages Andreas Stadelmeier 2022-07-23 09:36:55 +0200
  • abe4f78490 Fix Type in README master Andreas Stadelmeier 2022-07-23 09:36:37 +0200
  • f6dd431e6a Update Andreas Stadelmeier 2022-07-03 20:58:44 +0200
  • 4674d4108f Merge branch 'master' into pages Andreas Stadelmeier 2022-07-03 20:57:46 +0200
  • 0e0c096d0f Cleanup comments JanUlrich 2022-06-29 15:20:59 +0200
  • 6f48d04a7e Fix match rule Andreas Stadelmeier 2022-06-28 19:28:02 +0200
  • 3c8cd30284 Fix FC getSuperTypes JanUlrich 2022-06-27 22:23:12 +0200
  • 880fbdd905 Rework equalsRule. Fix circle detection JanUlrich 2022-06-26 23:15:15 +0200
  • c176dfdc9f Fix expandLB Andreas Stadelmeier 2022-06-15 21:21:52 +0200
  • 09c7c1457f Implement Cartesian Product Builder and Unify.step2 Andreas Stadelmeier 2022-06-15 20:47:16 +0200
  • 84ee7b260a Finish part 1 of step 2 JanUlrich 2022-06-14 19:07:48 +0200
  • 80dcad7a13 Merge branch 'master' into work JanUlrich 2022-06-14 17:36:22 +0200
  • 8d3c6992ac Add Test JanUlrich 2022-06-14 17:36:11 +0200
  • 2d12836262 Add Test JanUlrich 2022-06-14 11:17:02 +0200
  • 0be9ca406d Merge branch 'master' into work JanUlrich 2022-06-02 15:55:31 +0200
  • 66a589faab Add extends Test JanUlrich 2022-06-02 15:55:22 +0200
  • 0e648ce112 Unfinished state Andreas Stadelmeier 2022-06-01 00:56:35 +0200
  • 3ae2bc2d61 Refactor unify. work in progress JanUlrich 2022-05-30 14:37:32 +0200
  • 43ad1c4964 Cleanup JanUlrich 2022-05-30 14:36:41 +0200
  • fdf3c03eb8 Add Building comment to README Andreas Stadelmeier 2022-05-17 12:22:40 +0200
  • a24faf8f2d remove uncessary variable Andreas Stadelmeier 2022-05-17 12:22:21 +0200
  • 58261b1fc4 Add assertions to IntegrationTest Andreas Stadelmeier 2022-05-17 12:22:02 +0200
  • f88da9e736 Remove comments Andreas Stadelmeier 2022-05-17 11:51:18 +0200
  • d26363ec19 Add optional constructor to parser JanUlrich 2022-05-15 23:38:55 +0200
  • 556995716f Merge Andreas Stadelmeier 2022-05-06 01:45:25 +0200
  • 3018c060f4 Fix sub-elim rule JanUlrich 2022-04-25 15:59:43 +0200
  • df9f34c739 Change a <. B to a =. B if B is a generic JanUlrich 2022-05-04 16:56:14 +0200
  • 37ae27a521 Fix subElim rule, Fix type insert JanUlrich 2022-04-16 15:54:36 +0200
  • 93af1d12f6 add subElimRule JanUlrich 2022-04-16 15:44:59 +0200
  • 0267a2df24 fix sub-elim (removeALessdotB) function Andreas Stadelmeier 2022-04-12 19:50:35 +0200
  • 82d2854f69 Add Lambda Expression to parser and Type. Add eraseF function lambda Andreas Stadelmeier 2022-04-12 18:22:55 +0200
  • 6340672a27 Remove comments Andreas Stadelmeier 2022-04-12 17:05:58 +0200
  • 93f7edf467 Rafactoring: Remove unused code. Add duplicated method filtering Andreas Stadelmeier 2022-04-11 17:32:18 +0200
  • c62a0e5dae Unify, only call step 2 once. substitute beforehand transfer JanUlrich 2022-03-22 22:56:46 +0100
  • 3ac7be2d1c Merge branch 'pages' of github.com:JanUlrich/FeatherweightTypeInference into pages Andreas Stadelmeier 2022-03-17 03:00:42 +0100
  • 8de6b5a966 Change to full OptJS Andreas Stadelmeier 2022-03-17 02:56:53 +0100
  • ccbea40e76 Merge branch 'master' into pages Andreas Stadelmeier 2022-03-17 02:54:54 +0100
  • faef14cf05 Fix Andreas Stadelmeier 2022-03-17 02:54:32 +0100
  • e884ff9516 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/staff/stan/git/FJTypeinference Andreas Stadelmeier 2022-03-17 02:52:26 +0100
  • ef75c83ef6 Merge branch 'transfer' Andreas Stadelmeier 2022-03-17 02:52:15 +0100
  • 3cb0973a71 Change type insert to non-filtered method Andreas Stadelmeier 2022-03-17 02:52:05 +0100
  • 573e91b6a3 Add Sigma method JanUlrich 2022-03-16 18:40:09 +0100
  • 6c8fe68d8e Use full optimized JS Andreas Stadelmeier 2022-03-11 12:53:25 +0100
  • 29296c2d34 Use full optimized JS Anonymous Authors 2022-03-11 12:53:25 +0100
  • 607405920d Filter a <. b constraints at end of Unify. Create T <. Object constraints in TYPEMethod for ret and param types Andreas Stadelmeier 2022-03-10 22:49:01 +0100
  • 16dbfbc957 apply sigma method Andreas Stadelmeier 2022-03-10 19:10:14 +0100
  • be7ccf8265 Unfinished backup JanUlrich 2022-03-10 14:24:17 +0100
  • c7c36f3d75 Update JanUlrich 2022-03-09 14:47:45 +0100
  • e22b030f5a Merge branch 'master' into pages JanUlrich 2022-03-09 14:45:02 +0100
  • b5083ba46a Add Cast. Add ParserExpr and convert it to Expr after parsing JanUlrich 2022-03-09 14:24:11 +0100
  • 39c5a0527d Remove keywords, add this Parser Tests JanUlrich 2022-03-07 14:59:17 +0100
  • fc8460ea29 Cleanup, Fix Parser Tests JanUlrich 2022-03-07 13:45:59 +0100
  • 6098b6f168 Branch pages Andreas Stadelmeier 2021-12-13 06:11:21 +0100
  • 1df207c8c5 Fix Filter overloaded methods Andreas Stadelmeier 2021-12-13 05:55:37 +0100
  • 9c4072aa81 Remove compiled file Andreas Stadelmeier 2021-12-13 01:38:21 +0100
  • 51c9f217c0 Filter methods JanUlrich 2021-12-13 01:32:54 +0100
  • bb3a3ef430 Fix type insert error JanUlrich 2021-12-12 10:47:01 +0100
  • 341875c843 Fix insertTypes JanUlrich 2021-12-11 23:21:08 +0100
  • 04abdd7ad4 Add FJNamedType and conversion methods. Add method filtering. Result has errors JanUlrich 2021-12-11 06:18:36 +0100
  • c23713ad01 Add FJType JanUlrich 2021-12-10 06:41:10 +0100
  • 27bd663b1b add FJNamedType trait. Not Runnable! JanUlrich 2021-12-09 19:51:38 +0100
  • 0c79b40f2f Fix type insert error JanUlrich 2021-12-07 16:30:13 +0100
  • d03231fd95 Adding the possibility of type annotations to input Andreas Stadelmeier 2021-12-06 20:14:05 +0100
  • a8c5131de3 Start optional type annotations for methods. Currently not working Andreas Stadelmeier 2021-12-03 02:09:10 +0100
  • 92ef0f4991 FC transitive types added Andreas Stadelmeier 2021-12-03 01:13:49 +0100
  • 0467bec4b3 Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/staff/stan/git/FJTypeinference JanUlrich 2021-12-02 22:49:40 +0100
  • 5bc55324e1 add test JanUlrich 2021-12-02 22:49:18 +0100
  • 061340de90
         Create README.md Andreas Stadelmeier 2021-12-02 03:04:00 +0100
  • cc9dd29775 add compiled js for github pages Andreas Stadelmeier 2021-12-02 02:54:06 +0100
  • 21d77dd026 Start principal method filtering Andreas Stadelmeier 2021-12-02 02:49:39 +0100
  • 477c60f841 Calculate all possible solutions. Working state! JanUlrich 2021-12-01 16:58:27 +0100
  • 7392a865d3 Fix substStep JanUlrich 2021-12-01 11:49:47 +0100
  • 5ef6d9abb9 Fix type insert JanUlrich 2021-12-01 11:34:16 +0100
  • 60a22967f9 Inser types still wrong Andreas Stadelmeier 2021-11-30 22:29:26 +0100
  • 7cb3300e8a Backup. Not working state Andreas Stadelmeier 2021-11-30 03:47:07 +0100
  • 6fd34fe523 Add hint to index.html Andreas Stadelmeier 2021-11-23 01:10:38 +0100
  • fb7593cf3b Insert minimal set of generics. correctly output AST JanUlrich 2021-11-22 19:10:20 +0100
  • 39c9adb794 Output typed classes. Filter constraints before inserting them as method generics Andreas Stadelmeier 2021-11-17 06:39:26 +0100
  • 0c59de6f63 Use highlight.js Andreas Stadelmeier 2021-11-16 17:11:24 +0100
  • cff305e0db Only insert relevant constraints for each method. Remove a <. b constraints Andreas Stadelmeier 2021-11-16 14:38:15 +0100
  • 1b2d6bd172 Step 2 uses CartesianProduct class. Only first possible solution is selected Andreas Stadelmeier 2021-11-16 07:39:47 +0100
  • 2d718f3ef9 Subst step tries as many substitutions as possible Andreas Stadelmeier 2021-11-16 01:17:36 +0100
  • 8f807c6482 unify iterative Andreas Stadelmeier 2021-11-15 00:27:59 +0100
  • f659ff1536 Only compile one class at a time JanUlrich 2021-11-11 23:36:43 +0100
  • e8bc91756a Replace generics in constraint lists. this has no generic types JanUlrich 2021-11-10 13:50:42 +0100
  • 6fcfeaa00e Filter for solved constraint sets Andreas Stadelmeier 2021-11-10 02:25:02 +0100
  • d777b45166 constructor type fix JanUlrich 2021-11-09 14:48:06 +0100
  • cc029a5376 TYPE for constructor Andreas Stadelmeier 2021-11-08 19:03:56 +0100
  • d474747dad Insert Unify Result as intersection type. Not working. Constructors not implemented Andreas Stadelmeier 2021-11-05 17:48:19 +0100
  • c7c3f0aef6 Add Constraints to Method Andreas Stadelmeier 2021-11-05 04:01:24 +0100
  • 432a91b47d Start inserting types (only comment) JanUlrich 2021-11-04 19:06:58 +0100
  • ab72a69124 Fix step 2. C =. C got ignored Andreas Stadelmeier 2021-11-03 13:11:51 +0100
  • 2660f8807c Add plugins.sbt JanUlrich 2021-11-03 02:00:30 +0100
  • ce48177ac2 Error in WrongEQSet Test, but runnable JanUlrich 2021-11-03 00:13:33 +0100
  • d96364318d A =. A substitute loop error fix. Cleanup JanUlrich 2021-10-26 15:28:39 +0200
  • 8b4bfa0f47 Unify working. Unify output working. Ast output working, but ugly JanUlrich 2021-10-26 01:41:05 +0200
  • b576d90f9a Unify v1 JanUlrich 2021-10-13 16:58:27 +0200
  • 9c5f1bb466 Rules implemented JanUlrich 2021-10-06 17:20:56 +0200
  • 21952dc723 FJ Unify. Step 1. Nicht funktionierendes FC JanUlrich 2021-09-29 20:26:49 +0200