Commit fbef319d authored by Eva Darulova's avatar Eva Darulova

adding copyright to all source files

parent 253b53eb
// Original work Copyright 2015 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Germany
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy.lang
......
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
package daisy
import lang.Trees.Program
......
// Original work Copyright 2015 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Germany
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
package daisy
abstract class Pipeline[-F, +T] {
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package analysis
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package analysis
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package analysis
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package analysis
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package analysis
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package analysis
......
/* Copyright 2015 MPI-SWS, Saarbruecken */
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package analysis
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package backend
......
/* Copyright 2009-2016 EPFL, Lausanne */
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package frontend
......
/* Copyright 2009-2016 EPFL, Lausanne */
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package frontend
......
/* Copyright 2009-2016 EPFL, Lausanne */
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package frontend
......
/* Copyright 2009-2016 EPFL, Lausanne */
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package frontend
......
/* Copyright 2009-2016 EPFL, Lausanne */
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package frontend
......
/* Copyright 2009-2016 EPFL, Lausanne */
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package frontend
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......@@ -29,26 +29,26 @@ class RangePrinter extends PrettyPrinter {
sb.append("##")
}
}
}
tree match {
case x @ Variable(id) =>
pp(id, p)
appendInterval(x)
case x @ Plus(l,r) =>
case x @ Plus(l,r) =>
ppBinary(l, r, " + ")
appendInterval(x)
case x @ Minus(l,r) =>
case x @ Minus(l,r) =>
ppBinary(l, r, " - ")
appendInterval(x)
case x @ Times(l,r) =>
case x @ Times(l,r) =>
ppBinary(l, r, " * ")
appendInterval(x)
case x @ Division(l,r) =>
case x @ Division(l,r) =>
ppBinary(l, r, " / ")
appendInterval(x)
case _ => super.pp(tree, parent)
......
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package lang
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......@@ -8,5 +8,5 @@ package object lang {
case class WriteTwiceException(msg: String) extends Exception(msg)
}
\ No newline at end of file
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package search
......
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package solvers
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package solvers
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package solvers
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package transform
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......@@ -16,7 +17,7 @@ object DblDouble {
val zero = new DblDouble(0.0, 0.0)
def sqrt(x: DblDouble): DblDouble = x.squareRoot
def abs(x: DblDouble): DblDouble = if (x.hi < 0.0) -x else x
def max(x: DblDouble, y: DblDouble): DblDouble = if (x > y) x else y
def min(x: DblDouble, y: DblDouble): DblDouble = if (x < y) x else y
......@@ -42,7 +43,7 @@ class DblDouble(val hi: Double, val lo: Double) extends ScalaNumber with Ordered
import DblDouble._
def this(d: Double) = this(d, 0.0)
def +(y: DblDouble): DblDouble = { //new DblDouble(DDouble.add(x0, x1, y.x0, y.x1))
val xhi = this.hi; val xlo = this.lo; val yhi = y.hi; val ylo = y.lo
var H, h, T, t, S, s, e, f = 0.0;
......@@ -130,7 +131,7 @@ class DblDouble(val hi: Double, val lo: Double) extends ScalaNumber with Ordered
The approximation is accurate to twice the accuracy of x.
Also, the multiplication (a*x) and [-]*x can be done with only half the precision.
*/
if (hi == 0.0 && lo == 0.0) return zero;
if (hi < 0.0 || (hi == 0.0 && lo < 0.0)) return new DblDouble(Double.NaN, Double.NaN);
......@@ -196,7 +197,7 @@ class DblDouble(val hi: Double, val lo: Double) extends ScalaNumber with Ordered
def toInt: Int = hi.toInt
def toLong: Long = hi.toLong
def toShort: Short = hi.toShort
def underlying(): AnyRef = this
override def isWhole(): Boolean = hi % 1.0 == 0.0 && lo == 0.0
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
/* Copyright 2009-2015 EPFL, Lausanne */
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
/* Copyright 2013-2014 EPFL, Lausanne */
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
/*
The contents of this file is heaviy influenced and/or partly taken from
the Leon Project which is released under the BSD 2 clauses license.
See file LEON_LICENSE or go to https://github.com/epfl-lara/leon
for full license details.
*/
// Original work Copyright 2009-2016 EPFL, Lausanne
// Modified work Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
package utils
......
// Copyright 2017 MPI-SWS, Saarbruecken, Germany
package daisy
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment