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 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

stan created branch master in stan/Ecoop2024_TIforWildFJ 2023-12-27 13:31:39 +00:00

stan pushed to master at stan/Ecoop2024_TIforWildFJ 2023-12-27 13:31:39 +00:00

8f3d49d70f Initial commit. Applying LipICS style to wildcard paper

stan created repository stan/Ecoop2024_TIforWildFJ 2023-12-27 13:31:20 +00:00

stan pushed to main at stan/Gaming_Repository 2023-12-05 17:48:33 +00:00

eefe942314 Adding fancy output ♕

stan created repository stan/Gaming_Repository 2023-12-05 17:47:34 +00:00

stan pushed to main at stan/AdventOfCode 2023-12-03 19:07:11 +00:00

42d8189f35 Add Link to AoC

stan pushed to main at stan/AdventOfCode 2023-12-03 19:04:16 +00:00

4413165e30 Add info, rephrase

stan created branch main in stan/AdventOfCode 2023-12-03 18:59:35 +00:00

stan pushed to main at stan/AdventOfCode 2023-12-03 18:59:35 +00:00

5e4c23281a Initialize Project and add Solution for day 1 part 1

stan created repository stan/AdventOfCode 2023-12-03 18:00:36 +00:00

stan commented on issue JavaTX/JavaCompilerCore#113 2023-10-30 12:11:25 +00:00

Bytecode für Lambda-Audrücke als implementierung der Functional Interface funktioniert nicht

Ist es nicht so, dass es generell das Problem gibt, dass Fun0 kein Subtyp von Runnable ist?

Also das ist eine Einschränkung im Typinferenzalgorithmus. Man müsste für funktionale Interf…

stan commented on issue JavaTX/JavaCompilerCore#220 2023-08-01 14:51:52 +00:00

Generics werden aus .class-Files nicht übernommen

Konnte den Fehler leider nicht nachstellen. Meine Herangehensweise

1. Parser generieren mit antlr: $ mvn antlr4:antlr4
2. Die Pair.java Datei mit javac (version 19.0.2) kompilieren
3. test() …

stan commented on issue JavaTX/JavaCompilerCore#278 2023-07-04 07:34:25 +00:00

Was wird aus x <?. y

Kurze Anmerkung, hat nicht unbedingt was mit dem Bug zu tun.

Der Methodentyp: <LTB, HLG, ET> Pair<HLG, ET> m2(Pair<? extends HLG, LTB> x, ET y)

könnte doch auch vereinfacht werden zu: <LTB,…

stan commented on issue JavaTX/JavaCompilerCore#215 2023-03-20 18:11:26 +00:00

Konstruktoren werden bei class-Files nicht geladen

Fixed by 856d343ed3a4536dee77c98f48db2eb70b16eebc

@Martin, du kannst den commit in deinen Branch holen mit

git cherry-pick 856d343ed3a4536dee77c98f48db2eb70b16eebc