@effekt-lang/effekt 0.3.0 → 0.4.0

package/libraries/llvm/main.c

@@ -38,4 +38,7 @@ int main(int argc, char *argv[]) {
     program_argc = argc;
     program_argv = argv;
     effektMain();
+    uv_loop_t *loop = uv_default_loop();
+    uv_run(loop, UV_RUN_DEFAULT);
+    uv_loop_close(loop);
 }

package/libraries/llvm/rts.ll

@@ -110,19 +110,23 @@ declare ptr @realloc(ptr, i64)
 declare void @memcpy(ptr, ptr, i64)
 declare i64 @llvm.ctlz.i64 (i64 , i1)
 declare i64 @llvm.fshr.i64(i64, i64, i64)
+declare double @llvm.sqrt.f64(double)
+declare double @llvm.round.f64(double)
+declare double @llvm.ceil.f64(double)
+declare double @llvm.floor.f64(double)
 declare void @print(i64)
 declare void @exit(i64)
 
 
 ; Prompts
 
-define %Prompt @currentPrompt(%Stack %stack) {
+define private %Prompt @currentPrompt(%Stack %stack) {
     %prompt_pointer = getelementptr %StackValue, ptr %stack, i64 0, i32 3
     %prompt = load %Prompt, ptr %prompt_pointer
     ret %Prompt %prompt
 }
 
-define %Prompt @freshPrompt() {
+define private %Prompt @freshPrompt() {
     %currentPrompt = load %Prompt, ptr @lastPrompt
     %newPrompt = add %Prompt %currentPrompt, 1
     store %Prompt %newPrompt, ptr @lastPrompt
@@ -131,7 +135,7 @@ define %Prompt @freshPrompt() {
 
 ; Garbage collection
 
-define %Object @newObject(%Eraser %eraser, i64 %environmentSize) alwaysinline {
+define private %Object @newObject(%Eraser %eraser, i64 %environmentSize) alwaysinline {
     ; This magical 16 is the size of the object header
     %size = add i64 %environmentSize, 16
     %object = call ptr @malloc(i64 %size)
@@ -142,13 +146,13 @@ define %Object @newObject(%Eraser %eraser, i64 %environmentSize) alwaysinline {
     ret %Object %object
 }
 
-define %Environment @objectEnvironment(%Object %object) alwaysinline {
+define private %Environment @objectEnvironment(%Object %object) alwaysinline {
     ; Environment is stored right after header
     %environment = getelementptr %Header, ptr %object, i64 1
     ret %Environment %environment
 }
 
-define void @shareObject(%Object %object) alwaysinline {
+define private void @shareObject(%Object %object) alwaysinline {
     %isNull = icmp eq %Object %object, null
     br i1 %isNull, label %done, label %next
 
@@ -175,7 +179,7 @@ define void @shareNegative(%Neg %val) alwaysinline {
     ret void
 }
 
-define void @eraseObject(%Object %object) alwaysinline {
+define private void @eraseObject(%Object %object) alwaysinline {
     %isNull = icmp eq %Object %object, null
     br i1 %isNull, label %done, label %next
 
@@ -215,7 +219,7 @@ define void @eraseNegative(%Neg %val) alwaysinline {
 
 
 ; Arena management
-define ptr @getRegionPointer(%Prompt %prompt, %Stack %stack) {
+define private ptr @getRegionPointer(%Prompt %prompt, %Stack %stack) {
 entry:
     %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
     %currentPrompt = load %Prompt, ptr %prompt_pointer
@@ -233,7 +237,7 @@ found:
     ret ptr %stackRegion
 }
 
-define { ptr, %Reference } @alloc(i64 %index, %Prompt %prompt, %Stack %stack) alwaysinline {
+define private { ptr, %Reference } @alloc(i64 %index, %Prompt %prompt, %Stack %stack) alwaysinline {
     %region_pointer = call ptr @getRegionPointer(%Prompt %prompt, %Stack %stack)
 
     %stackPointer_pointer = getelementptr %Region, ptr %region_pointer, i64 0, i64 %index, i32 0
@@ -295,7 +299,7 @@ realloc:
 }
 
 
-define ptr @getPointer(%Reference %reference, i64 %index, %Stack %stack) {
+define private ptr @getPointer(%Reference %reference, i64 %index, %Stack %stack) {
     %prompt32 = extractvalue %Reference %reference, 0
     %offset32 = extractvalue %Reference %reference, 1
     %prompt = zext i32 %prompt32 to i64
@@ -308,7 +312,7 @@ define ptr @getPointer(%Reference %reference, i64 %index, %Stack %stack) {
     ret ptr %pointer
 }
 
-define %Stack @getStack(%Stack %stack, %Prompt %prompt) {
+define private %Stack @getStack(%Stack %stack, %Prompt %prompt) {
     %promptPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
     %thisPrompt = load %Prompt, ptr %promptPointer
     %found = icmp eq %Prompt %prompt, %thisPrompt
@@ -324,7 +328,7 @@ recurse:
     ret %Stack %result
 }
 
-define ptr @getVarPointer(%Reference %reference, %Stack %stack) {
+define private ptr @getVarPointer(%Reference %reference, %Stack %stack) {
     %prompt32 = extractvalue %Reference %reference, 0
     %offset32 = extractvalue %Reference %reference, 1
     %prompt = zext i32 %prompt32 to i64
@@ -337,7 +341,7 @@ define ptr @getVarPointer(%Reference %reference, %Stack %stack) {
     ret ptr %varPointer
 }
 
-define %Reference @newReference(%Stack %stack) alwaysinline {
+define private %Reference @newReference(%Stack %stack) alwaysinline {
     %stackPointerPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
     %basePointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 1
 
@@ -361,7 +365,7 @@ define %Reference @newReference(%Stack %stack) alwaysinline {
 
 ; Stack management
 
-define %StackPointer @stackAllocate(%Stack %stack, i64 %n) {
+define private %StackPointer @stackAllocate(%Stack %stack, i64 %n) {
     %stackStackPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
     %stackPointer = load %StackPointer, ptr %stackStackPointer
 
@@ -370,7 +374,7 @@ define %StackPointer @stackAllocate(%Stack %stack, i64 %n) {
     ret %StackPointer %stackPointer
 }
 
-define %StackPointer @stackDeallocate(%Stack %stack, i64 %n) {
+define private %StackPointer @stackDeallocate(%Stack %stack, i64 %n) {
     %stackStackPointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 1, i32 0
     %stackPointer = load %StackPointer, ptr %stackStackPointer
 
@@ -383,7 +387,7 @@ define %StackPointer @stackDeallocate(%Stack %stack, i64 %n) {
 
 ; Meta-stack management
 
-define %Memory @newMemory() {
+define private %Memory @newMemory() {
     %stackPointer = call %StackPointer @malloc(i64 268435456)
     %limit = getelementptr i8, ptr %stackPointer, i64 268435456
 
@@ -394,7 +398,7 @@ define %Memory @newMemory() {
     ret %Memory %memory.2
 }
 
-define %Stack @newStack(%Prompt %prompt) {
+define private %Stack @newStack(%Prompt %prompt) {
 
     ; TODO find actual size of stack
     %stack = call ptr @malloc(i64 120)
@@ -413,7 +417,7 @@ define %Stack @newStack(%Prompt %prompt) {
     ret %Stack %stack
 }
 
-define void @pushStack(%Stack %stack, %Stack %oldStack) {
+define private void @pushStack(%Stack %stack, %Stack %oldStack) {
     %stackRest = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
     %rest = load %Stack, ptr %stackRest
     %isNull = icmp eq %Stack %rest, null
@@ -428,7 +432,7 @@ next:
     ret void
 }
 
-define %Stack @popStacks(%Stack %stack, %Prompt %prompt) {
+define private %Stack @popStacks(%Stack %stack, %Prompt %prompt) {
 entry:
     %prompt_pointer = getelementptr %StackValue, %Stack %stack, i64 0, i32 3
     %currentPrompt = load %Prompt, ptr %prompt_pointer
@@ -448,13 +452,13 @@ found:
     ret %Stack %nextStack2
 }
 
-define void @eraseMemory(%Memory %memory) {
+define private void @eraseMemory(%Memory %memory) {
     %stackPointer = extractvalue %Memory %memory, 0
     call void @free(%StackPointer %stackPointer)
     ret void
 }
 
-define void @forEachObject(ptr %elementPointer, ptr %end, ptr %f) alwaysinline {
+define private void @forEachObject(ptr %elementPointer, ptr %end, ptr %f) alwaysinline {
     %done = icmp uge ptr %elementPointer, %end
     br i1 %done, label %return, label %erase
 
@@ -470,7 +474,7 @@ return:
     ret void
 }
 
-define void @eraseRegion(%Region %region) alwaysinline {
+define private void @eraseRegion(%Region %region) alwaysinline {
     %valuesBase = extractvalue %Region %region, 0, 1
     call void @free(%Base %valuesBase)
 
@@ -487,7 +491,7 @@ define void @eraseRegion(%Region %region) alwaysinline {
     ret void
 }
 
-define %Stack @underflowStack(%Stack %stack) {
+define private %Stack @underflowStack(%Stack %stack) {
     %stackMemory = getelementptr %StackValue, %Stack %stack, i64 0, i32 1
     %stackRegion = getelementptr %StackValue, %Stack %stack, i64 0, i32 2
     %stackRest = getelementptr %StackValue, %Stack %stack, i64 0, i32 4
@@ -503,7 +507,7 @@ define %Stack @underflowStack(%Stack %stack) {
     ret %Stack %rest
 }
 
-define %Memory @copyMemory(%Memory %memory) alwaysinline {
+define private %Memory @copyMemory(%Memory %memory) alwaysinline {
     %stackPointer = extractvalue %Memory %memory, 0
     %base = extractvalue %Memory %memory, 1
     %limit = extractvalue %Memory %memory, 2
@@ -530,7 +534,7 @@ define %Memory @copyMemory(%Memory %memory) alwaysinline {
     ret %Memory %memory.2
 }
 
-define %Region @copyRegion(%Region %region) alwaysinline {
+define private %Region @copyRegion(%Region %region) alwaysinline {
     %memory.0 = extractvalue %Region %region, 0
     %memory.1 = extractvalue %Region %region, 1
     %memory.2 = extractvalue %Region %region, 2
@@ -554,7 +558,7 @@ define %Region @copyRegion(%Region %region) alwaysinline {
     ret %Region %region.2
 }
 
-define %Stack @uniqueStack(%Stack %stack) alwaysinline {
+define private %Stack @uniqueStack(%Stack %stack) alwaysinline {
 
 entry:
     %stackReferenceCount = getelementptr %StackValue, %Stack %stack, i64 0, i32 0
@@ -658,7 +662,7 @@ done:
     ret void
 }
 
-define void @shareFrames(%StackPointer %stackPointer) alwaysinline {
+define private void @shareFrames(%StackPointer %stackPointer) alwaysinline {
     %newStackPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 -1
     %stackSharer = getelementptr %FrameHeader, %StackPointer %newStackPointer, i64 0, i32 1
     %sharer = load %Sharer, ptr %stackSharer
@@ -666,7 +670,7 @@ define void @shareFrames(%StackPointer %stackPointer) alwaysinline {
     ret void
 }
 
-define void @eraseFrames(%StackPointer %stackPointer) alwaysinline {
+define private void @eraseFrames(%StackPointer %stackPointer) alwaysinline {
     %newStackPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 -1
     %stackEraser = getelementptr %FrameHeader, %StackPointer %newStackPointer, i64 0, i32 2
     %eraser = load %Eraser, ptr %stackEraser
@@ -676,23 +680,23 @@ define void @eraseFrames(%StackPointer %stackPointer) alwaysinline {
 
 ; RTS initialization
 
-define tailcc void @topLevel(%Pos %val, %Stack %stack) {
+define private tailcc void @topLevel(%Pos %val, %Stack %stack) {
     %rest = call %Stack @underflowStack(%Stack %stack)
     ; assert %rest == null
     ret void
 }
 
-define void @topLevelSharer(%Environment %environment) {
+define private void @topLevelSharer(%Environment %environment) {
     ; TODO this should never be called
     ret void
 }
 
-define void @topLevelEraser(%Environment %environment) {
+define private void @topLevelEraser(%Environment %environment) {
     ; TODO this should never be called
     ret void
 }
 
-define %Stack @withEmptyStack() {
+define private %Stack @withEmptyStack() {
     ; TODO all stacks share the same source of fresh prompts
     %prompt = call %Prompt @freshPrompt()
     %stack = call %Stack @newStack(%Prompt %prompt)
@@ -714,7 +718,23 @@ define %Stack @withEmptyStack() {
     ret %Stack %stack
 }
 
-define void @run_i64(%Neg %f, i64 %arg) {
+define void @resume_Int(%Stack %stack, %Int %argument) {
+    %stackPointer = call ccc %StackPointer @stackDeallocate(%Stack %stack, i64 24)
+    %returnAddressPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 0
+    %returnAddress = load %ReturnAddress, ptr %returnAddressPointer
+    tail call tailcc void %returnAddress(%Int %argument, %Stack %stack)
+    ret void
+}
+
+define void @resume_Pos(%Stack %stack, %Pos %argument) {
+    %stackPointer = call ccc %StackPointer @stackDeallocate(%Stack %stack, i64 24)
+    %returnAddressPointer = getelementptr %FrameHeader, %StackPointer %stackPointer, i64 0, i32 0
+    %returnAddress = load %ReturnAddress, ptr %returnAddressPointer
+    tail call tailcc void %returnAddress(%Pos %argument, %Stack %stack)
+    ret void
+}
+
+define void @run(%Neg %f) {
     ; fresh stack
     %stack = call %Stack @withEmptyStack()
 
@@ -725,12 +745,11 @@ define void @run_i64(%Neg %f, i64 %arg) {
     %functionPointer = load ptr, ptr %functionPointerPointer
 
     ; call
-    tail call tailcc %Pos %functionPointer(%Object %object, i64 %arg, %Stack %stack)
+    tail call tailcc %Pos %functionPointer(%Object %object, %Stack %stack)
     ret void
 }
 
-
-define void @run_Pos(%Neg %f, %Pos %arg) {
+define void @run_Int(%Neg %f, i64 %argument) {
     ; fresh stack
     %stack = call %Stack @withEmptyStack()
 
@@ -741,11 +760,11 @@ define void @run_Pos(%Neg %f, %Pos %arg) {
     %functionPointer = load ptr, ptr %functionPointerPointer
 
     ; call
-    tail call tailcc %Pos %functionPointer(%Object %object, %Pos %arg, %Stack %stack)
+    tail call tailcc %Pos %functionPointer(%Object %object, %Evidence 0, i64 %argument, %Stack %stack)
     ret void
 }
 
-define void @run(%Neg %f) {
+define void @run_Pos(%Neg %f, %Pos %argument) {
     ; fresh stack
     %stack = call %Stack @withEmptyStack()
 
@@ -756,6 +775,6 @@ define void @run(%Neg %f) {
     %functionPointer = load ptr, ptr %functionPointerPointer
 
     ; call
-    tail call tailcc %Pos %functionPointer(%Object %object, %Stack %stack)
+    tail call tailcc %Pos %functionPointer(%Object %object, %Evidence 0, %Pos %argument, %Stack %stack)
     ret void
 }

package/libraries/llvm/types.c

@@ -26,18 +26,27 @@ static const struct Pos BooleanTrue = (struct Pos) { .tag = 1, .obj = NULL, };
 
 typedef struct Pos String;
 
+struct StackValue;
+
+typedef struct StackValue* Stack;
+
 
 // Defined in rts.ll
 
+extern void resume_Int(Stack, Int);
+extern void resume_Pos(Stack, struct Pos);
+
 extern void run(struct Neg);
-extern void run_i64(struct Neg, int64_t);
+extern void run_Int(struct Neg, Int);
 extern void run_Pos(struct Neg, struct Pos);
 
 // Reference counting primitives defined in LLVM
 extern void eraseNegative(struct Neg);
 extern void erasePositive(struct Pos);
+extern void eraseStack(Stack);
 
 extern void shareNegative(struct Neg);
 extern void sharePositive(struct Pos);
+extern void shareStack(Stack);
 
 #endif

package/licenses/eclipse public license, version 2.0 - epl-2.0.html

@@ -1,4 +1,4 @@
-<!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=x-ua-compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title><meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1726491576"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
+<!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=x-ua-compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title><meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.110.0"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1727705015"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
 <i class="fa fa-search fa-lg" aria-role=none></i></button><div class="toolbar-search-bar-wrapper dropdown-menu dropdown-menu-right" aria-labelledby=toolbar-search><form action=https://www.eclipse.org/home/search method=get><div class=search-bar><input class=search-bar-input name=q placeholder=Search>
 <button>
 <i class="fa fa-search" type=submit></i></button></div></form></div></div><div class="toolbar-btn toolbar-user-menu-btn dropdown"><button class=dropdown-toggle id=toolbar-user-menu type=button data-toggle=dropdown tabindex=0 aria-label="User Menu">
@@ -24,7 +24,7 @@ Download</a>
 <i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu mobile-menu-links-menu hidden" id=collaborations-industry-collaborations-sub-menu><li><a class=mobile-menu-item href=/collaborations/>About Industry Collaborations</a></li><li><a class=mobile-menu-item href=/org/workinggroups/explore.php>Current Collaborations</a></li><li><a class=mobile-menu-item href=/org/workinggroups/about.php>About Working Groups</a></li><li><a class=mobile-menu-item href=/collaborations/interest-groups/>About Interest Groups</a></li></ul></div></li><li class=mobile-menu-dropdown><a data-target=collaborations-research-collaborations-sub-menu class="mobile-menu-item mobile-menu-dropdown-toggle" aria-expanded=false><span>Research Collaborations</span>
 <i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu mobile-menu-links-menu hidden" id=collaborations-research-collaborations-sub-menu><li><a class=mobile-menu-item href=/research/>Research @ Eclipse</a></li></ul></div></li></ul></div></li><li class=mobile-menu-dropdown><a class="mobile-menu-item mobile-menu-dropdown-toggle" data-target=resources-menu><span>Resources</span>
 <i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu hidden" id=resources-menu><li class=mobile-menu-dropdown><a data-target=resources-open-source-sub-menu class="mobile-menu-item mobile-menu-dropdown-toggle" aria-expanded=false><span>Open Source for Business</span>
-<i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu mobile-menu-links-menu hidden" id=resources-open-source-sub-menu><li><a class=mobile-menu-item href=/org/value/>Business Value of Open Source</a></li><li><a class=mobile-menu-item href=/os4biz/ospo/>Open Source Program Offices</a></li></ul></div></li><li class=mobile-menu-dropdown><a data-target=resources-happening-sub-menu class="mobile-menu-item mobile-menu-dropdown-toggle" aria-expanded=false><span>What's Happening</span>
+<i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu mobile-menu-links-menu hidden" id=resources-open-source-sub-menu><li><a class=mobile-menu-item href=/org/value/>Business Value of Open Source</a></li><li><a class=mobile-menu-item href=/os4biz/services/>Professional Services</a></li><li><a class=mobile-menu-item href=/os4biz/ospo/>Open Source Program Offices</a></li></ul></div></li><li class=mobile-menu-dropdown><a data-target=resources-happening-sub-menu class="mobile-menu-item mobile-menu-dropdown-toggle" aria-expanded=false><span>What's Happening</span>
 <i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu mobile-menu-links-menu hidden" id=resources-happening-sub-menu><li><a class=mobile-menu-item href=https://newsroom.eclipse.org/>News</a></li><li><a class=mobile-menu-item href=https://events.eclipse.org/>Events</a></li><li><a class=mobile-menu-item href=/community/eclipse_newsletter/>Newsletter</a></li><li><a class=mobile-menu-item href=https://newsroom.eclipse.org/news/press-releases>Press Releases</a></li><li><a class=mobile-menu-item href=/org/foundation/eclipseawards/>Awards & Recognition</a></li></ul></div></li><li class=mobile-menu-dropdown><a data-target=resources-developer-sub-menu class="mobile-menu-item mobile-menu-dropdown-toggle" aria-expanded=false><span>Developer Resources</span>
 <i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu mobile-menu-links-menu hidden" id=resources-developer-sub-menu><li><a class=mobile-menu-item href=https://eclipse.org/forums/>Forum</a></li><li><a class=mobile-menu-item href=https://accounts.eclipse.org/mailing-list>Mailing Lists</a></li><li><a class=mobile-menu-item href=/blogs-and-videos/>Blogs & Videos</a></li><li><a class=mobile-menu-item href=/resources/marketplaces/>Marketplaces</a></li></ul></div></li></ul></div></li><li class=mobile-menu-dropdown><a class="mobile-menu-item mobile-menu-dropdown-toggle" data-target=the-foundation-menu><span>The Foundation</span>
 <i class="fa fa-chevron-down" aria-hidden=true></i></a><div class=mobile-menu-sub-menu-wrapper><ul class="mobile-menu-sub-menu hidden" id=the-foundation-menu><li class=mobile-menu-dropdown><a data-target=the-foundation-about-sub-menu class="mobile-menu-item mobile-menu-dropdown-toggle" aria-expanded=false><span>About</span>
@@ -40,7 +40,7 @@ important to your product strategy, or simply want to explore a specific
 innovation area with like-minded organisations, the Eclipse Foundation is
 the open source home for industry collaboration.</p></div><div class=mega-menu-submenu-links-section><div class=mega-menu-submenu-links><p class=menu-heading>Industry Collaborations</p><ul><li><a href=/collaborations/>About Industry Collaborations</a></li><li><a href=/org/workinggroups/explore.php>Current Collaborations</a></li><li><a href=/org/workinggroups/about.php>About Working Groups</a></li><li><a href=/collaborations/interest-groups/>About Interest Groups</a></li></ul></div><div class=mega-menu-submenu-links><p class=menu-heading>Research Collaborations</p><ul><li><a href=/research/>Research @ Eclipse</a></li></ul></div></div><div class=mega-menu-submenu-ad-wrapper><div class="eclipsefdn-mega-menu-promo-content mega-menu-promo-content" data-ad-format=ads_square data-ad-publish-to=eclipse_org_home></div></div></div><div class="mega-menu-submenu container hidden" data-menu-id=resources-menu><div class=mega-menu-submenu-featured-story><p class=mega-menu-submenu-featured-story-heading>Resources</p><p class=mega-menu-submenu-featured-story-text>The Eclipse community consists of individual developers and organisations
 spanning many industries. Stay up to date on our open source community
-and find resources to support your journey.</p></div><div class=mega-menu-submenu-links-section><div class=mega-menu-submenu-links><p class=menu-heading>Open Source for Business</p><ul><li><a href=/org/value/>Business Value of Open Source</a></li><li><a href=/os4biz/ospo/>Open Source Program Offices</a></li></ul></div><div class=mega-menu-submenu-links><p class=menu-heading>What's Happening</p><ul><li><a href=https://newsroom.eclipse.org/>News</a></li><li><a href=https://events.eclipse.org/>Events</a></li><li><a href=/community/eclipse_newsletter/>Newsletter</a></li><li><a href=https://newsroom.eclipse.org/news/press-releases>Press Releases</a></li><li><a href=/org/foundation/eclipseawards/>Awards & Recognition</a></li></ul></div><div class=mega-menu-submenu-links><p class=menu-heading>Developer Resources</p><ul><li><a href=https://eclipse.org/forums/>Forum</a></li><li><a href=https://accounts.eclipse.org/mailing-list>Mailing Lists</a></li><li><a href=/blogs-and-videos/>Blogs & Videos</a></li><li><a href=/resources/marketplaces/>Marketplaces</a></li></ul></div></div><div class=mega-menu-submenu-ad-wrapper><div class="eclipsefdn-mega-menu-promo-content mega-menu-promo-content" data-ad-format=ads_square data-ad-publish-to=eclipse_org_home></div></div></div><div class="mega-menu-submenu container hidden" data-menu-id=the-foundation-menu><div class=mega-menu-submenu-featured-story><p class=mega-menu-submenu-featured-story-heading>The Foundation</p><p class=mega-menu-submenu-featured-story-text>The Eclipse Foundation provides our global community of individuals and
+and find resources to support your journey.</p></div><div class=mega-menu-submenu-links-section><div class=mega-menu-submenu-links><p class=menu-heading>Open Source for Business</p><ul><li><a href=/org/value/>Business Value of Open Source</a></li><li><a href=/os4biz/services/>Professional Services</a></li><li><a href=/os4biz/ospo/>Open Source Program Offices</a></li></ul></div><div class=mega-menu-submenu-links><p class=menu-heading>What's Happening</p><ul><li><a href=https://newsroom.eclipse.org/>News</a></li><li><a href=https://events.eclipse.org/>Events</a></li><li><a href=/community/eclipse_newsletter/>Newsletter</a></li><li><a href=https://newsroom.eclipse.org/news/press-releases>Press Releases</a></li><li><a href=/org/foundation/eclipseawards/>Awards & Recognition</a></li></ul></div><div class=mega-menu-submenu-links><p class=menu-heading>Developer Resources</p><ul><li><a href=https://eclipse.org/forums/>Forum</a></li><li><a href=https://accounts.eclipse.org/mailing-list>Mailing Lists</a></li><li><a href=/blogs-and-videos/>Blogs & Videos</a></li><li><a href=/resources/marketplaces/>Marketplaces</a></li></ul></div></div><div class=mega-menu-submenu-ad-wrapper><div class="eclipsefdn-mega-menu-promo-content mega-menu-promo-content" data-ad-format=ads_square data-ad-publish-to=eclipse_org_home></div></div></div><div class="mega-menu-submenu container hidden" data-menu-id=the-foundation-menu><div class=mega-menu-submenu-featured-story><p class=mega-menu-submenu-featured-story-heading>The Foundation</p><p class=mega-menu-submenu-featured-story-text>The Eclipse Foundation provides our global community of individuals and
 organisations with a mature, scalable, and vendor-neutral environment for
 open source software collaboration and innovation.</p></div><div class=mega-menu-submenu-links-section><div class=mega-menu-submenu-links><p class=menu-heading>About</p><ul><li><a href=/org/>About the Eclipse Foundation</a></li><li><a href=/org/governance>Board & Governance</a></li><li><a href=/org/foundation/staff/>Staff</a></li><li><a href=/org/services>Services</a></li></ul></div><div class=mega-menu-submenu-links><p class=menu-heading>Legal</p><ul><li><a href=/legal/>Legal Policies</a></li><li><a href=/legal/privacy/>Privacy Policy</a></li><li><a href=/legal/terms-of-use/>Terms of Use</a></li><li><a href=/legal/compliance>Compliance</a></li><li><a href=/legal/epl-2.0/>Eclipse Public License</a></li></ul></div><div class=mega-menu-submenu-links><p class=menu-heading>More</p><ul><li><a href=https://newsroom.eclipse.org/news/press-releases>Press Releases</a></li><li><a href=/careers/>Careers</a></li><li><a href=/org/artwork/>Logos & Artwork</a></li><li><a href=/org/foundation/contact.php>Contact Us</a></li></ul></div></div><div class=mega-menu-submenu-ad-wrapper><div class="eclipsefdn-mega-menu-promo-content mega-menu-promo-content" data-ad-format=ads_square data-ad-publish-to=eclipse_org_home></div></div></div></div></header><main><div class="container padding-bottom-30"><div class=row><div class=col-md-18><div class="default-breadcrumbs hidden-print" id=breadcrumb><div><div class=row><div class=col-sm-24><ol aria-label=Breadcrumb class=breadcrumb><li><a href=https://www.eclipse.org/>Home</a></li><li><a href=https://www.eclipse.org/legal/>Eclipse Foundation Legal Resources</a></li><li class=active aria-current=page><a href=https://www.eclipse.org/legal/epl-2.0/>Eclipse Public License 2.0 (EPL)</a></li></ol></div></div></div></div><div id=content></div><script async src=/public/js/generate-body-content.js type=text/javascript></script></div><div class="col-md-6 padding-bottom-30"><aside class=main-sidebar-default-margin id=main-sidebar><ul class=ul-left-nav id=leftnav role=tablist aria-multiselectable=true><li class="main-sidebar-main-item main-sidebar-item-indented separator"><a class="main-sidebar-heading link-unstyled" href=/legal>Legal</a></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-eca aria-expanded=false aria-controls=legal-eca><span>ECA</span>
 <i class="main-sidebar-item-icon fa fa-chevron-down" aria-hidden=true></i></a><div class=collapse id=legal-eca><ul class="main-sidebar-item-submenu list-unstyled"><li class=submenu-item><a class=link-unstyled href=/legal/eca target=_self>About</a></li><li class=submenu-item><a class=link-unstyled href=https://accounts.eclipse.org/user/eca target=_self>Sign</a></li><li class=submenu-item><a class=link-unstyled href=https://accounts.eclipse.org/user/eca target=_self>Validation Tool</a></li></ul></div></li></li><li class="main-sidebar-item main-sidebar-item-indented"><li class="main-sidebar-item main-sidebar-item-indented"><a class=link-unstyled role=button data-toggle=collapse href=#legal-epl-20 aria-expanded=false aria-controls=legal-epl-20><span>EPL-2.0</span>
@@ -57,5 +57,5 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="fa fa-linkedin fa-stack-1x fa-inverse" aria-hidden=true></i>
 <span class=sr-only>Linkedin account</span></span></a></li></ul></div></div><div class="footer-sections row equal-height-md font-bold"><div class=col-md-15><div class=row><section id=footer-eclipse-foundation class="footer-section col-sm-8"><div class=menu-heading>Eclipse Foundation</div><ul class=nav><li><a href=https://www.eclipse.org/org/>About</a></li><li><a href=https://projects.eclipse.org/>Projects</a></li><li><a href=https://www.eclipse.org/collaborations/>Collaborations</a></li><li><a href=https://www.eclipse.org/membership/>Membership</a></li><li><a href=https://www.eclipse.org/sponsor/>Sponsor</a></li></ul></section><section id=footer-legal class="footer-section col-sm-8"><div class=menu-heading>Legal</div><ul class=nav><li><a href=https://www.eclipse.org/legal/privacy/>Privacy Policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of Use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/org/documents/Community_Code_of_Conduct.php>Code of Conduct</a></li><li><a href=https://www.eclipse.org/legal/>Legal Resources</a></li><li><a class=toolbar-manage-cookies href=# onclick=event.preventDefault()>Manage Cookies</a></li></ul></section><section id=footer-more class="footer-section col-sm-8"><div class=menu-heading>More</div><ul class=nav><li><a href=https://www.eclipse.org/security/>Report a Vulnerability</a></li><li><a href=https://status.eclipse.org/>Service Status</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact Us</a></li><li><a href=https://www.eclipse.org/projects/support/>Support</a></li></ul></section></div></div><div id=footer-end class="footer-section col-md-8 col-md-offset-1 col-sm-24"><div class=footer-end-newsletter><form id=mc-embedded-subscribe-form action=https://eclipsecon.us6.list-manage.com/subscribe/post method=post novalidate target=_blank><label class=footer-end-newsletter-label for=email>Subscribe to our Newsletter</label><div class=footer-end-newsletter-input-wrapper><input class=footer-end-newsletter-input type=email id=email name=EMAIL autocomplete=email placeholder="Enter your email address"><div><i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></div></div><input type=hidden name=u value=eaf9e1f06f194eadc66788a85>
 <input type=hidden name=id value=46e57eacf1>
-<input id=mc-embedded-subscribe type=submit name=subscribe hidden></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1726491576"></script>
+<input id=mc-embedded-subscribe type=submit name=subscribe hidden></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1727705015"></script>
 <script>(function(){})(jQuery,document)</script></div></body></html>