Commit Graph

22 Commits

Author SHA1 Message Date
Andreas Stadelmeier
a2417d277a Change extends Relation 2024-08-15 17:03:27 +02:00
Andreas Stadelmeier
e71e5001fe Fixes and add Same rule 2024-08-10 10:13:34 +02:00
Andreas Stadelmeier
990dbdf21c Rename Test 2024-05-06 12:12:32 +02:00
Andreas Stadelmeier
a000b0b13b Rules 2024-04-10 01:14:59 +02:00
Andreas Stadelmeier
931b65fa14 Fix Lower rule. Include WTVs on left side aswell 2024-04-01 17:04:59 +02:00
Andreas Stadelmeier
059217974d Fixes. Match Test runs now 2024-03-27 19:50:02 +01:00
Andreas Stadelmeier
6538be956f Fix Substitution for Wildcard types 2024-03-27 14:07:01 +01:00
Andreas Stadelmeier
31349bbda8 Add GenDelta, AddSigma 2024-03-25 00:07:57 +01:00
Andreas Stadelmeier
9bea1b1eeb Work in Prograss. Added step2 2024-03-24 00:04:37 +01:00
Andreas Stadelmeier
ae933b05c1 Add Lessdot Crunch, finish normal transform rules 2024-03-20 21:40:45 +01:00
Andreas Stadelmeier
7df80a1c18 add Crunch rule 2024-03-20 16:51:48 +01:00
JanUlrich
5625583309 Add Trim and Adopt rules 2024-03-20 16:05:30 +01:00
JanUlrich
255397f6d6 Add Reduce rule. Add substitute to Type. Change map of WildcardEnvironment 2024-03-20 01:46:01 +01:00
Andreas Stadelmeier
691eda51a2 Start LessDot-Rules 2024-03-19 20:52:38 +01:00
Andreas Stadelmeier
1b3f3f4b8c Exchange if-else with match-case 2024-02-14 19:19:33 +01:00
JanUlrich
0181ab942a add swap 2024-02-14 05:33:26 +01:00
Andreas Stadelmeier
66a3ca7b91 Implement Subst, Remove, Subst-WC 2024-02-14 02:41:00 +01:00
Andreas Stadelmeier
1e9db6fdfd merge 2024-02-13 22:25:43 +01:00
Andreas Stadelmeier
f31f96adde WildcardEnvironment map. Add subst rule 2024-02-13 22:24:52 +01:00
JanUlrich
0664440695 Add Equals rule 2024-02-08 17:20:22 +01:00
JanUlrich
e299fd681a Add ExtendsRelations. Add Types, Constraints and Rules object. Work in progress 2024-02-05 19:20:22 +01:00
Andreas Stadelmeier
7424ec4289 INitial commit. Work in Progress 2024-02-05 14:56:16 +01:00