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-06-10 06:57:10 +00:00
d82c4d3ebf First Workin Matrix Test
stan created branch master in stan/WLP2024 2024-06-08 11:50:29 +00:00
stan pushed to master at stan/WLP2024 2024-06-08 11:50:29 +00:00
4a2f3078e6 LLNCS template
stan created repository stan/WLP2024 2024-06-08 11:50:15 +00:00
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-07 09:16:51 +00:00
536fe9239e Fix
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-07 08:51:54 +00:00
2b7b17060a Implement Parser
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-06 18:38:08 +00:00
313b021fdc Implement First Test
stan pushed to main at stan/JavaTypeUnifyASP 2024-06-05 18:03:23 +00:00
e448d19616 Add Unify ASP prototype. Start implementing tests and Constraint -> ASP Input
stan created repository stan/JavaTypeUnifyASP 2024-06-05 18:01:27 +00:00
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-06-03 23:55:58 +00:00
fb22548d38 Remove Adopt
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-31 11:52:28 +00:00
f699cc075f Final Version and Submission to ESOP Round 1
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-31 09:49:53 +00:00
0e157cf427 Fix Related Work. Adapt Soundness proof
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-30 22:10:28 +00:00
c86dc891f3 Cleanup, Fixes and Restructuring
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-28 21:07:03 +00:00
1ee343b87e Cleanup challenge 3
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-28 14:15:26 +00:00
c714d49677 Intro to Challenges
fe64b87d09 Fix Titlepage
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-27 22:44:11 +00:00
583b4acd5c Restructure Unify
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-27 21:22:43 +00:00
3dbdce8e29 Fix TamedFJ introduction
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-27 16:23:50 +00:00
49368e0d0e FIx
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-27 16:23:13 +00:00
cff2a97b2f FIx
e5f577f577 Rephrase TamedFJ intro
Compare 2 commits »
stan pushed to master at stan/Ecoop2024_TIforWildFJ 2024-05-27 16:22:22 +00:00
a41802301e Rephrase TamedFJ intro