JanUlrich
|
ed58017551
|
Wildcard placeholders
|
2024-04-04 14:38:16 +02:00 |
|
JanUlrich
|
0c89f28b18
|
Comments
|
2024-04-03 21:01:32 +02:00 |
|
JanUlrich
|
41a01d3abc
|
Fix S-Exists
|
2024-04-03 21:01:21 +02:00 |
|
JanUlrich
|
e562c65774
|
Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ
|
2024-04-03 15:54:24 +02:00 |
|
JanUlrich
|
21328a3d05
|
Unify
|
2024-04-03 15:54:08 +02:00 |
|
Andreas Stadelmeier
|
a151415950
|
SameW rule soundness
|
2024-04-03 00:45:51 +02:00 |
|
Andreas Stadelmeier
|
87f413241a
|
Add ANF transformation. Define LetFJ. Change Constraint generation. Cleanup old explanation of Capture conversion. Add example to Constraint generation
|
2024-03-30 00:07:26 +01:00 |
|
Andreas Stadelmeier
|
7b86dc0cf3
|
Add ANF transformation. Change syntax of TamedFJ. Restructure Unify description. Some fixes in Unify
|
2024-03-28 03:40:39 +01:00 |
|
Andreas Stadelmeier
|
495e37b370
|
Fix Type Substitution
|
2024-03-27 14:12:50 +01:00 |
|
Andreas Stadelmeier
|
cec613b875
|
Fix
|
2024-03-27 01:55:19 +01:00 |
|
Andreas Stadelmeier
|
032baaacb8
|
Cleanup Unify. Add explanation to adopt rule and add lessdot markers
|
2024-03-27 01:54:08 +01:00 |
|
Andreas Stadelmeier
|
e93a762441
|
Add Wildcard Environment to intro Unify example
|
2024-03-27 01:53:23 +01:00 |
|
Andreas Stadelmeier
|
9556f1521e
|
Cleanup. Define mutual subtyping as equality
|
2024-03-26 15:41:48 +01:00 |
|
Andreas Stadelmeier
|
e40693a7de
|
Remove comments (cleanup). Add Clear and Exclude rules. Change Unify Soundness premise
|
2024-03-25 19:12:35 +01:00 |
|
Andreas Stadelmeier
|
f2002ea833
|
Add GenDelta for WTVS. Restructure step 2. Comment out old version
|
2024-03-25 14:09:46 +01:00 |
|
Andreas Stadelmeier
|
17559170d0
|
LessDotCC constraints stay preserved
|
2024-03-19 20:52:04 +01:00 |
|
Andreas Stadelmeier
|
e9f86ffda3
|
Add A-Normal Form transform
|
2024-03-18 14:57:56 +01:00 |
|
JanUlrich
|
e7b6786f08
|
Add Syntax and type rules for a normal form
|
2024-03-15 17:37:58 +01:00 |
|
Andreas Stadelmeier
|
03a7420348
|
Fix and comment
|
2024-03-13 18:51:44 +01:00 |
|
Andreas Stadelmeier
|
ad34a5dd00
|
gitignore
|
2024-03-13 00:37:23 +01:00 |
|
Andreas Stadelmeier
|
c7212cd7c6
|
Introduce new challenge (principal type). Restructure and remove some parts.
|
2024-03-13 00:30:16 +01:00 |
|
JanUlrich
|
9a7195d261
|
Add reference
|
2024-03-11 18:02:44 +01:00 |
|
JanUlrich
|
0560611304
|
Add Example infinite types
|
2024-03-11 18:02:31 +01:00 |
|
Andreas Stadelmeier
|
f6cb46af4a
|
Recap
|
2024-03-11 13:17:41 +01:00 |
|
Andreas Stadelmeier
|
9daf5ce8ef
|
Fix
|
2024-03-07 10:00:10 +01:00 |
|
Andreas Stadelmeier
|
5055364de5
|
Add Recap in introduction
|
2024-03-07 03:32:56 +01:00 |
|
JanUlrich
|
b1ce0f771b
|
Comments to TI Capture Conversion
|
2024-03-06 19:28:33 +01:00 |
|
Andreas Stadelmeier
|
903b2405b1
|
Add T-Elvis rule
|
2024-03-06 16:08:12 +01:00 |
|
Andreas Stadelmeier
|
323f2c0163
|
Fix T-Class method env
|
2024-03-06 14:20:17 +01:00 |
|
JanUlrich
|
ecd2975129
|
Add to constraints intro
|
2024-03-06 09:36:36 +01:00 |
|
Andreas Stadelmeier
|
e49b87b549
|
Fix input syntax
|
2024-03-06 00:37:03 +01:00 |
|
Andreas Stadelmeier
|
4547fbab40
|
add shuffle example to wildcard introduction
|
2024-03-06 00:33:54 +01:00 |
|
Andreas Stadelmeier
|
cbba453a73
|
Cleanup and remove capture conversion chapter
|
2024-03-05 18:31:50 +01:00 |
|
Andreas Stadelmeier
|
e15d61cdae
|
Add Global Type Inference introduction
|
2024-03-05 17:12:56 +01:00 |
|
Andreas Stadelmeier
|
3904304a1d
|
Cleanup
|
2024-03-04 16:51:20 +01:00 |
|
Andreas Stadelmeier
|
4eb7b1ce19
|
🛠 work in progress
|
2024-03-04 15:37:21 +01:00 |
|
Andreas Stadelmeier
|
70131d064d
|
🛠 work in progress sync 🛠
|
2024-02-28 17:53:12 +01:00 |
|
Andreas Stadelmeier
|
56b2cddf18
|
🛠 work in progress sync 🛠
|
2024-02-28 17:51:41 +01:00 |
|
Andreas Stadelmeier
|
804a891af7
|
🛠 work in progress sync 🛠
|
2024-02-28 02:22:33 +01:00 |
|
Andreas Stadelmeier
|
132f34e2b9
|
Fix S-Extends
|
2024-02-22 17:38:44 +01:00 |
|
Andreas Stadelmeier
|
a3d92c2b1d
|
Same parameter length for TypeExpr method invocation
|
2024-02-19 18:53:41 +01:00 |
|
Andreas Stadelmeier
|
1f2acff7f7
|
Add LessdotCC introduction
|
2024-02-14 19:19:03 +01:00 |
|
JanUlrich
|
b87fa9a048
|
intro comment
|
2024-02-14 15:44:46 +01:00 |
|
Andreas Stadelmeier
|
4a0c6e5e02
|
Fix
|
2024-02-14 14:00:37 +01:00 |
|
JanUlrich
|
3398cccd96
|
Move Crunch
|
2024-02-14 05:32:47 +01:00 |
|
Andreas Stadelmeier
|
eab6907624
|
Fix
|
2024-02-14 02:24:27 +01:00 |
|
Andreas Stadelmeier
|
e598170ab3
|
Add SameW and GeneralW
|
2024-02-14 02:23:30 +01:00 |
|
Andreas Stadelmeier
|
c880503ba5
|
Work in Progress
|
2024-02-14 01:56:35 +01:00 |
|
Andreas Stadelmeier
|
34530270c6
|
Add ntv to syntax
|
2024-02-13 21:05:29 +01:00 |
|
Andreas Stadelmeier
|
8b44a5bf5a
|
Remove Normalize rule
|
2024-02-13 19:14:10 +01:00 |
|