Andreas Stadelmeier stan

2 Followers · 2 Following

• Joined on 2023-11-14

Repositories

10

Projects Packages Public Activity Starred Repositories

stan pushed to completeness at stan/Ecoop2024_TIforWildFJ 2024-04-02 22:46:34 +00:00

c6571879b7 Comments to Completeness

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-04-02 22:45:57 +00:00

a151415950 SameW rule soundness

stan created branch completeness in stan/Ecoop2024_TIforWildFJ 2024-04-01 22:09:58 +00:00

stan pushed to completeness at stan/Ecoop2024_TIforWildFJ 2024-04-01 22:09:58 +00:00

3620f0c781 Change rules so Completeness proof is possible

stan pushed to master at stan/WildFJ-Typeinference 2024-04-01 15:05:05 +00:00

931b65fa14 Fix Lower rule. Include WTVs on left side aswell

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-03-29 23:07:32 +00:00

87f413241a Add ANF transformation. Define LetFJ. Change Constraint generation. Cleanup old explanation of Capture conversion. Add example to Constraint generation

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-03-28 02:40:44 +00:00

7b86dc0cf3 Add ANF transformation. Change syntax of TamedFJ. Restructure Unify description. Some fixes in Unify

495e37b370 Fix Type Substitution

Compare 2 commits »

stan pushed to master at stan/WildFJ-Typeinference 2024-03-27 18:50:07 +00:00

059217974d Fixes. Match Test runs now

stan pushed to master at stan/WildFJ-Typeinference 2024-03-27 13:07:08 +00:00

6538be956f Fix Substitution for Wildcard types

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-03-27 00:55:28 +00:00

cec613b875 Fix

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-03-27 00:54:17 +00:00

032baaacb8 Cleanup Unify. Add explanation to adopt rule and add lessdot markers

e93a762441 Add Wildcard Environment to intro Unify example

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-03-26 14:42:00 +00:00

9556f1521e Cleanup. Define mutual subtyping as equality

e40693a7de Remove comments (cleanup). Add Clear and Exclude rules. Change Unify Soundness premise

Compare 2 commits »

stan commented on issue JavaTX/JavaCompilerCore#298 2024-03-25 18:40:14 +00:00

Java Stream API mit echten Funktionstypen

Gut Erkannt. Der Unify benutzt jetzt Typen aus dem package ast.syntaxtree. Zum Beispiel RefType. Der Unify sollte allerdings nur seine eigenen Datenstrukturen verwenden (UnifyType). Die Typen…

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-03-25 13:09:56 +00:00

f2002ea833 Add GenDelta for WTVS. Restructure step 2. Comment out old version

stan pushed to master at stan/WildFJ-Typeinference 2024-03-24 23:08:07 +00:00

31349bbda8 Add GenDelta, AddSigma

stan pushed to master at stan/WildFJ-Typeinference 2024-03-23 23:04:45 +00:00

9bea1b1eeb Work in Prograss. Added step2

stan pushed to master at stan/WildFJ-Typeinference 2024-03-20 20:40:51 +00:00

ae933b05c1 Add Lessdot Crunch, finish normal transform rules

stan pushed to master at stan/WildFJ-Typeinference 2024-03-20 15:51:54 +00:00

7df80a1c18 add Crunch rule

stan pushed to master at stan/WildFJ-Typeinference 2024-03-20 15:05:34 +00:00

5625583309 Add Trim and Adopt rules

stan pushed to master at stan/AntlrAssignment3Template 2024-03-20 12:58:17 +00:00

d0c24b9ac8 Fix StatementGeneratorTest