Juan Rodriguez Hortala

According to `Formula.safeWordLength`, off by default

http://www.scalactic.org/user_guide/Requirements

proper scaladoc

1

automate in travis scaladoc generation and upload to juanrh.github.io polish scaladoc comments

See design doc at drive, section "Alternative design of projections for Formulas"

Aync systems gain performance by performing switching to another tasks when the former task gets blocked waiting for IO. In the implementation of `DStreamProp.forAllAlways` we have a huge IO block...

Explore idea for dynamic actions on a dstream

1

Given d : DStream[A] we can register a foreachRDD action that access a mutable and thread safe dictionary of functions (RDD[A], Time) ⇒ Unit), that are executed per each micro...

Just like |: is used for input generators in ScalaCheck

Try an alternative implementation based on a single worker for the Prop, that multiplexes test cases with a list like in es.ucm.fdi.sscheck.spark.streaming.StreamingContextActorReceiverTest of branch streamingDataSendExperiments (commit 5d7d7f55c828957a3673e5bf02dcfedef14e9468). The idea is...