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-01-22 23:34:57 +00:00

881eecef8a Add <._c constraint to Type for field and alter soundness proof

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-22 14:34:41 +00:00

b775045d17 Soundness for Prepare and Capture

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-22 00:04:04 +00:00

e3a393520d fix capture soundness proof

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-21 13:31:56 +00:00

ba8e2fadbb Add Capture Conversion during unification chapter

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-17 11:53:41 +00:00

5578415ed3 Fix Capture Soundness

8907cac94a Prepare Soundness

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-17 04:52:07 +00:00

56f9d35615 Change prepare rule to require same type on both sides

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-16 17:03:58 +00:00

bc4fcaf43c Change Prepare rule to simpler version

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-16 09:01:16 +00:00

521dee7fa2 Soundness Prepare

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-15 19:43:27 +00:00

b546da831d Start soundness for prepare rule

b9e0b1fa6d Fix error in Prepare rule

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-10 15:03:28 +00:00

bf401f1f08 Add prepare rule

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-09 15:28:24 +00:00

93c0b76b9c Add <:_? constraint (work in progress)

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-09 06:33:22 +00:00

e6807e65fc Start with Type soundness for method call

c742bc03f8 move Remove rule

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-05 08:19:22 +00:00

5873fe68d6 Fix Well-formed description

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-01-04 00:33:46 +00:00

3a499d2e6d Add well-formedness description

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2023-12-31 02:32:34 +00:00

d4c43c04a7 Add to Soundness. Start Wellformed lemma, add T-Rules

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2023-12-29 02:38:15 +00:00

14ebe4c360 Fix errrors in TYPE. Fix Unify soundness proof. start TYPE Soundness proof. Add elimination/transformation WildFJ <-> WildFJ-GT

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2023-12-27 22:05:38 +00:00

18dd2325a6 Start TYPE soundness

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2023-12-27 18:03:41 +00:00

ff8d309320 Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ

ab5f9d0f73 Describe tph helper function

Compare 2 commits »

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2023-12-27 13:52:36 +00:00

16cce0148f Update README.md

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2023-12-27 13:52:09 +00:00

77c72dcea2 Add README.md