stan/Ecoop2024_TIforWildFJ
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • b87b8cde39 Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ master Andreas Stadelmeier 2024-09-02 12:28:45 +0200
  • 7e2e0d916f Add Reviews of ESOP submission Andreas Stadelmeier 2024-09-02 12:28:25 +0200
  • 2c4e84aea3 Comment Andreas Stadelmeier 2024-08-15 15:13:17 +0200
  • 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 Andreas Stadelmeier 2024-08-09 23:35:36 +0200
  • a41b298566 Add New-Cons Andreas Stadelmeier 2024-08-09 16:20:09 +0200
  • 563690dced Start Constraint generation using implication rules Andreas Stadelmeier 2024-08-08 22:46:19 +0200
  • eb05d04ae8 Fix JanUlrich 2024-08-04 22:06:02 +0200
  • 454cbab6db Start variables keep in scope lemma Andreas Stadelmeier 2024-08-02 01:10:46 +0200
  • 550bc384e5 Work on Soundness Andreas Stadelmeier 2024-07-30 12:03:37 +0200
  • c75f0c1ace Rebuttal Andreas Stadelmeier 2024-07-29 14:09:22 +0200
  • 01a9165a9e Big Cleanup (delete comments in soundness proof Andreas Stadelmeier 2024-07-26 01:31:15 +0200
  • 5e8a961e77 Soundness JanUlrich 2024-07-25 10:36:53 +0200
  • a98c4b0486 Soundness e.f WIP JanUlrich 2024-07-24 21:24:11 +0200
  • 3548db28ba Soundness e.f Andreas Stadelmeier 2024-07-24 15:48:59 +0200
  • a44568f789 Combine let and field access in soundness proof JanUlrich 2024-07-24 10:16:30 +0200
  • df24f3fd2f Soundness proof rework WIP Andreas Stadelmeier 2024-07-24 00:38:29 +0200
  • 0c260eef12 Start with cctv and soundness proof cctv JanUlrich 2024-07-23 10:47:20 +0200
  • 2b57b092be Fixes for Soundness Proof. Start with Capture Conversion at Subst-Step and introduce ccTVs Andreas Stadelmeier 2024-07-17 16:15:24 +0200
  • fb22548d38 Remove Adopt Andreas Stadelmeier 2024-06-04 01:55:48 +0200
  • f699cc075f Final Version and Submission to ESOP Round 1 Andreas Stadelmeier 2024-05-31 13:52:18 +0200
  • 0e157cf427 Fix Related Work. Adapt Soundness proof Andreas Stadelmeier 2024-05-31 11:49:44 +0200
  • c86dc891f3 Cleanup, Fixes and Restructuring Andreas Stadelmeier 2024-05-31 00:10:22 +0200
  • 7e1ef7b3c1 intro Peter Thiemann 2024-05-29 14:31:13 +0200
  • 8b0e77cf50 cosmetics Peter Thiemann 2024-05-29 12:07:10 +0200
  • e42b0aaafe Merge branch 'master' of https://gitea.hb.dhbw-stuttgart.de/stan/Ecoop2024_TIforWildFJ Peter Thiemann 2024-05-29 11:01:32 +0200
  • 8428ebdc70 changes Peter Thiemann 2024-05-29 11:01:30 +0200
  • 1ee343b87e Cleanup challenge 3 Andreas Stadelmeier 2024-05-28 23:06:58 +0200
  • d2f58b2489 intro Peter Thiemann 2024-05-28 18:21:37 +0200
  • c714d49677 Intro to Challenges Andreas Stadelmeier 2024-05-28 16:15:22 +0200
  • fe64b87d09 Fix Titlepage Andreas Stadelmeier 2024-05-28 16:15:10 +0200
  • 583b4acd5c Restructure Unify Andreas Stadelmeier 2024-05-28 00:44:06 +0200
  • 3dbdce8e29 Fix TamedFJ introduction Andreas Stadelmeier 2024-05-27 23:22:38 +0200
  • 49368e0d0e FIx Andreas Stadelmeier 2024-05-27 18:23:09 +0200
  • e5f577f577 Rephrase TamedFJ intro Andreas Stadelmeier 2024-05-27 18:22:17 +0200
  • a41802301e Rephrase TamedFJ intro Andreas Stadelmeier 2024-05-27 18:22:17 +0200
  • 42d8afce35 Restructure and Cleanup Unify lncs JanUlrich 2024-05-27 16:07:24 +0200
  • 0f1e7d0199 Let statement and capture conversion introduction JanUlrich 2024-05-27 02:57:15 +0200
  • 4c67504ba1 Restructure. Add to Introduction and cleanup JanUlrich 2024-05-24 22:25:31 +0200
  • 9f088eb29d Global Type Inference Intro JanUlrich 2024-05-23 16:42:55 +0200
  • b2ca8e49df Restructure Andreas Stadelmeier 2024-05-23 14:18:50 +0200
  • 2f5aa753e0 Add 4 steps of TI introduction JanUlrich 2024-05-22 16:08:03 +0200
  • 95636f3379 Match example JanUlrich 2024-05-22 12:06:51 +0200
  • a74e20802c Cleanup. Explain \Ðelta_in Andreas Stadelmeier 2024-05-21 20:53:15 +0200
  • 04fc640903 Rework Capture COnstraints chapter Andreas Stadelmeier 2024-05-21 19:16:13 +0200
  • 6a679f8ab0 Cleanup. Change intro example JanUlrich 2024-05-17 20:28:15 +0200
  • 11dd427c3f Add Prepare explanation. Restructure JanUlrich 2024-05-17 19:18:53 +0200
  • 4890fa79c2 Change to LLNCS style JanUlrich 2024-05-17 13:30:21 +0200
  • 724f9ab328 Restructure, Add Explanation für Wildcard Reduce Rules and Unify Intro Andreas Stadelmeier 2024-05-17 11:56:35 +0200
  • ed8895f0b5 Fix Andreas Stadelmeier 2024-05-16 10:44:36 +0200
  • 1fd7c56391 Add Capture Constraint are not reflexive explanation Andreas Stadelmeier 2024-05-15 23:58:52 +0200
  • 9e0d9ddd18 Fixes and TODO Andreas Stadelmeier 2024-05-14 16:35:30 +0200
  • bdfacdf3dd Add Syntax for Constraints JanUlrich 2024-05-14 15:15:02 +0200
  • 81f44caac1 WIP Andreas Stadelmeier 2024-05-14 14:57:16 +0200
  • b1d3c4d525 Restructure challenges Andreas Stadelmeier 2024-05-14 13:32:06 +0200
  • 8c6085f3b1 Fix Andreas Stadelmeier 2024-05-14 13:31:54 +0200
  • 77f3fbedfa Cleanup and Restructure. Remove polymorphic recursion exclusion from Type Rules Andreas Stadelmeier 2024-05-13 23:58:42 +0200
  • 5f33fa4711 Cleanup and intro to Type INference Andreas Stadelmeier 2024-05-13 00:17:49 +0200
  • fc508cf331 Local vs Global TI JanUlrich 2024-05-11 09:48:04 +0200
  • 3a7c862fd2 Change Introductin Layout JanUlrich 2024-05-08 16:57:58 +0200
  • 2dae79053c Explain let JanUlrich 2024-05-07 23:49:07 +0200
  • 6c8b78914f Intro Wildcards Andreas Stadelmeier 2024-05-07 16:14:48 +0200
  • 38589f804c Typo Andreas Stadelmeier 2024-05-07 15:29:15 +0200
  • b5f7345e51 Rephrase Wildcard Intro JanUlrich 2024-05-07 11:30:45 +0200
  • b432c5b091 Add Wildcard introduction JanUlrich 2024-05-06 18:15:24 +0200
  • 5cd90a9593 Start Wildcard elimination example Andreas Stadelmeier 2024-05-06 12:11:57 +0200
  • 72dff3fa36 Finish someList example Andreas Stadelmeier 2024-05-04 13:56:55 +0200
  • 4a3e39ad9e Same rule example JanUlrich 2024-05-03 17:37:43 +0200
  • 3f490f9b6e Fix New Constraint generation JanUlrich 2024-05-03 17:37:26 +0200
  • 883969c067 Example Andreas Stadelmeier 2024-05-02 16:42:15 +0200
  • b9ef35526f Unify example JanUlrich 2024-05-02 16:14:35 +0200
  • 4ec030d731 Fix Syntax def JanUlrich 2024-05-02 16:14:00 +0200
  • 85fd47eb6a Start Wildcard creation example JanUlrich 2024-05-01 21:37:27 +0200
  • 52f1cf631f Add Challenge 4. Wildcards are not allowed to leave their scope JanUlrich 2024-04-30 16:21:20 +0200
  • 76b800d953 Add rulenameAfter command Andreas Stadelmeier 2024-04-24 17:30:15 +0200
  • 585254d814 WIP Andreas Stadelmeier 2024-04-24 08:33:58 +0200
  • 295f1ee567 Cleanup CC command Andreas Stadelmeier 2024-04-23 21:32:41 +0200
  • c42477bf8a Fix Andreas Stadelmeier 2024-04-21 13:09:13 +0200
  • 9035c5faf1 Cleanup motivation JanUlrich 2024-04-19 11:47:21 +0200
  • df22ed5cce Merge branch 'master' of ssh://gitea.hb.dhbw-stuttgart.de:2222/stan/Ecoop2024_TIforWildFJ Andreas Stadelmeier 2024-04-17 17:13:38 +0200
  • 6d594b056b Change Method declaration syntax Andreas Stadelmeier 2024-04-17 17:13:35 +0200
  • 0c51692936 Intro JanUlrich 2024-04-17 16:45:24 +0200
  • 6702d9b0cb Java local Type inference intro Andreas Stadelmeier 2024-04-17 12:59:31 +0200
  • bbe5d4f065 Fix Input/Output syntax Andreas Stadelmeier 2024-04-17 00:11:16 +0200
  • 91f42d26f6 Motivation example JanUlrich 2024-04-16 19:27:56 +0200
  • ed988fdacf Motivation: comparision to local type inference JanUlrich 2024-04-15 15:45:16 +0200
  • 4c9e639c71 modified: martin.bib pl@gohorb.ba-horb.de 2024-04-12 19:49:41 +0200
  • 2825f120ea modified: martin.bib modified: relatedwork.tex pl@gohorb.ba-horb.de 2024-04-12 19:42:11 +0200
  • 4ef46f3273 modified: martin.bib pl@gohorb.ba-horb.de 2024-04-12 01:09:40 +0200
  • 75dc20366d modified: TIforWildFJ.tex modified: martin.bib modified: prolog.tex new file: relatedwork.tex pl@gohorb.ba-horb.de 2024-04-12 00:25:47 +0200
  • f5ddc65497 Motivationsbeispiel JanUlrich 2024-04-11 18:02:25 +0200
  • 5bcffb7d70 Add TODO. Fix introduction example (WIP). Add explanation to UNify (WIP) Andreas Stadelmeier 2024-04-11 13:18:54 +0200
  • 24cfd8cb75 Rephrase Triple example Andreas Stadelmeier 2024-04-10 17:40:49 +0200
  • b78594cf39 Triple example JanUlrich 2024-04-10 15:35:27 +0200
  • 9285f7b394 example Pair and Triple Andreas Stadelmeier 2024-04-10 12:59:43 +0200
  • b577881d92 Pair example JanUlrich 2024-04-10 11:27:53 +0200
  • 3a9f2d3e16 Remove Same rule. SameW rule is for both constraints Andreas Stadelmeier 2024-04-10 01:16:24 +0200
  • 4b183937f5 Comments JanUlrich 2024-04-08 22:51:06 +0200
  • 079bb914e4 Explain let scoping in unify JanUlrich 2024-04-08 21:45:54 +0200
  • 5718c42e28 Change principal type problem in introduction JanUlrich 2024-04-08 21:45:29 +0200
  • 2b41b56498 COmments and Flatten rule. Description for step 3 Andreas Stadelmeier 2024-04-07 19:52:39 +0200