From f27073af55c6c09d3cf462b9704279b13a658bce Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Sat, 18 Apr 2015 23:56:38 +0200
Subject: [PATCH] Minimal par package for parallelism
---
library/par/package.scala | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
create mode 100644 library/par/package.scala
diff --git a/library/par/package.scala b/library/par/package.scala
new file mode 100644
index 000000000..4690eddbf
--- /dev/null
+++ b/library/par/package.scala
@@ -0,0 +1,22 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
+package leon
+
+import leon.annotation._
+import leon.lang._
+import leon.lang.synthesis.choose
+
+package object par {
+
+ // @library
+ def parallel[A,B](x: => A, y: => B) : (A,B) = {
+ (x,y)
+ }
+
+ case class Task[A](c: A) {
+ def join: A = c
+ }
+
+ // @library
+ def task[A](c: A) = Task(c)
+}
--
GitLab