Andreas Stadelmeier

stan pushed to master at stan/WildFJ-Typeinference

2024-03-20 00:46:07 +00:00

255397f6d6 Add Reduce rule. Add substitute to Type. Change map of WildcardEnvironment

stan pushed to master at stan/WildFJ-Typeinference

2024-03-19 19:52:43 +00:00

691eda51a2 Start LessDot-Rules

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-19 19:52:10 +00:00

17559170d0 LessDotCC constraints stay preserved

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-18 13:58:01 +00:00

e9f86ffda3 Add A-Normal Form transform

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-15 16:38:02 +00:00

e7b6786f08 Add Syntax and type rules for a normal form

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-13 17:51:58 +00:00

03a7420348 Fix and comment

stan created branch master in stan/AntlrAssignment3Template

2024-03-13 12:25:54 +00:00

stan pushed to master at stan/AntlrAssignment3Template

2024-03-13 12:25:54 +00:00

2b90f84c1e Initialize Template

stan created repository stan/AntlrAssignment3Template

2024-03-13 12:25:19 +00:00

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-12 23:38:20 +00:00

ad34a5dd00 gitignore

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-12 23:30:28 +00:00

c7212cd7c6 Introduce new challenge (principal type). Restructure and remove some parts.

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-11 17:02:48 +00:00

9a7195d261 Add reference

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-11 17:02:35 +00:00

0560611304 Add Example infinite types

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-11 12:17:48 +00:00

f6cb46af4a Recap

stan opened issue JavaTX/JavaCompilerCore#284

2024-03-07 15:07:35 +00:00

Tests schreiben in src/test Ordner

stan created branch MultiLet in stan/Ecoop2024_TIforWildFJ

2024-03-07 14:23:21 +00:00

stan pushed to MultiLet at stan/Ecoop2024_TIforWildFJ

2024-03-07 14:23:21 +00:00

stan pushed to master at stan/Ecoop2024_TIforWildFJ

2024-03-07 14:23:06 +00:00

9daf5ce8ef Fix

5055364de5 Add Recap in introduction

b1ce0f771b Comments to TI Capture Conversion

903b2405b1 Add T-Elvis rule

323f2c0163 Fix T-Class method env

Compare 12 commits »

stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ

2024-03-07 09:00:15 +00:00

9daf5ce8ef Fix

stan pushed to cleanup at stan/Ecoop2024_TIforWildFJ

2024-03-07 02:33:01 +00:00

5055364de5 Add Recap in introduction