Skip to content

Issues: juanrh/sscheck

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

27 Open 24 Closed
27 Open 24 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Setup https and head node / Nginx proxy enhancement
#52 opened Dec 8, 2016 by juanrh
@juanrh
Formula.safeWordLength always returns None enhancement
#51 opened Oct 23, 2016 by juanrh
1
Setup test cluster: Cubox 4x4 + ODROID C2
#50 opened Oct 11, 2016 by juanrh
4
Integrate postnuke21 changes enhancement
#48 opened Oct 10, 2016 by juanrh
Ensure compatibility with spark-testing-base enhancement
#45 opened May 15, 2016 by juanrh
safeWordLength doesn't work for the new formulas with letter quantifiers bug
#44 opened May 15, 2016 by juanrh
1
depend on ScalaCheck from the Specs2 dependency enhancement
#43 opened May 15, 2016 by juanrh
Create additional properties for PDStreamGen in the test suite for sscheck enhancement
#39 opened Apr 17, 2016 by juanrh
Add Xor operator to formulas enhancement
#38 opened Apr 16, 2016 by juanrh
Use Scala spores instead of closures to ensure safety of closure serialization enhancement
#37 opened Apr 12, 2016 by juanrh
update supported Spark versions enhancement
#35 opened Apr 1, 2016 by juanrh
Support thrown expectations in DStreamProp.forall enhancement
#29 opened Sep 17, 2015 by juanrh
add option for DStreamProp.forall for automatic resize of generator enhancement
#28 opened Sep 17, 2015 by juanrh
Support configuration of expected results in the three-valued temporal logic enhancement
#27 opened Sep 17, 2015 by juanrh
2
use scalactic require instead of vanilla require for Formula constructors enhancement
#26 opened Sep 12, 2015 by juanrh
new design for projection for Formula objects enhancement
#24 opened Sep 12, 2015 by juanrh
reorder package structure before first release enhancement
#23 opened Sep 1, 2015 by juanrh
Improve asynchrony of property evaluation for streaming enhancement
#22 opened Aug 28, 2015 by juanrh
[EPIC] Port to Apache flink enhancement
#21 opened Aug 27, 2015 by juanrh
1
Parallel execution of scalacheck test cases for streaming properties enhancement
#19 opened Aug 25, 2015 by juanrh
2
add support for names in derived dstreams enhancement
#17 opened Aug 25, 2015 by juanrh
proper scaladoc enhancement
#13 opened Aug 21, 2015 by juanrh
1
Support shrinking in generators for dstreams enhancement
#10 opened Aug 21, 2015 by juanrh
2
Explore idea for dynamic actions on a dstream enhancement
#9 opened Aug 21, 2015 by juanrh
1
Parallel evaluation of assertions in streaming properties enhancement
#8 opened Aug 21, 2015 by juanrh
2
ProTip! Add no:assignee to see everything that’s not assigned.