From 1797371e0b2d4741cbed29e3fbab2e6539ef437b Mon Sep 17 00:00:00 2001 From: Juan Rodriguez Hortala Date: Tue, 18 Apr 2017 21:51:07 -0700 Subject: [PATCH] release version 0.3.2 --- README.md | 4 ++-- RELEASE_NOTES.md | 23 +++++++++++++++-------- build.sbt | 2 +- 3 files changed, 18 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index c85757d..61cd87d 100644 --- a/README.md +++ b/README.md @@ -8,10 +8,10 @@ Use linear temporal logic to write ScalaCheck properties for Spark Streaming pro * **scaladoc** - [scala 2.10](http://juanrh.github.io/doc/sscheck/scala-2.10/api) - [scala 2.11](http://juanrh.github.io/doc/sscheck/scala-2.11/api) - * sbt dependency + * sbt dependency ```scala -lazy val sscheckVersion = "0.2.4" +lazy val sscheckVersion = "0.3.2" libraryDependencies += "es.ucm.fdi" %% "sscheck" % sscheckVersion resolvers += Resolver.bintrayRepo("juanrh", "maven") ``` diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index f25b64a..ac10104 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -1,3 +1,10 @@ +# sscheck 0.3.2 +Minor maintenance release + * replace `Now` by `BindNext`: #53 and move overloads of `Formula.now` that don't generate a result immediately to overloads of `Formula.next`, so the DSL is more clear + * add `beEqualAsSetTo` RDD matcher + * minor scaladoc fixes + * rename overloads of forAllDStream for more than 1 argument to avoid having to specify the type parameters in all usages + # sscheck 0.3.1 Bug fixes @@ -9,19 +16,19 @@ Bug fixes # sscheck 0.3.0 First order quantifiers, many DStreams in properties, and performance improvements - * Add first order quantifiers on letters and optionally use atoms time in now, in the style of TPTL [#46](https://github.com/juanrh/sscheck/pull/46). + * Add first order quantifiers on letters and optionally use atoms time in now, in the style of TPTL [#46](https://github.com/juanrh/sscheck/pull/46). * Support several DStreams in properties: 1 input 1 derived, 2 input 1 derived, 1 input 2 derived, 2 input 2 derived [#16](https://github.com/juanrh/sscheck/pull/16). - * Lazy next form, so the system might scales to complex formulas or with long timeouts [#25](https://github.com/juanrh/sscheck/pull/25). Only Next is lazy, which is enough combined with a nested next formula generation. + * Lazy next form, so the system might scales to complex formulas or with long timeouts [#25](https://github.com/juanrh/sscheck/pull/25). Only Next is lazy, which is enough combined with a nested next formula generation. * Simplify concurrency: synchronization to wait for the Streaming Context to stop; improve usage of parallel collections. - * Fix safeWordLength to return an Option, as it cannot be always statically computed due to first order quantifiers. - * Update to Spark 1.6.2 to get rid of some bugs. + * Fix safeWordLength to return an Option, as it cannot be always statically computed due to first order quantifiers. + * Update to Spark 1.6.2 to get rid of some bugs. # sscheck 0.2.4 Added cross Scala version compatibility, 2.10 and 2.11, see [#42](https://github.com/juanrh/sscheck/pull/42) # sscheck 0.2.3 Bug fixing and code cleanup - + * Remove dependency to spark-testing-base and multisets in order to fix [#36](https://github.com/juanrh/sscheck/issues/36) * Remove unused code from preliminary approaches that were later discarded * Update Spark to version 1.6.0 @@ -30,7 +37,7 @@ Bug fixing and code cleanup Update Spark to version 1.6.0 # sscheck 0.2.1 -Bug fix implementation of temporal properties. Uses of `DStreamProp.forAll` combining with extending the trait `SharedStreamingContextBeforeAfterEach` should be replaced by extending the trait `DStreamTLProperty` and calling `forAllDStream`. This solves: +Bug fix implementation of temporal properties. Uses of `DStreamProp.forAll` combining with extending the trait `SharedStreamingContextBeforeAfterEach` should be replaced by extending the trait `DStreamTLProperty` and calling `forAllDStream`. This solves: * Execution of a test case is now independent from others, as a new streaming context is created for each test case. This is particularly important for stateful DStream transformations * Replaced uses `DynSingleSeqQueueInputDStream` by `TestInputStream` from [spark-testing-base](https://github.com/holdenk/spark-testing-base), which implements checkpointing correctly @@ -41,7 +48,7 @@ First implementation of a temporal logic for testing Spark Streaming with ScalaC * Generators for DStream defined by temporal logic formulas. * Properties for testing functions over DStream, using a ScalaCheck generator, and a propositional temporal logic formula as the assertion. DStreamProp.forAll defines a property that is universally quantified over the generated test cases. - + # sscheck 0.1.0 - RDD generators -Shared Spark context for ScalaCheck generators based on parallelization of lists, through the integration of ScalaCheck and specs2 \ No newline at end of file +Shared Spark context for ScalaCheck generators based on parallelization of lists, through the integration of ScalaCheck and specs2 diff --git a/build.sbt b/build.sbt index 778c5b9..061b70a 100644 --- a/build.sbt +++ b/build.sbt @@ -2,7 +2,7 @@ name := "sscheck" organization := "es.ucm.fdi" -version := "0.3.2-SNAPSHOT" // "0.3.1" // +version := "0.3.2" // "0.3.3-SNAPSHOT" // scalaVersion := "2.11.8"