Andreas Stadelmeier stan

2 Followers · 2 Following

• Joined on 2023-11-14

Repositories

10

Projects Packages Public Activity Starred Repositories

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

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