Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

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