Andreas Stadelmeier stan
2 Followers · 2 Following
  • Joined on 2023-11-14
Repositories
12
 Projects Packages Public Activity Starred Repositories
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-05 13:55:00 +00:00
df119b1995 Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ
43e75127b3 Nearly finish soundness for TYPE
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-05 00:33:45 +00:00
5c73e0b0f8 Remove Settle and Raise rules
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-02 18:23:08 +00:00
3d10421439 Remove adopt. Add Gen-X to Unify
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-02 12:23:10 +00:00
c53f1b59af Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ
67ce9e42a2 Fixes
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-01 17:17:52 +00:00
743e32daa9 Use Unify recursive in method call soundness proof
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-02-01 13:54:48 +00:00
edc7f87108 Type Soundness
stan created pull request i21017/JavaCompilerCore#1 2024-02-01 12:06:23 +00:00
Update src/test/java/typeinference/UnifyTest.java
stan created branch stan-patch-Finite-Closure in i21017/JavaCompilerCore 2024-02-01 12:06:11 +00:00
stan pushed to stan-patch-Finite-Closure at i21017/JavaCompilerCore 2024-02-01 12:06:11 +00:00
2a44773403 Update src/test/java/typeinference/UnifyTest.java
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-31 17:06:08 +00:00
3716fcdfd1 Type soundness
4725943448 Change = \emptyset to \subseteq Delta
921adc85b1 Start let insert example
Compare 3 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-31 06:51:24 +00:00
8e3707b9a6 WF lemma
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-30 22:03:40 +00:00
54fb6f9f0f Fix Unify WF lemma
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-30 15:19:06 +00:00
319f080a8d Add LessdotCC REmove to unify. Fix Soundness lemma
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-29 17:44:32 +00:00
9aa89933ce Add WF type environment lemma (work in progress)
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-29 17:41:10 +00:00
95d0d00339 Fix WF-Class, WF-Var and Type for method call
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-29 12:41:18 +00:00
6494394db6 Comments on Well-Formedness proof
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-26 15:51:00 +00:00
0101341841 Fix and comment
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-24 12:18:54 +00:00
ba4b78b57b Soundness method call
stan pushed to main at sebastianbrosch/VL-Programmieren 2024-01-23 16:16:18 +00:00
90954ad137 Merge branch 'main' of ssh://gitea.hb.dhbw-stuttgart.de:2222/sebastianbrosch/VL-Programmieren
c17fd51e08 Add constructors
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-23 15:30:29 +00:00
05b6b84e1e Cleanup soundness. Add Delta environment to Unify input