Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: juanrh/sscheck

Tags

0.3.2

Toggle 0.3.2's commit message
release version 0.3.2

0.3.1

Toggle 0.3.1's commit message
release 0.3.1

0.3.0

Toggle 0.3.0's commit message
fix links to scaladoc

0.2.3

Toggle 0.2.3's commit message
Bug fixing #36 and code cleanup, new minor release 0.2.3

0.2.1-SNAPSHOT

Toggle 0.2.1-SNAPSHOT's commit message
replaced DStreamProp.forAll by trait DStreamTLProperty

v0.2-ltl_props

Toggle v0.2-ltl_props's commit message
update acknowledgements

include all relevants projects

codeFreezeFlops16

Toggle codeFreezeFlops16's commit message
add more examples of temporal formulas

DStreamPropv0.1

Toggle DStreamPropv0.1's commit message
update description, add quick start

directStreamingBatchesOkPoC

Toggle directStreamingBatchesOkPoC's commit message
PoC of scalacheck for streaming respecting batches

see #6

v0.1-rddgen

Toggle v0.1-rddgen's commit message
added resolver for scalaz, used by specs2