@effekt-lang/effekt 0.22.0 → 0.23.0

package/libraries/common/array.effekt

@@ -3,6 +3,7 @@ module array
 import effekt
 import exception
 import list
+import option
 
 /// A mutable 0-indexed fixed-sized array.
 extern type Array[T]
@@ -18,12 +19,17 @@ extern global def allocate[T](size: Int): Array[T] =
   """
   vm "array::allocate(Int)"
 
+/// Fills a given array in-place.
+def fill[T](arr: Array[T], filler: T): Unit = {
+  arr.foreachIndex { (idx, _) =>
+    arr.unsafeSet(idx, filler)
+  }
+}
+
 /// Creates a new Array of size `size` filled with the value `init`
 def array[T](size: Int, init: T): Array[T] = {
   val arr = allocate[T](size);
-  each(0, size) { i =>
-    unsafeSet(arr, i, init)
-  };
+  arr.fill(init)
   arr
 }
 
@@ -81,8 +87,6 @@ extern global def unsafeSet[T](arr: Array[T], index: Int, value: T): Unit =
   """
   vm "array::unsafeSet[T](Array[T], Int, T)"
 
-
-
 // Derived operations:
 
 /// Gets the element of the `arr` at given `index` in constant time,
@@ -107,6 +111,9 @@ def build[T](size: Int) { index: Int => T }: Array[T] = {
   arr
 }
 
+/// Resizes an array to a given size.
+///
+/// O(N + M)
 def resize[T](source: Array[T], size: Int): Array[T] = {
   val target = allocate(size)
   val n = min(source.size, target.size)
@@ -147,6 +154,27 @@ def copy[T](from: Array[T], start: Int, to: Array[T], offset: Int, length: Int):
 
 // Utility functions:
 
+/// Swap the value at index i with that at index j.
+/// Warning: undefined behaviour if the indices are out bound.
+/// 
+/// O(1)
+def unsafeSwap[A](arr: Array[A], i: Int, j: Int): Unit = {
+  val tmp = arr.unsafeGet(i)
+  arr.unsafeSet(i, arr.unsafeGet(j))
+  arr.unsafeSet(j, tmp)
+}
+
+/// Swap the value at index i with that at index j.
+/// 
+/// O(1)
+def swap[A](arr: Array[A], i: Int, j: Int): Unit / Exception[OutOfBounds] = {
+  if (i < 0 || i >= arr.size || j < 0 || j >= arr.size) do raise(OutOfBounds(), "Index out of bounds")
+  arr.unsafeSwap(i, j)
+}
+
+/// Converts the given array into a list.
+/// 
+/// O(N)
 def toList[T](arr: Array[T]): List[T] = {
   var i = arr.size - 1;
   var l = Nil[T]()
@@ -157,34 +185,380 @@ def toList[T](arr: Array[T]): List[T] = {
   l
 }
 
+/// Traverse an array, applying the given action on every element.
+///
+/// O(N)
 def foreach[T](arr: Array[T]){ action: T => Unit }: Unit =
   each(0, arr.size) { i =>
     action(arr.unsafeGet(i))
   }
 
+/// Traverse an array, applying the given action on every element.
+///
+/// O(N)
 def foreach[T](arr: Array[T]){ action: (T) {Control} => Unit }: Unit =
   each(0, arr.size) { (i) {label} =>
     action(arr.unsafeGet(i)) {label}
   }
 
+/// Traverse an array, applying the given action on every element and its (zero-based) index.
+///
+/// O(N)
 def foreachIndex[T](arr: Array[T]){ action: (Int, T) => Unit }: Unit =
   each(0, arr.size) { i =>
     action(i, arr.unsafeGet(i))
   }
 
+/// Traverse an array, applying the given action on every element and its (zero-based) index.
+///
+/// O(N)
 def foreachIndex[T](arr: Array[T]){ action: (Int, T) {Control} => Unit }: Unit =
   each(0, arr.size) { (i) {label} =>
     action(i, arr.unsafeGet(i)) {label}
   }
 
-def sum(list: Array[Int]): Int = {
+/// Sum the elements of the array.
+/// 
+/// O(N)
+def sum(arr: Array[Int]): Int = {
   var acc = 0
-  list.foreach { x =>
+  arr.foreach { x =>
     acc = acc + x
   }
   acc
 }
 
+/// Checks whether two given arrays are equal with respect to an equalty funciton defined on their element.
+/// 
+/// O(N)
+def equals[A](this: Array[A], other: Array[A]) { eq: (A, A) => Bool }: Bool = {
+  if (this.size != other.size) false
+  else {
+    var res = true
+    this.foreachIndex { (idx, elem) {label} =>
+      if (not(eq(elem, other.unsafeGet(idx)))) {
+        res = false
+        label.break()
+      }
+    }
+    res
+  }
+}
+
+/// Map a function `f` over the elements in a given array.
+/// Modifies the array in-place.
+///
+/// O(N)
+def map[A](arr: Array[A]) { f: A => A }: Unit = {
+  arr.foreachIndex { (idx, elem) =>
+    arr.unsafeSet(idx, f(arr.unsafeGet(idx)))
+  }
+}
+
+/// Map a function over elements.
+/// Allocates a new array of the same size.
+///
+/// O(N)
+def mapped[A, B](arr: Array[A]) { f: A => B }: Array[B] = {
+  val res = allocate(arr.size)
+  arr.foreachIndex { (idx, elem) =>
+    res.unsafeSet(idx, f(arr.unsafeGet(idx)))
+  }
+  res
+}
+
+/// Reverses an array in-place.
+/// 
+/// O(N)
+def reverse[A](arr: Array[A]): Unit = {
+  val size = arr.size()
+  val mid = size / 2
+
+  // Swap elements from start and end, moving towards the middle
+  each(0, mid) { i =>
+    val temp = arr.unsafeGet(i)
+    val j = size - 1 - i
+    val other = arr.unsafeGet(j)
+    arr.unsafeSet(i, other)
+    arr.unsafeSet(j, temp)
+  }
+}
+/// Creates a new array with elements in reverse order.
+/// 
+/// O(N)
+def reversed[A](arr: Array[A]): Array[A] = {
+  val size = arr.size()
+  val result = allocate[A](size)
+  
+  // Copy elements in reverse order to new array
+  each(0, size) { i =>
+    val value = arr.unsafeGet(i)
+    result.unsafeSet(size - 1 - i, value)
+  }
+  result
+}
+
+/// Fold an array using `f`, starting from the left given a starting value.
+///
+/// O(N)
+def foldLeft[A, B](arr: Array[A], init: B) { f: (B, A) => B }: B = {
+  var acc = init;
+  arr.foreach { x => acc = f(acc, x) };
+  acc
+}
+
+/// Fold an array using `f`, starting from the right given a starting value.
+///
+/// O(N)
+def foldRight[A, B](arr: Array[A], init: B) { f: (A, B) => B }: B = {
+  var acc = init;
+  arr.reversed.foreach { x => acc = f(x, acc) };
+  acc
+}
+
+/// Filters a given array with respect to a given predicate such that a
+/// new array containing all the elements for which the predicate
+/// holds is allocated.
+/// 
+/// O(N)
+def filtered[A](arr: Array[A]) { shouldKeep: A => Bool }: Array[A] = {
+  val res = arr.copy()
+  var idx = 0
+  arr.foreach { x =>
+    if (shouldKeep(x)) {
+      res.unsafeSet(idx, x)
+      idx = idx + 1
+    }
+  }
+  res.resize(idx)
+}
+
+/// Check if predicate is true for all elements.
+///
+/// O(N)
+def all[A](arr: Array[A]) { predicate: A => Bool }: Bool = {
+  var result = true
+  arr.foreach { (x) {label} =>
+    if (not(predicate(x))) {
+      result = false
+      label.break()
+    }
+  }
+  result
+}
+
+/// Check if predicate is true for at least one element.
+///
+/// O(N)
+def any[A](arr: Array[A]) { predicate: A => Bool }: Bool = {
+  not(arr.all { x => not(predicate(x)) })
+}
+
+/// Count elements satisfying the predicate.
+///
+/// O(N)
+def count[A](arr: Array[A]) { predicate: A => Bool }: Int = {
+  var count = 0
+  arr.foreach { x =>
+    if (predicate(x)) count = count + 1
+  }
+  count
+}
+
+/// Take first n elements.
+/// Returns a new array.
+///
+/// O(N)
+def take[A](arr: Array[A], n: Int): Array[A] = {
+  val len = min(max(0, n), arr.size)
+  val result = allocate[A](len)
+  each(0, len) { i => 
+    result.unsafeSet(i, arr.unsafeGet(i))
+  }
+  result
+}
+
+// Drop first n elements.
+/// Returns a new array.
+/// 
+/// O(N)
+def drop[A](arr: Array[A], n: Int): Array[A] = {
+  val start = min(max(0, n), arr.size)
+  val len = arr.size - start
+  val result = allocate[A](len)
+  each(0, len) { i =>
+    result.unsafeSet(i, arr.unsafeGet(i + start))
+  }
+  result
+}
+
+/// Return a slice from start (inclusive) to end (exclusive).
+/// Returns a new array.
+///
+/// O(N)
+def sliced[A](arr: Array[A], start: Int, end: Int): Array[A] = {
+  val validStart = min(max(0, start), arr.size)
+  val validEnd = min(max(validStart, end), arr.size)
+  val len = validEnd - validStart
+  val result = allocate[A](len)
+  each(0, len) { i =>
+    result.unsafeSet(i, arr.unsafeGet(i + validStart))
+  }
+  result
+}
+
+/// Zip two arrays into an array of pairs.
+/// Length is minimum of input lengths.
+///
+/// O(min(N, M))
+def zipped[A, B](this: Array[A], other: Array[B]): Array[(A, B)] = {
+  val len = min(this.size, other.size)
+  val result = allocate[(A, B)](len)
+  each(0, len) { i =>
+    result.unsafeSet(i, (this.unsafeGet(i), other.unsafeGet(i)))
+  }
+  result
+}
+
+/// Combine two arrays using given function.
+/// Length is minimum of input lengths.
+///
+/// O(min(N, M))
+def zippedWith[A, B, C](this: Array[A], other: Array[B]) { f: (A, B) => C }: Array[C] = {
+  val len = min(this.size, other.size)
+  val result = allocate[C](len)
+  each(0, len) { i =>
+    result.unsafeSet(i, f(this.unsafeGet(i), other.unsafeGet(i)))
+  }
+  result
+}
+
+/// Produce a pair of arrays from an array of pairs.
+/// Allocates two new arrays as a result.
+///
+/// O(N)
+def unzipped[A, B](arr: Array[(A, B)]): (Array[A], Array[B]) = {
+  val arr1 = allocate(arr.size)
+  val arr2 = allocate(arr.size)
+  arr.foreachIndex { (idx, tpl) =>
+    val (x, y) = tpl
+    arr1.unsafeSet(idx, x)
+    arr2.unsafeSet(idx, y)
+  }
+  (arr1, arr2)
+}
+
+/// Partition a given array into two arrays.
+/// The left array contains the elements that satsify the predicate,
+/// the right array contains the elements that do not.
+///
+/// O(N)
+def partioned[A](arr: Array[A]) { pred: A => Bool }: (Array[A], Array[A]) = {
+  val tcases = arr.copy()
+  val fcases = arr.copy()
+  var tidx = 0
+  var fidx = 0
+  arr.foreach { x =>
+    if (pred(x)) {
+      tcases.unsafeSet(tidx, x)
+      tidx = tidx + 1
+    } else {
+      fcases.unsafeSet(fidx, x)
+      fidx = fidx + 1
+    }
+  }
+  (tcases.resize(tidx), fcases.resize(fidx))
+}
+
+/// Get the _first_ index of the last occurance of `elem`, if there is any.
+/// 
+/// O(N)
+def indexOf[A](arr: Array[A], toFind: A) { eq: (A, A) => Bool }: Option[Int] = {
+  var found = None[Int]()
+  arr.foreachIndex { (idx, elem) {label} =>
+    if (eq(elem, toFind) && found.isEmpty) {
+      found = Some(idx)
+      label.break()
+    }
+  }
+  found
+}
+
+/// Get the _last_ index of the last occurance of `elem`, if there is any.
+/// 
+/// O(N)
+def lastIndexOf[A](arr: Array[A], toFind: A) { eq: (A, A) => Bool }: Option[Int] = {
+  var lastFound = None[Int]()
+  arr.foreachIndex { (idx, elem) =>
+    if (eq(elem, toFind)) {
+      lastFound = Some(idx)
+    }
+  }
+  lastFound
+}
+
+/// Perform binary search to find the index of a given element.
+/// 
+/// O(log N)
+def binarySearch[A](arr: Array[A], toFind: A) { ord: (A, A) => Ordering }: Option[Int] = {
+  def binarySearch(lowerIdx: Int, upperIdx: Int): Option[Int] = {
+    if (lowerIdx > upperIdx) None()
+    else {
+      val mid = lowerIdx + (upperIdx - lowerIdx) / 2
+      val current = arr.unsafeGet(mid)
+      ord(current, toFind) match {
+        case Less() => binarySearch(mid + 1, upperIdx)
+        case Greater() => binarySearch(lowerIdx, mid - 1)
+        case Equal() => Some(mid)
+      }
+    }
+  }
+  binarySearch(0, arr.size - 1)
+}
+
+/// Sort an array in-place using provided comparison function.
+/// Note: sort is unstable since it uses QuickSort (unlike list::sortBy)
+///
+/// O(N log N) average case
+def sort[A](arr: Array[A]) { ord: (A, A) => Ordering }: Unit = {
+  def partition(low: Int, high: Int): Int = {
+    val pivot = arr.unsafeGet(high)
+    var i = low - 1
+    
+    each(low, high) { j =>
+      ord(arr.unsafeGet(j), pivot) match {
+        case Less() =>
+          i = i + 1
+          unsafeSwap(arr, i, j)
+        case _ => ()
+      }
+    }
+    unsafeSwap(arr, i + 1, high)
+    i + 1
+  }
+  
+  def quickSort(low: Int, high: Int): Unit = {
+    if (low < high) {
+      val par = partition(low, high)
+      quickSort(low, par - 1)
+      quickSort(par + 1, high)
+    }
+  }
+  
+  quickSort(0, arr.size - 1)
+}
+
+/// Sort an array using provided comparison function.
+/// A newly allocated sorted array is returned as result, i.e., the sorting is not in-place.
+/// Note: sort is unstable since it uses QuickSort (unlike list::sortBy)
+///
+/// O(N log N) average case
+def sorted[A](arr: Array[A]) { ord: (A, A) => Ordering }: Array[A] = {
+  val res = arr.copy()
+  res.sort { ord }
+  res
+}
+
 // Show Instances
 // --------------
 

package/libraries/llvm/file.c

@@ -0,0 +1 @@
+

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=1740338125"><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=1741544124"><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">
@@ -59,5 +59,5 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="fa-brands fa-linkedin-in 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://eclipse.us6.list-manage.com/subscribe/post?u=eaf9e1f06f194eadc66788a85&id=e7538485cd&f_id=00f9c2e1f0" 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">
 <button class="footer-end-newsletter-submit btn btn-link" id=mc-embedded-subscribe type=submit name=subscribe>
-<i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></button></div></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=1740338125"></script>
+<i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></button></div></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=1741544124"></script>
 <script>(function(){})(jQuery,document)</script></div></body></html>