* Add coreclr test suite

* tests for linux

* No compiler on linux

* feedback

* rename src/fsharp/vs --> src/fsharp/service

* move unit tests to tests"

This fixes #1728 and makes sure we are checking the error code.

This PR also removes the  exclude  option from build.cmd which was causing batch file hell (because of the use of a  !  character!), which was only used to exclude Expensive tests. Now use an explicit  include Expensive .

Due to a change in FsCheck, tests run with a greater effective size
(i.e. generated lists, arrays, strings etc are significantly longer). To
make the tests complete in reasonable time the following changes were
made. First, the maximum size of the test runs in the
CollectionModulesConsistency and AsyncModule tests was changed to 25 and
20 resp. (down from the default, 50). Second, the `haveSameElements`
function was optimized so it is no longer quadratic. (Also note this
function contained a typo bug: `&& ys |>`, not xs.)

Implements fsharp/FSharpLangDesign#47
Closes Microsoft/visualfsharp#989

closes https://github.com/Microsoft/visualfsharp/pull/502

commit 764b21d3d1449bf50c70429805e906f51c22ba49
Author: latkin <latkin@microsoft.com>
Date:   Mon Aug 10 14:20:16 2015 -0700

    Refactor build authoring so that portable profiles work

commit a6fa06157e4a58779f03c999ea53df49bbac7e7f
Author: latkin <latkin@microsoft.com>
Date:   Mon Aug 10 13:19:46 2015 -0700

    Remove strong-naming for core unit tests

commit 1ac38fdf59a4ca52a28f21e78ad781003b91d273
Author: latkin <latkin@microsoft.com>
Date:   Fri Aug 7 17:27:38 2015 -0700

    Make property test location and namespace consistent with existing tests

commit 7c5d8ec14c6521913177ba0d89080329566db906
Author: latkin <latkin@microsoft.com>
Date:   Fri Aug 7 16:53:57 2015 -0700

    All conditional compilation in project file

commit ba0ef70200976036182ed1f395c1a3ca356b6667
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Sun Jul 19 10:41:11 2015 +0200

    Exclude property-based tests from portable47

commit 8c83c8fd57683077f1227dcbebc307adbd7269bc
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Sat Jul 18 10:40:31 2015 +0200

    Integrate PropertyTests into Unittests

commit 1b49c265daa33e3b3c8d423ace44667f087f8e2a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Sat Jul 18 10:32:37 2015 +0200

    Use latest FsCheck

commit da09ceca40429f0d58cdeaea29708ff96f250a41
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 16:26:55 2015 +0200

    zip3 and unzip3 are dual

commit 1eccbb9f0c4989a604282c824160edd6454fe8e5
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 16:23:58 2015 +0200

    zip and unzip are dua

commit a5d635f00d92bdb245f69aee164245f1a8d96c61
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 16:23:38 2015 +0200

    zip can be reversed with unzip

commit ec7ba49eec9fafefa2ef832d7eae0eb7739859b4
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 16:20:32 2015 +0200

    unzip3 is consistent

commit ce62949cf0746c8cc2cf6cabe49531d0d4660b65
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 16:15:46 2015 +0200

    unzip is consistent

commit c1dc0594a80038ba3d3688ce90361a7ddac1c583
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 16:12:37 2015 +0200

    splitAt is reversable with append

commit e23a20deb114db734fa0b5250f8d3bddb3af3d1c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 15:59:11 2015 +0200

    splitAt is consistent

commit 90944a4177a6a4b1468d639eb91795c8dfaf07a8
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 15:53:01 2015 +0200

    partition can be used to sort

commit ab69c2605a7c1fcbceaac517bb80fb4c6dc4a1ac
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 15:49:32 2015 +0200

    partition is consistent

commit 60743fc55ac5750e6930e68ac6d32059082f4cee
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 12:47:00 2015 +0200

    two zips can be used for zip3

commit 82d9c6aed953ef3ec5a42b860af2c766a0fccd98
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 12:34:54 2015 +0200

    zip3 is consistent for collections with equal length

commit 36611476fdfb5898d296a4bc10c8534b18241043
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 12:33:05 2015 +0200

    zip is consistent for collections with equal length

commit 76a41d4b298a3b7791c55c78f3723700a07ab4d6
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 12:30:41 2015 +0200

    windowed returns succeeding elements

commit a916251fb2de802e99cb0b4a05b66ed8bf53277a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 12:22:49 2015 +0200

    windowed returns list with correct length

commit 0f46604fb1d8593612ca2d849e6e3989e1d06514
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 12:22:40 2015 +0200

    windowed 2 is like pairwise

commit ce4c1e8530165abc3ad273018b04f849724a0ce2
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 11:33:46 2015 +0200

    windowed is consistent

commit feb13784382ca56330d5a475adea226764496dc7
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 11:30:31 2015 +0200

    filter and where work similar

commit 0e465b20c0bfa727598f6b9178a3701ea8914fe9
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 11:28:36 2015 +0200

    where is consistent

commit 92c97120f63d8a62f122e905ecfd5babed7ca387
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:40:26 2015 +0200

    unfold is consistent

commit 271857121ed68d10aecfdaa514cd6e465067a188
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:22:50 2015 +0200

    tryPick is safe pick

commit ad34b8910bbc464506dfaf303eb82cc71dd0d3c0
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:21:33 2015 +0200

    tryPick is consistent

commit 077f4da27704aec0bfcbd9c0fc8636fa130659ba
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:19:53 2015 +0200

    tryLast is safe last

commit a772da0c879e1e2cc8a7ff376c385d7092aa8e5c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:18:35 2015 +0200

    tryItem is safe item

commit aa0edffbe77c1584296c0315e7bebe4c5e35c527
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:14:30 2015 +0200

    tryHead and tail gives the list

commit 64a5fe96b7421448da476f3668966d812a6459bd
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:11:59 2015 +0200

    tryLast is consistent

commit ee5e3eb5a3657c335dc3ccaee0d891565398cc46
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:10:57 2015 +0200

    tryItem is consistent

commit 8476b22890700dd7ce679b4c8b709fcddbf1f4f9
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:09:47 2015 +0200

    tryHead is consistent

commit 38b64066f2a05c17a29f3d53bfb1fa1a7cb81cb7
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:04:54 2015 +0200

    tryFindIndexBack and tryIndexFind work in reverse

commit 675252daf9b8016efb27baaeee29a617969c2df5
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:02:17 2015 +0200

    tryFindBack and tryFind work in reverse

commit 25c91010902cbc3db61c45e075b611ece2a6d92a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 10:00:03 2015 +0200

    tryFindIndexBack is consistent

commit ef5e21fe956d5b560968415c91ff93b23a73606e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 09:59:19 2015 +0200

    tryFindIndex is consistent

commit d40c85f1d0e6cf9724717901c9b61115fdb118b9
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 09:57:12 2015 +0200

    tryFindBack is consistent

commit 73c59c7d7296d015d66ea18d16c9d530634f2df9
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jul 2 09:55:28 2015 +0200

    tryFind is consistent

commit 52d47d6dce8934cf38af7c240dd279cc53522e73
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:47:04 2015 +0200

    truncate and take work similar

commit 2d6ca4ad47229f15b9741d0e456ffa10e58bf496
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:42:33 2015 +0200

    fix takeWhile test

commit 97d8d1c9047aa3d39dff398fd2a5aabb3ea7a27a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:41:41 2015 +0200

    truncate is consistent

commit c90f9682c6a67e88a88e7e5b8f2f11982b7e6b69
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:37:58 2015 +0200

    skipWhile and takeWhile gives the list

commit 07e9de1ea6c5e046fac2cf26b306aa9de1fd038c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:34:32 2015 +0200

    skip and take gives the list

commit daea07746414e07313c7d8083ac217a534fd483e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:28:45 2015 +0200

    takeWhile is consistent

commit e86f3bb1798f579cdbefa704cf499c324c36686a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:26:40 2015 +0200

    take is consistent

commit 98195e268c116260dc751fda6c606f550eb59522
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:21:41 2015 +0200

    head and tail gives the list

commit aef989bba2846692779c38607126444d8e0ff090
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 18:17:45 2015 +0200

    tail is consistent

commit 31d0a84a67624260083e5437d999df3842850f4d
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 17:27:27 2015 +0200

    List.sumBy calculates the sum of the mapped list

commit 90747e5dbef9f5428cc721d65744dc38be72086f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 17:23:57 2015 +0200

    sumBy is consistent

commit f16d2bf95d831c2a98250803d735636858b43d2c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 17:11:52 2015 +0200

    List.sum calculates the sum

commit d6eff49af74165cf5ef8ceefbbfaf4731dbb4f48
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 17:08:56 2015 +0200

    sum is consistent

commit e35e19681326ba9d48a36cc7ee20ee9fdfb9925f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 17:06:20 2015 +0200

    sortByDescending actually sorts (but is inconsistent in regards of stability)

commit dbd9a4a045de477d8136ab565564327f2774aa0e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 17:03:17 2015 +0200

    sortWith actually sorts (but is inconsistent in regards of stability)

commit aa0441347d99579fe995f2df10716aeb5f7e2711
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 16:21:17 2015 +0200

    sortBy actually sorts (but is inconsistent in regards of stability)

commit 3c9e6895d1ebfea0a5c180a6388cdea8bb4f79b7
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 16:10:22 2015 +0200

    Seq.sortWithStable is stable

commit 2149c2d8844913cea528eec9df01a649d5068a89
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 16:09:40 2015 +0200

    List.sortWithStable is stable

commit 18b5788051bafb62b2e3b0f4347a566a6559b5b2
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:53:56 2015 +0200

    skip and skipWhile are consistent

commit 47fd3811cb39fa4f71c3a385e55a6daa9dbee3de
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:38:54 2015 +0200

    skipWhile is consistent

commit 90f2dcc6151e5694591d6c1415ad7e1487806d66
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:36:09 2015 +0200

    skip is consistent

commit df9ac49c7b2d2d6f20fa28ed57c279f9b26c6240
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:30:18 2015 +0200

    singleton can be used to replicate

commit aadc0280180128cae445466e533ba04b56bedef9
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:27:51 2015 +0200

    singleton is consistent

commit d2de8a44d49eeaea8dffb17649f08c420a2bf5fd
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:26:10 2015 +0200

    scanBack works like foldBack but returns intermediate values

commit a379e73aa581ff6fca1b72ee681fed2b84453ea7
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:21:54 2015 +0200

    scanBack is consistent

commit b43109f046edf2d76fd396e90b3ac996e2f81f0e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:18:35 2015 +0200

    scan works like fold but returns intermediate values

commit add03c7b2813b26e84a569438bc6b3c368ff9af1
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 15:09:17 2015 +0200

    scan is consistent

commit 5adfd1491ecb53be0b707d478f25a6bbc6b857a5
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 14:05:38 2015 +0200

    rev reverses a list

commit b8574d379791edfd1087ba55a55abb758636cee6
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 13:59:48 2015 +0200

    rev is consistent

commit 065612455a5eb99317a9fca0c5ca882a2a6cfd09
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:48:42 2015 +0200

    replicate creates n instances of the given element

commit 578a2a45f843d49898ff16ce66b3109e21f701e1
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:44:21 2015 +0200

    replicate is consistent

commit 7b8679228330e1a9dd76f5643038cbd693cdf7f1
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:37:10 2015 +0200

    reduceBack works like foldBack with given seed

commit 389a34e43e000b5ae923795f547054e288a3b66d
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:34:47 2015 +0200

    reduce works like fold with given seed

commit 4ffa6e3f68d144dce273e4de7354e5fd2ce74538
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:19:33 2015 +0200

    reduceBack is consistent

commit 0301181712d8aed95f61bb712af1114e63b96ed6
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:18:17 2015 +0200

    reduce is consistent

commit defeca2f9dbebfb1c892731836678458680d6972
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:14:43 2015 +0200

    pick works like find

commit 3af2b4eaf96fc253422b35d273ca90815d02e7d6
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:08:30 2015 +0200

    pick works like choose + head

commit 6f8ef828e106595c829d8ec9389a86b404734280
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 23 12:05:01 2015 +0200

    pick is consistent

commit 752318baf672b718f55b93a711b46418886590ad
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Mon Jun 22 15:07:11 2015 +0200

    Update to FSCheck 2.0.1

commit 0f7e06bbd5abb17e4c969c7aa637bbf3a73e9995
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Mon Jun 22 09:04:11 2015 +0200

    use right method in test

commit 68198d2a697936011fed105d2d36cc497843403f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Sun Jun 21 13:22:18 2015 +0200

    permute works as expected

commit 188238df394b283d9b33c0e6d0fde947596afe96
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:38:35 2015 +0200

    permute is consistent

commit a530cc59ede3084b4d2876bb8743030afa6e227c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:35:31 2015 +0200

    pairwise works as expected

commit 44828ab8352f1b89161b2ff6d3356984724823c3
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:24:14 2015 +0200

    pairwise is consistent

commit 29313fbf99609eb971306684095624e2ec1d4d64
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:21:14 2015 +0200

    minBy id is same as min

commit 35860ba72f04941ebc480fdccf9832e83875746b
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:18:55 2015 +0200

    minBy is opposite of maxBy

commit 5b91e1ae8915e07c4bfe0b7efa1fa867fea00380
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:16:49 2015 +0200

    minBy is consistent

commit 3975155cd6d20d6e3fd5a2307c926a6605c9263e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:15:07 2015 +0200

    maxBy is consistent

commit 819d3d0113ba2567825ec2b3a75ddcf8b0a74744
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:12:53 2015 +0200

    head element after sort is min element

commit 4c97a1cb25d1ee666e7f40177a7a3ec3d2efdad1
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:08:58 2015 +0200

    min is opposite of max

commit 68fe509abb9d5cee4d52f00f2e85d45b755b873f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:02:19 2015 +0200

    min is consistent

commit 58cbd87eac69cb2e36a6dcd2c3cb910c6cd06a36
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 20:00:42 2015 +0200

    max is consistent

commit 88aa02eeaddb1936e8d83e85bd95f2e6733d6c86
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 19:55:21 2015 +0200

    mapi2 looks at every element exactly once and in order - consistenly over all collections when size is equal

commit 579d6de9f44e4c91278b3b95ab8c1ebfe61d8548
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 19:51:16 2015 +0200

    mapi behaves like map with correct order

commit d0188f86011745cf8d352772cd48ecee8423f966
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 19:47:17 2015 +0200

    mapi is consistent

commit 036ee9d0d2ad30b1c333d00ab274477b71f93da0
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 18:01:17 2015 +0200

    mapFoldBack works like map + foldBack

commit e212a3bdb66f4e0ac35dc19396e706dd24454573
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 17:55:43 2015 +0200

    mapFoldBack is consistent

commit c86c1759f1180aebbeedd2bf7e9a64c65c9360c3
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 17:50:25 2015 +0200

    mapFold works like map + fold

commit b7780decd3920d3b2f2c3e6ffbd050f91a44694f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Fri Jun 19 17:42:12 2015 +0200

    mapFold is consistent

commit 2673074f89745690473669ed20134495ba4f568e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 18:07:47 2015 +0200

    map3 looks at every element exactly once and in order - consistenly over all collections when size is equal

commit f5b0022f7005415eef480fc0243c3c693059430b
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:51:12 2015 +0200

    map2 looks at every element exactly once and in order - consistenly over all collections when size is equal

commit d2763843f12d9cb9fe0e1febfe0bc21bdc1d0c39
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:45:20 2015 +0200

    map is consistent

commit ed7278998e3bcb440b5a694d49213bbc4ebbaf9b
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:41:59 2015 +0200

    length is consistent

commit 7735e2cb0b3ebf44ceb8ad1bd205addf20124ec8
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:36:15 2015 +0200

    head is the same as item 0

commit 658702719f4a68fd3a08634586d31ba73c88daf0
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:33:34 2015 +0200

    head is the same as last of a reversed list

commit 6beb2472aee0356b9ac6027272aeea7c5cc8ca65
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:30:03 2015 +0200

    last is consistent

commit a2aeab2ca24a19143c080b15acb426e2e6143b71
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:26:34 2015 +0200

    iteri2 looks at every element exactly once and in order - consistenly over all collections when size is equal

commit 40dc013a056ec43e199e1cc085a6f0f9394a4e94
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:24:24 2015 +0200

    iteri looks at every element exactly once and in order - consistenly over all collections

commit bfdc74e2efa5c43ae199181b043406e5a3e85969
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:20:50 2015 +0200

    iter2 looks at every element exactly once and in order - consistenly over all collections when size is equal

commit af9ef8412349fc7979c4c64bc638b0293b2bdd2e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:14:20 2015 +0200

    iter looks at every element exactly once and in order - consistenly over all collections

commit 14abd709b9ba33d412ec8d17cac82d01c774484b
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:06:23 2015 +0200

    list isEmpty if and only if length is 0

commit 6020bea19971c562bf9b2c4f59ada5ccf8869de1
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:03:01 2015 +0200

    head fails when list isEmpty

commit 33c8ac3f91035f3c0e659e7f7b26dae3523af593
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Thu Jun 18 17:01:00 2015 +0200

    isEmpty is consistent

commit d3cf7b50248cb86b5fa29c0c50079e054dcbafda
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 22:20:53 2015 +0200

    init is consistent

commit ed8382f4cf5a5247ae2b81b38b7888ef04ad4bf7
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 22:17:24 2015 +0200

    head is consistent

commit 83a4a4fbe1f10dfef463b349cd29b9b53934edd5
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 22:09:29 2015 +0200

    groupBy is consistent

commit a8870da6ac3b9cdb0ab928712814ff836c7fc47c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 22:04:19 2015 +0200

    forall2 is consistent for collections with equal length

commit c1f56f2cf72d5bd080f5885cfee6905758aeec3a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 22:02:16 2015 +0200

    exists and forall are dual

commit ab9f2a7aa60e2dbbd37351ef2ed898844da26cb7
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 21:57:34 2015 +0200

    forall is consistent

commit c0e85254e0d243d974a78de7bcf3c9409a218cc6
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 15:28:31 2015 +0200

    foldBack2 is consistent

commit 51968ea5027dce53ed7467bef4aeba355081031f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 15:24:57 2015 +0200

    fold2 is consistent

commit f1d06d4c747339eeff0c2bb83911cb6c25fc167e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 15:17:40 2015 +0200

    item is consistent - if we disregard errors for now

commit 28015e09a3a827bff6903db7b0886958e920a64e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 15:01:55 2015 +0200

    indexed is adding correct indexes

commit 7f1900fb6b429b3efbde8f64f8b6404f34469ba8
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:57:11 2015 +0200

    indexed is consistent

commit ee0fc022f07cc33d57364afeba0056e3fb4caaae
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:54:34 2015 +0200

    foldBack is consistent

commit aa2cf1f420e3974c1d51170afcb32e27ea52969e
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:52:19 2015 +0200

    fold is consistent

commit 9cc2749248216e63abfc6c7bc44f8b680962953a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:45:45 2015 +0200

    sort and sortDescending work in reverse

commit 8124099c4f19fc7689dfe310c0470e88a2621218
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:43:48 2015 +0200

    sortDescending is consistent

commit a9bc06383815b71be1d4ae983bd0d968de3b127f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:41:20 2015 +0200

    findIndexBack and findIndex work in reverse

commit ae080f7a84471ea61053d044f249652a6e792132
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:29:28 2015 +0200

    findIndexBack is consistent

commit bed887579ef5c5ce8f394d9ff5d7a978402892cf
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:28:27 2015 +0200

    findIndex is consistent

commit ff49e7a1fc374734f69eb3819595725c881fb27f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:15:27 2015 +0200

    findBack and find work in reverse

commit 75727b7a8c5d1febac5c20dc4bebd142a0c4534a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:11:23 2015 +0200

    findBack is consistent

commit 73dd2738cd1c4310c77d2fbd951a49560d710d7f
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:09:20 2015 +0200

    find and exists work similar

commit 655d7e4e5b4dae8a7c8136022a847c48be64ad66
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:05:39 2015 +0200

    find is consistent

commit d46426187f1100c21e000e53bf7b94ad620f8db2
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 14:01:22 2015 +0200

    filter and except work similar

commit 82291c5dfe8bbc7a51a3403e49e5104c3c19258c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 13:52:36 2015 +0200

    filter is consistent

commit 3d002fad4344220b491ec0fa2b0922d9f5cda7fa
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 13:23:29 2015 +0200

    exists2 is consistent for collections with equal length

commit 453bcd5b4e5778362e603253a3b97f1d128c1ed6
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 13:01:06 2015 +0200

    exists is consistent

commit 350a7c19394b36e9a3df588a5a93e26137018644
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 12:13:04 2015 +0200

    splitInto produces chunks exactly `count` chunks with equal size (+/- 1)

commit 6ae9f88ef3ba4afc9e747fadff161913f8edcabc
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 11:53:26 2015 +0200

    except is consistent

commit 3ff3adc38bf295ed24cf8f7bdc1eb425fcc82f89
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 11:53:19 2015 +0200

    chunkBySize produces chunks exactly of size `chunkSize`, except the last one, which can be smaller, but not empty

commit 381ac7aa6974b8c41260e8824f6d765aecb15fd9
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:54:10 2015 +0200

    exactlyOne is consistent

commit 368d48e4355f7c070017d4c1fa64675bcb9d0ffb
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:39:59 2015 +0200

    splitInto is reversable with collect

commit 1e62b197f56de9f308f25e78782f253974b66c8a
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:38:14 2015 +0200

    splitInto is consistent

commit f43600794acb193fa1bf0185dbd1e18e58562e36
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:35:42 2015 +0200

    distinctBy is consistent

commit a0a6778c58e1d2c427c7934730de8c05b8f3a3ae
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:34:08 2015 +0200

    distinct is consistent

commit 7733d87793d152a8616ba92eae927d83f19f605b
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:24:12 2015 +0200

    distinctBy is stable

commit b30abef782ca0293476ce1b75433d22262d60332
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:17:24 2015 +0200

    distinct creates same elements like a set

commit 698cd81d874e2904208a97912cd3094f43488113
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:07:01 2015 +0200

    chunkBySize is reversable with collect

commit e6ef27687e9eb57139ee2adfe6fc38058ad02103
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Wed Jun 17 10:02:33 2015 +0200

    fix sortby test

commit fe05438aab08830504edd700fa56d2cd9cdded86
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 16 22:28:34 2015 +0200

    chunkBySize revealed bug - references #501

commit 6d27acf06eea8a7f2fd5c12962dcda2ec2463ea4
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 16 21:22:43 2015 +0200

    averageBy is consistent

commit e9e91e5ea5f736a02335ee76737b6984019fb118
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 16 21:00:57 2015 +0200

    average is consistent

commit 528d209faf2fbe1273766d5660919f31e7b5e2cb
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 16 20:31:22 2015 +0200

    sort is consistent

commit 7d76a0e82280e5458a2ac8f74e7fa3b71a44850c
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 16 20:24:08 2015 +0200

    Only keep interesting tests

commit a7b2072821e06e1b24f4af9c8974b2b83c321081
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 16 20:12:49 2015 +0200

    Refactor property tests

commit 6c0ee0167924068170a757fc269260044e61508b
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Tue Jun 16 19:58:44 2015 +0200

    Extract isStable property

commit 369e07f4080988ebc6a99bc2bb9787836b08c623
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Sat Apr 18 19:21:36 2015 +0200

    Move sort vs. sortBy id test into the List baseline test module

commit 662618cc97c4045305d7fd109f9d2842a0ff405b
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Sat Apr 18 19:16:50 2015 +0200

    Array sort is not stable. This is expected

commit f7dd12814cdc9fbcec450a97c0ad9855a903606e
Author: Tomasz Heimowski <tomasz.heimowski@outlook.com>
Date:   Sat Apr 18 16:30:00 2015 +0200

    uncomment list properties

commit fe65ee4b5b2d62135a80c15555254ba01c36a7eb
Author: Tomasz Heimowski <tomasz.heimowski@outlook.com>
Date:   Sat Apr 18 16:27:10 2015 +0200

    separate test for collection moduls

commit d7290d651f743ecd346f02e4a54379433a2bb6c7
Author: Tomasz Heimowski <tomasz.heimowski@outlook.com>
Date:   Sat Apr 18 16:18:36 2015 +0200

    extract seperate modules in property tests project

commit 4959d0545bb95f2bed2a300ad721c0d89a21a3ee
Author: Tomasz Heimowski <tomasz.heimowski@outlook.com>
Date:   Sat Apr 18 16:14:01 2015 +0200

    add ListProperties.fs to project

commit c2839f558c01f485107ea6e5ed7860ae3122ca34
Author: Tomasz Heimowski <tomasz.heimowski@outlook.com>
Date:   Sat Apr 18 16:05:24 2015 +0200

    properties for stability

commit 856534b62f7999622b222fdb3db913b126012c46
Author: Tomasz Heimowski <tomasz.heimowski@outlook.com>
Date:   Sat Apr 18 15:52:33 2015 +0200

    some properties for list module; consistency collections properties

commit 9b321763bf18a426359aec5b6292e9923c331bba
Author: Steffen Forkmann <steffen.forkmann@msu-solutions.de>
Date:   Sun Apr 12 11:36:28 2015 +0200

    Add FsCheck project