Andreas Stadelmeier
|
b87b8cde39
|
Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ
|
2024-09-02 12:28:45 +02:00 |
|
Andreas Stadelmeier
|
7e2e0d916f
|
Add Reviews of ESOP submission
|
2024-09-02 12:28:25 +02:00 |
|
Andreas Stadelmeier
|
2c4e84aea3
|
Comment
|
2024-08-15 15:13:17 +02:00 |
|
Andreas Stadelmeier
|
b50a6a93a2
|
Adding to Soundness proof: Adding the old Unify-Soundness. Start writing lemmas to proof free variables cannot travel out of the scope of a let statement. They can only travel one hop at a time -> cant go through normal type placeholders
|
2024-08-09 23:35:36 +02:00 |
|
Andreas Stadelmeier
|
a41b298566
|
Add New-Cons
|
2024-08-09 16:20:09 +02:00 |
|
Andreas Stadelmeier
|
563690dced
|
Start Constraint generation using implication rules
|
2024-08-08 22:46:19 +02:00 |
|
JanUlrich
|
eb05d04ae8
|
Fix
|
2024-08-04 22:06:02 +02:00 |
|
Andreas Stadelmeier
|
454cbab6db
|
Start variables keep in scope lemma
|
2024-08-02 01:10:46 +02:00 |
|
Andreas Stadelmeier
|
550bc384e5
|
Work on Soundness
|
2024-07-30 12:03:37 +02:00 |
|
Andreas Stadelmeier
|
c75f0c1ace
|
Rebuttal
|
2024-07-29 14:09:22 +02:00 |
|
Andreas Stadelmeier
|
01a9165a9e
|
Big Cleanup (delete comments in soundness proof
|
2024-07-26 01:31:15 +02:00 |
|
JanUlrich
|
5e8a961e77
|
Soundness
|
2024-07-25 10:36:53 +02:00 |
|
JanUlrich
|
a98c4b0486
|
Soundness e.f WIP
|
2024-07-24 21:24:11 +02:00 |
|
Andreas Stadelmeier
|
3548db28ba
|
Soundness e.f
|
2024-07-24 15:48:59 +02:00 |
|
JanUlrich
|
a44568f789
|
Combine let and field access in soundness proof
|
2024-07-24 10:16:30 +02:00 |
|
Andreas Stadelmeier
|
df24f3fd2f
|
Soundness proof rework WIP
|
2024-07-24 00:38:29 +02:00 |
|
Andreas Stadelmeier
|
2b57b092be
|
Fixes for Soundness Proof. Start with Capture Conversion at Subst-Step and introduce ccTVs
|
2024-07-17 16:15:24 +02:00 |
|
Andreas Stadelmeier
|
fb22548d38
|
Remove Adopt
|
2024-06-04 01:55:48 +02:00 |
|
Andreas Stadelmeier
|
f699cc075f
|
Final Version and Submission to ESOP Round 1
|
2024-05-31 13:52:18 +02:00 |
|
Andreas Stadelmeier
|
0e157cf427
|
Fix Related Work. Adapt Soundness proof
|
2024-05-31 11:49:44 +02:00 |
|
Andreas Stadelmeier
|
c86dc891f3
|
Cleanup, Fixes and Restructuring
|
2024-05-31 00:10:22 +02:00 |
|
Peter Thiemann
|
7e1ef7b3c1
|
intro
|
2024-05-29 14:31:13 +02:00 |
|
Peter Thiemann
|
8b0e77cf50
|
cosmetics
|
2024-05-29 12:07:10 +02:00 |
|
Peter Thiemann
|
e42b0aaafe
|
Merge branch 'master' of https://gitea.hb.dhbw-stuttgart.de/stan/Ecoop2024_TIforWildFJ
|
2024-05-29 11:01:32 +02:00 |
|
Peter Thiemann
|
8428ebdc70
|
changes
|
2024-05-29 11:01:30 +02:00 |
|
Andreas Stadelmeier
|
1ee343b87e
|
Cleanup challenge 3
|
2024-05-28 23:06:58 +02:00 |
|
Peter Thiemann
|
d2f58b2489
|
intro
|
2024-05-28 18:21:37 +02:00 |
|
Andreas Stadelmeier
|
c714d49677
|
Intro to Challenges
|
2024-05-28 16:15:22 +02:00 |
|
Andreas Stadelmeier
|
fe64b87d09
|
Fix Titlepage
|
2024-05-28 16:15:10 +02:00 |
|
Andreas Stadelmeier
|
583b4acd5c
|
Restructure Unify
|
2024-05-28 00:44:06 +02:00 |
|
Andreas Stadelmeier
|
3dbdce8e29
|
Fix TamedFJ introduction
|
2024-05-27 23:22:38 +02:00 |
|
Andreas Stadelmeier
|
49368e0d0e
|
FIx
|
2024-05-27 18:23:44 +02:00 |
|
Andreas Stadelmeier
|
e5f577f577
|
Rephrase TamedFJ intro
|
2024-05-27 18:22:39 +02:00 |
|
Andreas Stadelmeier
|
a41802301e
|
Rephrase TamedFJ intro
|
2024-05-27 18:22:17 +02:00 |
|
JanUlrich
|
42d8afce35
|
Restructure and Cleanup Unify
|
2024-05-27 16:07:24 +02:00 |
|
JanUlrich
|
0f1e7d0199
|
Let statement and capture conversion introduction
|
2024-05-27 02:57:15 +02:00 |
|
JanUlrich
|
4c67504ba1
|
Restructure. Add to Introduction and cleanup
|
2024-05-24 22:25:31 +02:00 |
|
JanUlrich
|
9f088eb29d
|
Global Type Inference Intro
|
2024-05-23 16:45:40 +02:00 |
|
Andreas Stadelmeier
|
b2ca8e49df
|
Restructure
|
2024-05-23 14:18:50 +02:00 |
|
JanUlrich
|
2f5aa753e0
|
Add 4 steps of TI introduction
|
2024-05-22 16:08:03 +02:00 |
|
JanUlrich
|
95636f3379
|
Match example
|
2024-05-22 12:06:51 +02:00 |
|
Andreas Stadelmeier
|
a74e20802c
|
Cleanup. Explain \Ðelta_in
|
2024-05-21 20:53:15 +02:00 |
|
Andreas Stadelmeier
|
04fc640903
|
Rework Capture COnstraints chapter
|
2024-05-21 19:16:13 +02:00 |
|
JanUlrich
|
6a679f8ab0
|
Cleanup. Change intro example
|
2024-05-17 20:28:15 +02:00 |
|
JanUlrich
|
11dd427c3f
|
Add Prepare explanation. Restructure
|
2024-05-17 19:18:53 +02:00 |
|
JanUlrich
|
4890fa79c2
|
Change to LLNCS style
|
2024-05-17 13:30:21 +02:00 |
|
Andreas Stadelmeier
|
724f9ab328
|
Restructure, Add Explanation für Wildcard Reduce Rules and Unify Intro
|
2024-05-17 11:56:35 +02:00 |
|
Andreas Stadelmeier
|
ed8895f0b5
|
Fix
|
2024-05-16 10:44:36 +02:00 |
|
Andreas Stadelmeier
|
1fd7c56391
|
Add Capture Constraint are not reflexive explanation
|
2024-05-15 23:59:04 +02:00 |
|
Andreas Stadelmeier
|
9e0d9ddd18
|
Fixes and TODO
|
2024-05-14 16:35:30 +02:00 |
|