From 007a59958d8699f557f76081eb53f03afeb3287a Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Tue, 10 Feb 2015 14:26:42 +0100
Subject: [PATCH] Release 2.4 with HOFs
---
README.md | 9 +++++++--
build.sbt | 6 +++---
2 files changed, 10 insertions(+), 5 deletions(-)
diff --git a/README.md b/README.md
index cb8da6c3b..462741ec2 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-Leon 2.3 [](https://travis-ci.org/epfl-lara/leon)
+Leon 2.4 [](https://travis-ci.org/epfl-lara/leon)
==========
Getting Started
@@ -10,7 +10,7 @@ the following sections if you wish (or need) more detailed information.
To build it, you will need, the following:
* Java Runtime Environment, from Oracle, e.g. Version 7 Update 5 (to run sbt and scala)
-* Scala, from Typesafe, e.g. version 2.10.3
+* Scala, from Typesafe, e.g. version 2.11.5
* sbt, at least version 0.13.1 (to build Leon)
* a recent GLIBC3 or later, works with e.g. _apt-get_ (for Z3)
* GNU Multiprecision library, e.g. gmp3, works with e.g. _apt-get_ (for Z3)
@@ -158,6 +158,11 @@ but instead
Changelog
---------
+#### v2.4
+*Released 10.02.2015*
+
+* Implement support for higher-order functions
+
#### v2.3
*Released 03.03.2014*
diff --git a/build.sbt b/build.sbt
index 6b5ac2d94..9c4c360f0 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,10 +1,10 @@
name := "Leon"
-version := "2.3"
+version := "2.4"
organization := "ch.epfl.lara"
-scalaVersion := "2.11.2"
+scalaVersion := "2.11.5"
scalacOptions ++= Seq(
"-deprecation",
@@ -23,7 +23,7 @@ if(System.getProperty("sun.arch.data.model") == "64") {
resolvers += "Typesafe Repository" at "http://repo.typesafe.com/typesafe/releases/"
libraryDependencies ++= Seq(
- "org.scala-lang" % "scala-compiler" % "2.11.2",
+ "org.scala-lang" % "scala-compiler" % "2.11.5",
"org.scalatest" %% "scalatest" % "2.2.0" % "test",
"com.typesafe.akka" %% "akka-actor" % "2.3.4"
)
--
GitLab