release version 0.3.2

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")
 ```

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
+Shared Spark context for ScalaCheck generators based on parallelization of lists, through the integration of ScalaCheck and specs2

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"