Andreas Stadelmeier stan
2 Followers · 2 Following
  • Joined on 2023-11-14
Repositories
10
 Projects Packages Public Activity Starred Repositories
stan pushed to main at stan/JavaTypeUnifyASP 2024-09-11 07:47:05 +00:00
8b55d8f159 rename pl -> lp
stan pushed to symposium at stan/WLP2024 2024-09-02 11:13:22 +00:00
8413a6df05 add Reviews
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-09-02 10:28:51 +00:00
b87b8cde39 Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ
7e2e0d916f Add Reviews of ESOP submission
Compare 2 commits »
stan pushed to symposium at stan/WLP2024 2024-08-30 07:08:24 +00:00
f93914185c Subst rules have to replace Types too
stan pushed to symposium at stan/WLP2024 2024-08-27 15:47:30 +00:00
9dfef9db26 Fix match rule
stan pushed to master at stan/WildFJ-Typeinference 2024-08-15 15:03:28 +00:00
a2417d277a Change extends Relation
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-08-15 15:02:49 +00:00
2c4e84aea3 Comment
stan pushed to newConstraints at JavaTX/JavaCompilerCore 2024-08-15 13:26:16 +00:00
4085c62231 Remove --enable-preview from pom.xml
8421023ea8 Set to Java 21
Compare 2 commits »
stan pushed to master at stan/WildFJ-Typeinference 2024-08-10 08:13:40 +00:00
e71e5001fe Fixes and add Same rule
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-08-09 21:35:49 +00:00
b50a6a93a2 Adding to Soundness proof: Adding the old Unify-Soundness. Start writing lemmas to proof free variables cannot travel out of the scope of a let statement. They can only travel one hop at a time -> cant go through normal type placeholders
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-08-09 14:20:17 +00:00
a41b298566 Add New-Cons
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-08-08 20:46:27 +00:00
563690dced Start Constraint generation using implication rules
stan pushed to newConstraints at JavaTX/JavaCompilerCore 2024-08-08 10:32:34 +00:00
852659dce6 Set Java Version to 21
stan created branch aspGen in JavaTX/JavaCompilerCore 2024-08-07 13:10:10 +00:00
stan pushed to aspGen at JavaTX/JavaCompilerCore 2024-08-07 13:10:10 +00:00
9c2c6a3ea9 Alter OL Test
a7ad4fa984 Add OrCOnsTest
fcda301b1e Hack in ASP-Constraint generation for WLP2024 paper Prototype Test
2aa3997f17 Readme
7e37497740 Start ASP Gen after Constraint Generateion
Compare 5 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-08-04 20:06:04 +00:00
eb05d04ae8 Fix
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-08-01 23:10:52 +00:00
454cbab6db Start variables keep in scope lemma
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-30 10:03:18 +00:00
550bc384e5 Work on Soundness
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-29 12:09:08 +00:00
c75f0c1ace Rebuttal
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-25 23:31:20 +00:00
01a9165a9e Big Cleanup (delete comments in soundness proof