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-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
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-25 08:36:58 +00:00
5e8a961e77 Soundness
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-24 19:24:16 +00:00
a98c4b0486 Soundness e.f WIP
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-24 13:49:03 +00:00
3548db28ba Soundness e.f
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-24 08:16:36 +00:00
a44568f789 Combine let and field access in soundness proof
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-07-23 22:38:39 +00:00
df24f3fd2f Soundness proof rework WIP
stan created branch cctv in stan/Ecoop2024_TIforWildFJ 2024-07-23 08:47:28 +00:00