1. 30 9月, 2015 5 次提交
  2. 29 9月, 2015 2 次提交
  3. 24 9月, 2015 1 次提交
  4. 17 9月, 2015 5 次提交
  5. 09 9月, 2015 7 次提交
  6. 04 9月, 2015 2 次提交
  7. 03 9月, 2015 2 次提交
    • L
      Fix diamondassembly TP test · 90c4e668
      latkin 提交于
      90c4e668
    • E
      Clean up some tests · 6424eb87
      enricosada 提交于
      closes https://github.com/Microsoft/visualfsharp/pull/610
      
      commit e3bcbbc79a9edb6ff44f9fff75115d0898570371
      Author: enricosada <enrico@sada.io>
      Date:   Tue Feb 10 18:47:05 2015 +0100
      
          test typeProvider/diamondAssembly was a false positive
      
      commit 232dc65c99976736ee2698444b8a13b3b27a087f
      Author: enricosada <enrico@sada.io>
      Date:   Tue Feb 10 17:29:57 2015 +0100
      
          fix test
      
      commit 987a6be1e581d1939114e9c5d284167c0a99f749
      Author: enricosada <enrico@sada.io>
      Date:   Thu Jan 22 20:10:32 2015 +0100
      
          compile core/quotes/cslib.dll
      
          the cslib.dll assembly should be compiled at test build phase, not added to repository
      
      commit cc9cf3b8a7afb1033b020c753c648be91e8ff3fb
      Author: enricosada <enrico@sada.io>
      Date:   Thu Jan 22 19:35:26 2015 +0100
      
          remove useless log entry
      
          the log function is used to write errors to failures.log file, not info
      6424eb87
  8. 02 9月, 2015 3 次提交
  9. 23 8月, 2015 1 次提交
  10. 20 8月, 2015 1 次提交
    • E
      Remove type provider security dialog · 0f514efe
      enricosada 提交于
      closes https://github.com/Microsoft/visualfsharp/pull/448
      
      commit aa6ad862d38a87693f7bfe9dcb414b1232d3d3cf
      Author: latkin <latkin@microsoft.com>
      Date:   Wed Aug 19 16:42:36 2015 -0700
      
          Update some test baselines
      
      commit 89cf0f11ba2a59a3874768e272794e15c4a2d357
      Author: latkin <latkin@microsoft.com>
      Date:   Wed Aug 19 15:17:33 2015 -0700
      
          Remove final remnants of TP dialog/notifications
      
      commit 593105872df325c008abef3b7a62ccca16642a2a
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 20:34:10 2015 +0200
      
          fix build
      
      commit a97dca644be7476148574c33b8c7d63b945ff7c1
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 19:48:48 2015 +0200
      
          update comments
      
      commit 7db505c0760467de7d8a59025dfea4342c8db90b
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 19:42:16 2015 +0200
      
          renamed parameter
      
      commit 009e93e6b0544ae3b9e1d63db8f73e9254178208
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 19:21:58 2015 +0200
      
          cleanup
      
      commit 9e17c5a889150aa330b52088d7c6a2c55649f0f6
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 18:56:30 2015 +0200
      
          update comments
      
      commit 9e5d919f2ea1c82d0a508e29a6558e7464062aca
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 16:28:17 2015 +0200
      
          removed TypeProviderToolsOptionsPage
      
      commit ca48b43b8b2b352909fa4534344d951edbf8c08f
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 16:10:35 2015 +0200
      
          remove unused method TypeProviderToolsOptionsPage.FindVisualChildByName
      
      commit b45c580484e310491157c70cfcb15c6478a7324e
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 16:05:04 2015 +0200
      
          remove unused directive TYPE_PROVIDER_SECURITY
      
      commit 981f9eb29a09eec8ae5720a1d0fe155294317b67
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 15:56:17 2015 +0200
      
          remove unused (i added this)
      
      commit 1893748eb2d8abc8f011c9ff28de7c7f270dd286
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 15:15:48 2015 +0200
      
          empty for
      
      commit 8fba3ee6102f3ee4b351f4423263125229a82383
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 15:13:55 2015 +0200
      
          inline always None
      
      commit e4e0b43776a6d544d6a791a2bb7e7f2ad5b7474c
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 15:10:15 2015 +0200
      
          remove usage of GlobalsTheLanguageServiceCanPoke.displayLSTypeProviderSecurityDialogBlockingUI
      
      commit 6b07c021e408df34079edec41aecebca03bccbd8
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 15:07:22 2015 +0200
      
          remove useless GlobalsTheLanguageServiceCanPoke.theMostRecentFileNameWeChecked
      
          this global variable was used to save the last parsed file, to find current project.
          That doesn't work because if the file is a .fsx script, a standalone project is used instead of .fsproj
      
      commit 9ab57edc6517e2f1f588d95f38b2e68200bc7bb6
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:25:24 2015 +0200
      
          remove the global dialog
      
      commit 9de44b8761d5d70229e5e7b1e4fe95e96f57701a
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:23:55 2015 +0200
      
          inline None
      
      commit cbd97f46079a428d52945686591a46b582091369
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:22:40 2015 +0200
      
          inline always None parameter
      
      commit 9f059762fa5f2c67fa65331e8ee580e6fa9fae62
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:20:57 2015 +0200
      
          inline always None parameter
      
      commit 0fac5ed297a8e2dbd1e3e2b6c481ad5968bb371e
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:17:23 2015 +0200
      
          inline always None parameter
      
      commit 3708022d983eed572fed39d3793c3047e20c3926
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:14:45 2015 +0200
      
          inline always None parameter
      
      commit 7cd8ed303868ed8da6c2057034c31a7e099f118a
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:13:27 2015 +0200
      
          inline always None parameter
      
      commit 010208bcffe22973c065c13dffcfe5722fe02cff
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:07:19 2015 +0200
      
          inline always None parameter
      
      commit ebae5bbc671a4d5f33d40522e99868beb78aacc0
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 14:02:30 2015 +0200
      
          inline always None parameter
      
      commit 4f24a2f1881dc7906b3e7ca17fbc6d8acd87e5af
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 13:56:55 2015 +0200
      
          fetch list of type provider from imported assemblies
      
      commit c909474f92228e6d77eb68a37a67044a090cc7d7
      Author: enricosada <enrico@sada.io>
      Date:   Thu May 21 11:08:01 2015 +0200
      
          removed unused parameter
      
      commit 77e22117640281a3ec8f0a8bf90d642445e59d04
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 19:16:43 2015 +0200
      
          move displayDialog logic in caller function
      
      commit 9e4654646700dedee785deac305bea2ca276b86c
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 19:06:41 2015 +0200
      
          removed if with always true condition
      
      commit 55afa6375f4f3ba80dd277e3a3dbda3c88b5203c
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 19:06:09 2015 +0200
      
          inline wasApproved
      
      commit c77e706a49511aa33067fadb247e15b2057fc7e8
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 19:05:30 2015 +0200
      
          remove unused true
      
      commit 6bf7f5c8e7bd6e826045da45e5e7dd9b0c858306
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 18:59:55 2015 +0200
      
          removed if with always true condition
      
      commit f0619b2982b3145f629a53f9b4e4ba007faefb0b
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 18:57:25 2015 +0200
      
          removed unused _ok
      
      commit 41599f2d503c141841d777b8384401a4ecb25c52
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 18:55:39 2015 +0200
      
          ok is always true
      
      commit bc37a2f415fd9053ec0a3cc3d6afb235e9bdb790
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 18:53:37 2015 +0200
      
          removed compiler option --validate-type-providers
      
          removed msbuild property ValidateTypeProviders
      
      commit 8a2c5b633c32ebc3032416bec5f5040a008055ed
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 20 18:32:39 2015 +0200
      
          removed useless parameter
      
      commit de82d4b9efcc26ba7cb3ffc8bcd72aec3d11ff19
      Author: enricosada <enrico@sada.io>
      Date:   Mon May 18 14:10:11 2015 +0200
      
          add IProjectSite.AssemblyReferenceIsTypeProvider
      
      commit 30de2f7de7669b57b48ee4098c243f9cd31ff5b3
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 19:04:48 2015 +0200
      
          inline function, the UIThread.RunSync action was unused
      
      commit b111aa2ad5782d1f5956bbf84da51ee0c6a4793d
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 18:17:45 2015 +0200
      
          remove TPTOPData, the rows of trusted/untrusted grid
      
      commit a0a75966898280d146f6a09087cdfb94fbf38198
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 18:13:25 2015 +0200
      
          remove TPTOPElementHost, the type provider tools option page content
      
      commit 668cbb5bc49939019b3df4a1554e13fe7994d781
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:53:02 2015 +0200
      
          removed type provider security dialog resources
      
      commit 9ed106aab9571bbfd395bea302b10f7d71e22b85
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:35:56 2015 +0200
      
          move ApprovalsChecking.DiscoverIfIsApprovedAndPopupDialogIfUnknown near the only usage
      
      commit 669ff3de8b3c9661665ea1e77ec4326421dc8f15
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:31:40 2015 +0200
      
          removed now useless type provider not approved test
      
      commit 143012c955e53b4d7e60995cba86212b97db8263
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:23:24 2015 +0200
      
          f remove tests helper AddTypeProviderApprovedForDevelopment
      
      commit 4e33f80fdda0ef1b7248e3326fbf6693792bc36d
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:22:42 2015 +0200
      
          remove tests helper ClearAllTypeProviderApprovals
      
      commit a484cc76ac4eb6f809a6249cba3089f14bf72bde
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:21:11 2015 +0200
      
          remove tests helper AddTypeProviderApprovedForDevelopment
      
      commit 800f1b1a922066e3a49702b70dc1dbb608a3e76e
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:18:47 2015 +0200
      
          remove tests helper ApproveAllMockTypeProviders
      
      commit 2ac36e814d3f6dc1ef50450ddf24295aa23bc3c8
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 17:02:58 2015 +0200
      
          removed ApprovalIO.partiallyCanonicalizeFileName, ApprovalIO.verifyIsPartiallyCanonicalized
      
      commit 59eeb241b739a5f731b7093e0c21db758bfd0b9b
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 16:55:54 2015 +0200
      
          removed ApprovalIO.ApprovalsAbsoluteFileName
      
      commit fe46509c0205f695717343f46127883d7b4b7133
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 16:46:47 2015 +0200
      
          remove approvals
      
      commit fde4177a2f08acddbae3e5fb5048663c6deb1101
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 16:26:09 2015 +0200
      
          remove approvals
      
      commit 8f3090f3dbd3481d821d38ef396d17fadcda4981
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:56:49 2015 +0200
      
          removed ApprovalIO.TryDoWithFileStreamUnderExclusiveLock
      
      commit 234c9e9c5a8e62a0fdf6e2aec259e3ee666f6616
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:56:17 2015 +0200
      
          remove TryDoWithFileStreamUnderExclusiveLockWithRetryFor500ms
      
      commit 78ccab6086d4e2f655d94439c4bf3714679a91fc
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:55:33 2015 +0200
      
          removed ApprovalIO.AppendApprovalStatus
      
      commit 682f22573dbf288db72307b3ad5efaf6b1c0ba65
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:54:53 2015 +0200
      
          removed ApprovalIO.DoWithApprovalsFile
      
      commit 0841ebc07d21404d36e67bff06193dac612e2d04
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:40:21 2015 +0200
      
          removed ApprovalIO.ReadApprovalsFile
      
      commit 207883118e059ee0c39d0eb9537ac8dc910bad5f
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:28:07 2015 +0200
      
          remove ApprovalIO.ReplaceApprovalStatus
      
      commit 9bdd1542a4a048ea701f681c455de59642838172
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:14:44 2015 +0200
      
          remove unused GetVerifiedPublisherInfo.GetVerifiedPublisherInfo
      
      commit 70372bcf3e06c2ae17bbebfef18b38e51d3794b0
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 15:14:20 2015 +0200
      
          f typeprovidername is useful
      
      commit 08a943f058348d63133da17ee4cec26502652a19
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 14:50:53 2015 +0200
      
          removed TypeProviderSecurityDialog
      
      commit bf4ca1bc827003726c6ceb20b6808fc8fd2c9daa
      Author: enricosada <enrico@sada.io>
      Date:   Wed May 13 16:03:00 2015 +0200
      
          use custom type provider icon for assembly reference
      
          the refresh is after build
      
      commit 995501ff9738526558b54d1e9173d9d20b13d9c2
      Author: enricosada <enrico@sada.io>
      Date:   Fri May 15 11:08:01 2015 +0200
      
          disable invalidation if tp not enabled
      0f514efe
  11. 14 8月, 2015 4 次提交
    • L
      Merge branch 'OOB' · 6a68e46d
      latkin 提交于
      Conflicts:
      	src/fsharp/FSharp.Core/seq.fs
      6a68e46d
    • L
      Revert binary breaking change from 52a72523 · beb24160
      latkin 提交于
      beb24160
    • D
      fix for 82 - Scope of types for named attribute values · 4385bb76
      Don Syme 提交于
      Scope of types for named values in attributes improperly set as assembly where attribute is defined
      
      fixes https://github.com/Microsoft/visualfsharp/issues/82
      closes https://github.com/Microsoft/visualfsharp/pull/568
      
      commit a7e74c8cba301d39bb5b1d07f448dc4bcef88967
      Author: latkin <latkin@microsoft.com>
      Date:   Thu Aug 13 16:55:32 2015 -0700
      
          Add tests
      
      commit 6c6cb0e0ebae07c1e55847e2ddbab72bdcffef54
      Merge: d2a25c8 01dc5083
      Author: Don Syme <donsyme@fastmail.fm>
      Date:   Tue Aug 4 20:05:22 2015 +0100
      
          update
      
      commit d2a25c8db9c55d1ee0bd78c140355ccaa9130fee
      Author: Don Syme <donsyme@fastmail.fm>
      Date:   Mon May 11 12:44:15 2015 +0100
      
          updates to fix (3)
      
      commit 1097c068a457585c1e303e788d6bbb792a71e32d
      Author: Don Syme <donsyme@fastmail.fm>
      Date:   Mon May 11 12:42:43 2015 +0100
      
          updates to fix (2)
      
      commit 27c926891d1671edc6c174ee676eece370cbdc78
      Author: Don Syme <donsyme@fastmail.fm>
      Date:   Mon May 11 12:40:47 2015 +0100
      
          updates to fix
      
      commit fb3a470b9ec90bc81f4c2289d0c0c7a6c7e3cebe
      Author: Don Syme <donsyme@fastmail.fm>
      Date:   Mon May 11 12:36:13 2015 +0100
      
          fix for 82
      4385bb76
    • P
      Regression tests for comparers · e6593d2f
      Paul Westcott 提交于
      closes https://github.com/Microsoft/visualfsharp/pull/577
      
      commit fe9ee002
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Wed Aug 12 19:41:29 2015 +1000
      
          Tests that allowing compiler inlining and not
      
      commit 018efe03
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Tue Aug 11 15:31:14 2015 +1000
      
          Removed the regression tests as they were using compiler optimizations
      
      commit fdf40c0a
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Mon Aug 10 15:33:50 2015 +1000
      
          Added more regression tests for DateTime and Tuples
      
      commit 9de59c9b
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Sun Aug 9 20:05:30 2015 +1000
      
          Regression tests for comparers
      e6593d2f
  12. 13 8月, 2015 4 次提交
    • J
      Streamlining and minor cleanup of code in the PrettyNaming module. · f094532e
      Jack Pappas 提交于
      closes https://github.com/Microsoft/visualfsharp/pull/578
      
      commit 7e1c8410a3df45df62830f1dd29df18ac89b69a6
      Author: latkin <latkin@microsoft.com>
      Date:   Wed Aug 12 14:58:45 2015 -0700
      
          Fix logic in TryChopPropertyName
      
      commit cf72133737675acbba6856477c6e24d9e0577da4
      Author: Jack Pappas <jack-pappas@users.noreply.github.com>
      Date:   Sun Aug 9 15:54:28 2015 -0400
      
          Streamlining and minor cleanup of code in the PrettyNaming module.
          Compilation and decompilation of operators is now memoized for custom
          (non-built-in) operators to improve performance.
          Lifted creation of lists (now arrays) in the IsInfixOperator function
          so they aren't re-created (potentially) on each function call.
          Simplification to the TryChopPropertyName function per @latkin's suggestion.
          Optimized the recursive function which performs the decompilation within 'decompileCustomOpName' so it's tail recursive and avoids allocating substrings and some Option<_> instances.
      f094532e
    • P
      Split Seq.groupBy for ValueType/RefType · 0063d9ec
      Paul Westcott 提交于
      The StructBox makes code that contains "hard" tail calls, which means
      that performance suffers under the 64 bit JIT
      
      closes https://github.com/Microsoft/visualfsharp/pull/549
      
      commit 36f10b6214d8b73140b481e391f7999b9b8be8a3
      Author: latkin <latkin@microsoft.com>
      Date:   Wed Aug 12 12:40:46 2015 -0700
      
          Proper ref/val type checking for all portable profiles
      
      commit 037a5e1de652ac1873faddbecf0e89a19b0e869f
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Thu Aug 13 05:50:29 2015 +1000
      
          Using default constructor for ResizeArray
      
          Initially this had been set to 1, I had changed it to 4, but after
          discussion it was decided that the default is probably the correct
          choice. As per
          https://github.com/Microsoft/visualfsharp/pull/549#issuecomment-129954146
      
      commit 3796a552ddb98e8fa23d60616c9689fe8a62c636
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Thu Aug 13 05:45:38 2015 +1000
      
          Renamed key to safeKey where appropriate
      
          As per
          https://github.com/Microsoft/visualfsharp/pull/549#discussion-diff-36704422
      
      commit b7884f8409d2708cd26d992bc7b0d77f788a360b
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Wed Jul 22 17:12:30 2015 +1000
      
          Restored null arg exception as lazy
      
          I don't think this is a good way to structure exceptions, but it's to
          match current functionality
      
      commit 23cc1564df7b9df4449ee419fd457c9f8f629564
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Wed Jul 22 05:53:33 2015 +1000
      
          Split dict by ValueType/RefType
      
      commit d4b6861c065ab4ca8775a62f28d8446a79c15058
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Wed Jul 22 05:10:39 2015 +1000
      
          Split Array.countBy/groupBy by ValueType/RefType
      
      commit 02e6d424ea885785dd49f0e1beeb98519a142ba4
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Wed Jul 22 04:55:42 2015 +1000
      
          Split List.groupBy for ValueType/RefType
      
      commit d80e6162abd76980abc4a3cfa260188402e2f352
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Wed Jul 22 04:43:54 2015 +1000
      
          Split List.countBy by RefType/ValueType
      
      commit 202e12e6313f2059fd307b290204113a269ddbe9
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Wed Jul 22 04:27:45 2015 +1000
      
          "Fixing" Reflection issues with Profile builds
      
          There must be some other way to check if a type is a Value Type? I doubt
          if it has been removed?
      
      commit c06d8e6f6762e9f42dd9dad9b81daba415838aa4
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Tue Jul 21 16:07:33 2015 +1000
      
          Split Seq.countBy for ValueType/RefType
      
      commit 1c5ce382eed705af3a44ddcfdeb1e799dde9eed3
      Author: Paul Westcott <p...w.e.s.t.c.o.t.t@gmail.com>
      Date:   Tue Jul 21 15:42:25 2015 +1000
      
          Split Seq.groupBy for ValueType/RefType
      
          The StructBox makes code that contains "hard" tail calls, which means
          that performance suffers under the 64 bit JIT
      0063d9ec
    • V
    • L
      Minor cleanup and alignment with internal build projects · cfae0cfc
      latkin 提交于
      cfae0cfc
  13. 11 8月, 2015 1 次提交
    • S
      Add property-based tests for all regular collections functions · d99ceb18
      Steffen Forkmann 提交于
      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
      d99ceb18
  14. 07 8月, 2015 2 次提交