Andreas Stadelmeier
|
2d718f3ef9
|
Subst step tries as many substitutions as possible
|
2021-11-16 01:17:36 +01:00 |
|
Andreas Stadelmeier
|
8f807c6482
|
unify iterative
|
2021-11-15 00:27:59 +01:00 |
|
JanUlrich
|
f659ff1536
|
Only compile one class at a time
|
2021-11-11 23:36:43 +01:00 |
|
JanUlrich
|
e8bc91756a
|
Replace generics in constraint lists. this has no generic types
|
2021-11-10 13:50:42 +01:00 |
|
Andreas Stadelmeier
|
6fcfeaa00e
|
Filter for solved constraint sets
|
2021-11-10 02:25:02 +01:00 |
|
JanUlrich
|
d777b45166
|
constructor type fix
|
2021-11-09 14:48:06 +01:00 |
|
Andreas Stadelmeier
|
cc029a5376
|
TYPE for constructor
|
2021-11-08 19:03:56 +01:00 |
|
Andreas Stadelmeier
|
d474747dad
|
Insert Unify Result as intersection type. Not working. Constructors not implemented
|
2021-11-05 17:48:19 +01:00 |
|
Andreas Stadelmeier
|
c7c3f0aef6
|
Add Constraints to Method
|
2021-11-05 04:01:24 +01:00 |
|
JanUlrich
|
432a91b47d
|
Start inserting types (only comment)
|
2021-11-04 19:06:58 +01:00 |
|
Andreas Stadelmeier
|
ab72a69124
|
Fix step 2. C =. C got ignored
|
2021-11-03 13:11:51 +01:00 |
|
JanUlrich
|
2660f8807c
|
Add plugins.sbt
|
2021-11-03 02:00:30 +01:00 |
|
JanUlrich
|
ce48177ac2
|
Error in WrongEQSet Test, but runnable
|
2021-11-03 00:13:33 +01:00 |
|
JanUlrich
|
d96364318d
|
A =. A substitute loop error fix. Cleanup
|
2021-10-26 15:28:39 +02:00 |
|
JanUlrich
|
8b4bfa0f47
|
Unify working. Unify output working. Ast output working, but ugly
|
2021-10-26 01:41:05 +02:00 |
|
JanUlrich
|
b576d90f9a
|
Unify v1
|
2021-10-13 16:58:27 +02:00 |
|
JanUlrich
|
9c5f1bb466
|
Rules implemented
|
2021-10-06 17:20:56 +02:00 |
|
JanUlrich
|
21952dc723
|
FJ Unify. Step 1. Nicht funktionierendes FC
|
2021-09-29 20:26:49 +02:00 |
|