Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/typelevel/scalacheck
Property-based testing for Scala
https://github.com/typelevel/scalacheck
Added Arbitrary instance for Set
4b65fc755b9863623dc372329250428a46162a46 authored almost 17 years ago
4b65fc755b9863623dc372329250428a46162a46 authored almost 17 years ago
e2018abdf5721952e90e080b3e080955a3b33c14 authored almost 17 years ago
Updated release notes
a3e74d0d48c81579af4ee167154d71a713c8a1df authored almost 17 years ago
a3e74d0d48c81579af4ee167154d71a713c8a1df authored almost 17 years ago
Removed debug print
bae78155aa9afe8beaedba522f99da1a381ecbfb authored almost 17 years ago
bae78155aa9afe8beaedba522f99da1a381ecbfb authored almost 17 years ago
Merged changes to branch into trunk
c08d8e3a52dbe2149e8116809506b102623c54d8 authored almost 17 years ago
c08d8e3a52dbe2149e8116809506b102623c54d8 authored almost 17 years ago
Updated release notes
37be194bdbb68ccb8867470a181a4c3b9b938d42 authored almost 17 years ago
37be194bdbb68ccb8867470a181a4c3b9b938d42 authored almost 17 years ago
Added method to Gen class for generating sample value
30dee65451a0066483851b20431f53c55b074dd2 authored almost 17 years ago
30dee65451a0066483851b20431f53c55b074dd2 authored almost 17 years ago
Added implicit Arbitrary instance for Array
fd34935a55b0bff1f3c2bbfac595a54fbf515d7a authored almost 17 years ago
fd34935a55b0bff1f3c2bbfac595a54fbf515d7a authored almost 17 years ago
Changed build version. Fixed errors when compiling with Scala 2.7 (issue #9).
119dd8cf932ef25b5c171cae237b151b61dfbd9b authored almost 17 years ago
119dd8cf932ef25b5c171cae237b151b61dfbd9b authored almost 17 years ago
Fixed issue #7
2f057ce4213fbad3076d49c773d6adce65ab554e authored almost 17 years ago
2f057ce4213fbad3076d49c773d6adce65ab554e authored almost 17 years ago
Small tweak to test script
2e3f52e354076199221f2e8ad3848cb371317ac1 authored about 17 years ago
2e3f52e354076199221f2e8ad3848cb371317ac1 authored about 17 years ago
Cleaned up Test.scala a bit
df41960080a60622e863f003614d0a11c63f1d4b authored about 17 years ago
df41960080a60622e863f003614d0a11c63f1d4b authored about 17 years ago
Added multi-threading support to test execution, by using Actors.
c45c445c23c513c8d6c752029e258bf704e4a7e3 authored about 17 years ago
c45c445c23c513c8d6c752029e258bf704e4a7e3 authored about 17 years ago
Cleaned up Prop.scala
fe209f7c4e613d285b90b288590c3e08bece0208 authored about 17 years ago
fe209f7c4e613d285b90b288590c3e08bece0208 authored about 17 years ago
Added ScalaCheck info at top of each source file.
d92a023be45fb377590d48a0c085d38bcc124dfa authored about 17 years ago
d92a023be45fb377590d48a0c085d38bcc124dfa authored about 17 years ago
Small changes to build file and test script
f7064ced3e054463ef8828afecad22f1e29ccc44 authored about 17 years ago
f7064ced3e054463ef8828afecad22f1e29ccc44 authored about 17 years ago
Cleaned up Gen.scala and added many specifications. Improved test script.
7f2ce3ff828080fb8f95ea81654af3f0117aaee8 authored about 17 years ago
7f2ce3ff828080fb8f95ea81654af3f0117aaee8 authored about 17 years ago
Cleaned up Gen.scala, added many specifications
8b0641073b290f7ae577d5d79f994b2b0ac33002 authored about 17 years ago
8b0641073b290f7ae577d5d79f994b2b0ac33002 authored about 17 years ago
build.xml cleanup
085a2f23781229c63e8073a44c0563c7550616a2 authored about 17 years ago
085a2f23781229c63e8073a44c0563c7550616a2 authored about 17 years ago
Changed test script
27c0371772097abd04c98c181e879dcd8ecc1730 authored about 17 years ago
27c0371772097abd04c98c181e879dcd8ecc1730 authored about 17 years ago
Small fix to Prop.property and Prop.forAll
8804149e98e263d249b9cbe76e0ad0fb0f8432f3 authored about 17 years ago
8804149e98e263d249b9cbe76e0ad0fb0f8432f3 authored about 17 years ago
Added Gen.pick, Gen.someOf, Gen.sequence, Gen equality operators, Prop.exists. Fixed Prop &&, || and ++.
f615317129b7c3ac6c5ffcd2bf69695e56e1e65e authored about 17 years ago
f615317129b7c3ac6c5ffcd2bf69695e56e1e65e authored about 17 years ago
b76bcd76b0d16ac960030862cb531ee9e98fb420 authored about 17 years ago
Small change to Commands.scala
bed304f3d62fd0d27644285182a5d5ad66b52ee5 authored about 17 years ago
bed304f3d62fd0d27644285182a5d5ad66b52ee5 authored about 17 years ago
Improved the SetCommand in Commands.scala. Updated the new version of Arbitrary/Shrink in the inference branch (not compiling yet, due to missing feature in Scala)
04544d3d0463daa3c43ba1e3748c96c7ab1a6208 authored about 17 years ago
04544d3d0463daa3c43ba1e3748c96c7ab1a6208 authored about 17 years ago
Prepared release 1.1.1
ffd54b7cc282d6efd5ed5164265a1c5ae6a17268 authored about 17 years ago
ffd54b7cc282d6efd5ed5164265a1c5ae6a17268 authored about 17 years ago
Using label also in Prop
35336939dd04d548f8e000584772dd3d56ae95fd authored about 17 years ago
35336939dd04d548f8e000584772dd3d56ae95fd authored about 17 years ago
Fixed errors in build file
f5e04f93a999e8d5c58ca783dad3e2c117f034d7 authored about 17 years ago
f5e04f93a999e8d5c58ca783dad3e2c117f034d7 authored about 17 years ago
Possible to store result from command
cdd23e7e0802bd28729f09ea78d7653fe31727c1 authored about 17 years ago
cdd23e7e0802bd28729f09ea78d7653fe31727c1 authored about 17 years ago
Additions to release notes. Changed root package name to org.scalacheck.
9d9cf1e728a2655fced7d60ae9cc8e78739f5df3 authored about 17 years ago
9d9cf1e728a2655fced7d60ae9cc8e78739f5df3 authored about 17 years ago
Updated release notes for 1.1
53bf253be774b7c1095dfc97de7cf810f2ccbd89 authored about 17 years ago
53bf253be774b7c1095dfc97de7cf810f2ccbd89 authored about 17 years ago
Added doc and src to sbaz package
b24d36bef26e2291fcbe6ae67a1761e75783db4a authored about 17 years ago
b24d36bef26e2291fcbe6ae67a1761e75783db4a authored about 17 years ago
Removed scaladoc from JAR-file
f1d1aad0f12b0bbe9f2c762c5f9d695d198f3089 authored about 17 years ago
f1d1aad0f12b0bbe9f2c762c5f9d695d198f3089 authored about 17 years ago
Fixed broken specification
3ba68395016e40cb74257ccf5deef8d26458c01a authored about 17 years ago
3ba68395016e40cb74257ccf5deef8d26458c01a authored about 17 years ago
Added state machine tester, Commands.scala
26acf62be3de4cba77c404b27c5e1c11a5872dd4 authored about 17 years ago
26acf62be3de4cba77c404b27c5e1c11a5872dd4 authored about 17 years ago
80c47b3775b16b60bb86d9fe395e94626031c3b7 authored about 17 years ago
bae20e135102af28d454fc7924fca2e94259dea1 authored about 17 years ago
1785449d86138da8eba1ac76b02e3c38be967681 authored about 17 years ago
a15147fe819c36cc8d6dfba4b4baeca320cfd887 authored about 17 years ago
7d621b4f80f8a27eff916c2e868bdf2f28fde282 authored about 17 years ago
c08f04e59e9d30f5aa7493095533caf3abd56aa3 authored about 17 years ago
8f07ccceb42e9f3d479ed94a1784f12fe07dd0a4 authored about 17 years ago
a31fc839fc4559a41ee281aab1d5a1be90aec1fd authored about 17 years ago
Testable renamed to Properties
8888ccd4eb0294a8571c5e4b6f2b628e9c54916a authored about 17 years ago
8888ccd4eb0294a8571c5e4b6f2b628e9c54916a authored about 17 years ago
ba769b28d799eda93c7ccd4a65e9e4cf9f212970 authored about 17 years ago
Did Rickard intend to delete Testable.scala?
46a812bc0f99e3e7a6f1e37be9a6add844e9e990 authored about 17 years ago
46a812bc0f99e3e7a6f1e37be9a6add844e9e990 authored about 17 years ago
Minor fixes and additions
8fe052202a8011c86486aee628a0b2c75f6a4474 authored about 17 years ago
8fe052202a8011c86486aee628a0b2c75f6a4474 authored about 17 years ago
Updated release notes for 1.0
d84e44ce14a3e89cc59e4c1065932c92a8a249b0 authored over 17 years ago
d84e44ce14a3e89cc59e4c1065932c92a8a249b0 authored over 17 years ago
Extracted console printing to a separate object
6b7a1b3ebae008adff6a4a349b8284b3e3875565 authored over 17 years ago
6b7a1b3ebae008adff6a4a349b8284b3e3875565 authored over 17 years ago
Small changes
fcdb55b0cdf5febc4b45b1e4945fed6bd55d2071 authored over 17 years ago
fcdb55b0cdf5febc4b45b1e4945fed6bd55d2071 authored over 17 years ago
Added some character and string generators
bea44538cb533fa4cc2ddffb4e59bc0c041f9770 authored over 17 years ago
bea44538cb533fa4cc2ddffb4e59bc0c041f9770 authored over 17 years ago
Implemented Gen.choose(Double,Double) (Issue #3)
ef3bf32c9678ab7b29e405e5e345d9a6085bf93f authored over 17 years ago
ef3bf32c9678ab7b29e405e5e345d9a6085bf93f authored over 17 years ago
Preparation for 1.0-RC1 release
61c12ad08f01515e546a5dadf7132d8e93fcf992 authored over 17 years ago
61c12ad08f01515e546a5dadf7132d8e93fcf992 authored over 17 years ago
Small fixes
72227763311248ad486d3b2c598dd6c20ce1acfb authored over 17 years ago
72227763311248ad486d3b2c598dd6c20ce1acfb authored over 17 years ago
Refactoring
0ab4d8304a2a360f569c241466d6ac5d95477bd3 authored over 17 years ago
0ab4d8304a2a360f569c241466d6ac5d95477bd3 authored over 17 years ago
Fixed implementation of list shrinker.
c6bd40fe58403d6418fbec08f7737033aed22e83 authored over 17 years ago
c6bd40fe58403d6418fbec08f7737033aed22e83 authored over 17 years ago
Implemented shrinking for lists. Changed tuple shrinking. Changed to used lazy streams for shrinking instead of Seq.
05860442c0c0325dc35a9de5e4aa33989f983970 authored over 17 years ago
05860442c0c0325dc35a9de5e4aa33989f983970 authored over 17 years ago
Implemented shrinking for tuples
437935b3f93202291ee8669e90ed9ccc2bbf628d authored over 17 years ago
437935b3f93202291ee8669e90ed9ccc2bbf628d authored over 17 years ago
Nicer console output
e1ab89a6991b31f0d269b0fa0c626ecd3278c91e authored over 17 years ago
e1ab89a6991b31f0d269b0fa0c626ecd3278c91e authored over 17 years ago
Small beatufications
fcbdcfd7ee2249dbfe8d465a40441458f11c4999 authored over 17 years ago
fcbdcfd7ee2249dbfe8d465a40441458f11c4999 authored over 17 years ago
Changed shrinking algorithm a bit
c4eba78a9a512e87389177632e0dd08c88f93f39 authored over 17 years ago
c4eba78a9a512e87389177632e0dd08c88f93f39 authored over 17 years ago
Some refactoring done.
e1250a44b1d6fcc6feb1e28f7690f7ff73676865 authored over 17 years ago
e1250a44b1d6fcc6feb1e28f7690f7ff73676865 authored over 17 years ago
Fixed stack overflow bugs in shrinking algorithm. Refactoring.
ebd70afafce60071fe2510d6f56f11deb6f06df1 authored over 17 years ago
ebd70afafce60071fe2510d6f56f11deb6f06df1 authored over 17 years ago
Implemented shrinking for property functions. Seems to be working. Have not added implicit shrinks for common types yet.
67d4bf8e33a99d9548e8f05d4d8b7b1102f62ac8 authored over 17 years ago
67d4bf8e33a99d9548e8f05d4d8b7b1102f62ac8 authored over 17 years ago
Renamed Testable.addProperty to Testable.specify
9d5d9f3104e9739ac7a1ff7c8b1706e249fcf0ab authored over 17 years ago
9d5d9f3104e9739ac7a1ff7c8b1706e249fcf0ab authored over 17 years ago
Commit mistakes
a36f91f5e813d6d9ecca39c4f3364f832a37fec7 authored over 17 years ago
a36f91f5e813d6d9ecca39c4f3364f832a37fec7 authored over 17 years ago
Finished implementing forAllShrink. Seems to be working. Lots of refactoring done
ee2205f3053ea57d9f82a25875f9d6cf03f8c6d1 authored over 17 years ago
ee2205f3053ea57d9f82a25875f9d6cf03f8c6d1 authored over 17 years ago
Added experimental shrinking support in forAllShrink, not tested yet. Fixed bugs in property operators
adac21404e1891eaa560ecd61a18ccc5c1960370 authored over 17 years ago
adac21404e1891eaa560ecd61a18ccc5c1960370 authored over 17 years ago
Added algebraic operators to Prop class. Added frequency generator.
837335e624877ae0d60c165048d08ca5fca505c2 authored over 17 years ago
837335e624877ae0d60c165048d08ca5fca505c2 authored over 17 years ago
Added frequency generator combinator
1c933de00c853fa554b9c50dbf07e49982fbce7a authored over 17 years ago
1c933de00c853fa554b9c50dbf07e49982fbce7a authored over 17 years ago
Some more refactoring
12bd783eab504ffb3396cb96b2ea741fe33e3236 authored over 17 years ago
12bd783eab504ffb3396cb96b2ea741fe33e3236 authored over 17 years ago
Lots of refactorings
cbc363fce12009aa36b1b966a82102e98a09ab92 authored over 17 years ago
cbc363fce12009aa36b1b966a82102e98a09ab92 authored over 17 years ago
Preparing for 0.2 release
c222d07af9c69824bbeab16d5ecf5fe2a708ab01 authored over 17 years ago
c222d07af9c69824bbeab16d5ecf5fe2a708ab01 authored over 17 years ago
Small fixes and updates
7e979bcbe8338297659f82fc26737657dfc7d0c6 authored over 17 years ago
7e979bcbe8338297659f82fc26737657dfc7d0c6 authored over 17 years ago
Added properties that tests generator combinators. Fixed bugs found.
0ff9e09ea3cf80af3fea78e84ff57f8048a8d0e5 authored over 17 years ago
0ff9e09ea3cf80af3fea78e84ff57f8048a8d0e5 authored over 17 years ago
Added an example file
cce2bf038647c9c80b7bc4336d60c65194c02987 authored over 17 years ago
cce2bf038647c9c80b7bc4336d60c65194c02987 authored over 17 years ago
Fixed bugs in Testable, added testCases method for integration with SUnit
f09a208a036e7974871065bf257cda6ee3cafaaf authored over 17 years ago
f09a208a036e7974871065bf257cda6ee3cafaaf authored over 17 years ago
Added Testable trait, to ease management of many properties
0656f7e335f06df3f8ef2772cf684c43f5a432b9 authored over 17 years ago
0656f7e335f06df3f8ef2772cf684c43f5a432b9 authored over 17 years ago
Added imply function that can take several implication conditions (as case branches)
e21e45427cbf19dde8ec8977b7e79b9d4ca14d97 authored over 17 years ago
e21e45427cbf19dde8ec8977b7e79b9d4ca14d97 authored over 17 years ago
Adding Intellij IDEA 6 module file
82d9dfee76bf76fea533be79e3ac0b4484542b5c authored over 17 years ago
82d9dfee76bf76fea533be79e3ac0b4484542b5c authored over 17 years ago
Added some ScalaCheck properties for ScalaCheck itself. Run ant test to test them.
3f8fd8c3c51baeb2fcdd2f429b59db85cb8ff90c authored over 17 years ago
3f8fd8c3c51baeb2fcdd2f429b59db85cb8ff90c authored over 17 years ago
Splitted ScalaCheck.scala into Gen.scala, Prop.scala, and Test.scala
1f9c0b5afe481aa1df39aca02be89f62a5137a92 authored over 17 years ago
1f9c0b5afe481aa1df39aca02be89f62a5137a92 authored over 17 years ago
Fixed issue #2
54ba77dfec93f7c98441d678b604ded54edbfe1a authored over 17 years ago
54ba77dfec93f7c98441d678b604ded54edbfe1a authored over 17 years ago
Small adjustment to property builder functions, now you don't have to specify return type Prop on your properties.
ae203c4879b4143ad46818822b45400a2e2b07b4 authored over 17 years ago
ae203c4879b4143ad46818822b45400a2e2b07b4 authored over 17 years ago
Fixed issue #1
fc83fbce3f9bd244417f7e807ffef5d9b2f07682 authored over 17 years ago
fc83fbce3f9bd244417f7e807ffef5d9b2f07682 authored over 17 years ago
Updated build scripts
d97cc8060c5cbf6ee800c1a2f5b10846098e8ef9 authored over 17 years ago
d97cc8060c5cbf6ee800c1a2f5b10846098e8ef9 authored over 17 years ago
Updated build script. Automatically builds Scala Bazaar package now
05a5e66fa54966adb830acb532cb0c5d86627c96 authored over 17 years ago
05a5e66fa54966adb830acb532cb0c5d86627c96 authored over 17 years ago
Final commit before release 0.1
de08251a310587beae75bd020a043cd5b249b254 authored over 17 years ago
de08251a310587beae75bd020a043cd5b249b254 authored over 17 years ago
Ant build file added
da707497e4fdd07731def72c2ed51b2ce633e5d0 authored over 17 years ago
da707497e4fdd07731def72c2ed51b2ce633e5d0 authored over 17 years ago
Divided Test into Prop and Test
aa2c440dfa88beb60550de53105589292572979e authored over 17 years ago
aa2c440dfa88beb60550de53105589292572979e authored over 17 years ago
Added combinators
64daf68fa0850fd6e01426db7d75c5bfcbbe48df authored over 17 years ago
64daf68fa0850fd6e01426db7d75c5bfcbbe48df authored over 17 years ago
Nicer test outputs
ad01676304d3af4e7e6e06afa2bb0d714ebdbdc0 authored over 17 years ago
ad01676304d3af4e7e6e06afa2bb0d714ebdbdc0 authored over 17 years ago
The checker now performs repeated testing
824634489416d3e5a2d5892b033afb4f238ba195 authored over 17 years ago
824634489416d3e5a2d5892b033afb4f238ba195 authored over 17 years ago
Initial import
ab3c5ce954366f3e148cd36acfc2be9223f2db04 authored over 17 years ago
ab3c5ce954366f3e148cd36acfc2be9223f2db04 authored over 17 years ago