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-27 19:52:40 +00:00

2827098a27 Change super to subtype in ASP generation

stan pushed to master at stan/WLP2024 2024-06-27 14:54:22 +00:00

e0a531a3a7 Add Matrix exampel

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-22 22:45:53 +00:00

cd017ba665 Fix Constraint Set Grammar. Add Or Constraint Test

stan pushed to master at stan/WLP2024 2024-06-21 01:32:16 +00:00

eb2ae1eb34 Fix

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-21 00:33:20 +00:00

2cf39b3b8c Change ASP Generator and add Solution Parser

stan pushed to master at stan/WLP2024 2024-06-19 21:16:18 +00:00

0eeb31cb67 Fixes. Finished algorithm (v1)

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-19 21:15:56 +00:00

33b4710dac New Algorithm with Matrix input

stan pushed to master at stan/WLP2024 2024-06-18 16:45:37 +00:00

6ca45c06d3 Solution gen methods. Do not generate Generics

stan pushed to main at stan/JavaTypeUnifyASP 2024-06-18 16:44:51 +00:00

cb99c79213 Start Implementation of the Algorithm described in the paper

stan pushed to master at stan/WLP2024 2024-06-15 13:36:21 +00:00

0a1644617a Add Substitution rule

stan pushed to master at stan/WLP2024 2024-06-13 15:07:11 +00:00

71ffb2c766 Var Rule Subtyping. Add Termination Theorem

stan pushed to master at stan/WLP2024 2024-06-12 12:37:40 +00:00

05260c286d Add Solution rules

stan pushed to master at stan/WLP2024 2024-06-11 22:31:41 +00:00

0678f96ef4 Add Split rules. Add Soundness, Completeness definitions

stan pushed to master at stan/WLP2024 2024-06-11 16:33:00 +00:00

837bed5752 Soundness

stan pushed to master at stan/WLP2024 2024-06-11 14:29:40 +00:00

255e3854ef Add Result rules

stan pushed to master at stan/WLP2024 2024-06-11 10:00:47 +00:00

5fc1972c41 Add Proof Environment

stan pushed to master at stan/WLP2024 2024-06-11 09:50:08 +00:00

d4040b2611 Add Subtyping rules

stan pushed to master at stan/WLP2024 2024-06-10 15:59:43 +00:00

5f549ae540 Rework Implementation rules. Add comments to Completeness

stan pushed to master at stan/WLP2024 2024-06-10 08:07:00 +00:00

4efda6cae2 Add Prolog

stan pushed to master at stan/WLP2024 2024-06-10 07:03:52 +00:00

2702bf6cab Start Implication Rules