Sun, 23 Nov 2025 13:15:19 +0100
optimize sorted insertion by using the infimum instead of the supremum
The reason is that the supremum returns the equal element with the smallest index, and we want the largest.
Therefore, we use the infimum, which already gives us the largest index when there are equal elements, and increase the index by one. The infimum is also guaranteed to exist in that case.
| 952 | 1 | |
| 2 | Microsoft Visual Studio Solution File, Format Version 12.00 | |
| 3 | # Visual Studio Version 17 | |
| 4 | VisualStudioVersion = 17.11.35327.3 | |
| 5 | MinimumVisualStudioVersion = 10.0.40219.1 | |
| 6 | Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "libucx", "libucx\libucx.vcxproj", "{A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}" | |
| 7 | EndProject | |
|
1180
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
8 | Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "libucx_dll", "libucx_dll\libucx_dll.vcxproj", "{F19429A5-FC21-4639-9D0A-231A6F19DEB4}" |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
9 | EndProject |
| 952 | 10 | Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "ucxtest", "ucxtest\ucxtest.vcxproj", "{56337F37-5298-49C4-B4D4-B43C1B2900F0}" |
| 11 | EndProject | |
|
1180
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
12 | Project("{8BC9CEB8-8B4A-11D0-8D11-00A0C91BC942}") = "ucxtest_dll", "ucxtest_dll\ucxtest_dll.vcxproj", "{13520243-14C7-488E-9389-6CFD5432C54C}" |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
13 | EndProject |
| 952 | 14 | Global |
| 15 | GlobalSection(SolutionConfigurationPlatforms) = preSolution | |
| 16 | Debug|x64 = Debug|x64 | |
| 17 | Debug|x86 = Debug|x86 | |
| 18 | Release|x64 = Release|x64 | |
| 19 | Release|x86 = Release|x86 | |
| 20 | EndGlobalSection | |
| 21 | GlobalSection(ProjectConfigurationPlatforms) = postSolution | |
| 22 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Debug|x64.ActiveCfg = Debug|x64 | |
| 23 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Debug|x64.Build.0 = Debug|x64 | |
| 24 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Debug|x86.ActiveCfg = Debug|Win32 | |
| 25 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Debug|x86.Build.0 = Debug|Win32 | |
| 26 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Release|x64.ActiveCfg = Release|x64 | |
| 27 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Release|x64.Build.0 = Release|x64 | |
| 28 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Release|x86.ActiveCfg = Release|Win32 | |
| 29 | {A7EE56A3-0BAD-4CAB-9354-7FAE2A65E276}.Release|x86.Build.0 = Release|Win32 | |
|
1180
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
30 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Debug|x64.ActiveCfg = Debug|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
31 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Debug|x64.Build.0 = Debug|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
32 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Debug|x86.ActiveCfg = Debug|Win32 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
33 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Debug|x86.Build.0 = Debug|Win32 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
34 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Release|x64.ActiveCfg = Release|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
35 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Release|x64.Build.0 = Release|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
36 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Release|x86.ActiveCfg = Release|Win32 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
37 | {F19429A5-FC21-4639-9D0A-231A6F19DEB4}.Release|x86.Build.0 = Release|Win32 |
| 952 | 38 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Debug|x64.ActiveCfg = Debug|x64 |
| 39 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Debug|x64.Build.0 = Debug|x64 | |
| 40 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Debug|x86.ActiveCfg = Debug|Win32 | |
| 41 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Debug|x86.Build.0 = Debug|Win32 | |
| 42 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Release|x64.ActiveCfg = Release|x64 | |
| 43 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Release|x64.Build.0 = Release|x64 | |
| 44 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Release|x86.ActiveCfg = Release|Win32 | |
| 45 | {56337F37-5298-49C4-B4D4-B43C1B2900F0}.Release|x86.Build.0 = Release|Win32 | |
|
1180
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
46 | {13520243-14C7-488E-9389-6CFD5432C54C}.Debug|x64.ActiveCfg = Debug|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
47 | {13520243-14C7-488E-9389-6CFD5432C54C}.Debug|x64.Build.0 = Debug|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
48 | {13520243-14C7-488E-9389-6CFD5432C54C}.Debug|x86.ActiveCfg = Debug|Win32 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
49 | {13520243-14C7-488E-9389-6CFD5432C54C}.Debug|x86.Build.0 = Debug|Win32 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
50 | {13520243-14C7-488E-9389-6CFD5432C54C}.Release|x64.ActiveCfg = Release|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
51 | {13520243-14C7-488E-9389-6CFD5432C54C}.Release|x64.Build.0 = Release|x64 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
52 | {13520243-14C7-488E-9389-6CFD5432C54C}.Release|x86.ActiveCfg = Release|Win32 |
|
4c3a69b9723a
add support for building windows DLLs - resolves #582
Mike Becker <universe@uap-core.de>
parents:
952
diff
changeset
|
53 | {13520243-14C7-488E-9389-6CFD5432C54C}.Release|x86.Build.0 = Release|Win32 |
| 952 | 54 | EndGlobalSection |
| 55 | GlobalSection(SolutionProperties) = preSolution | |
| 56 | HideSolutionNode = FALSE | |
| 57 | EndGlobalSection | |
| 58 | GlobalSection(ExtensibilityGlobals) = postSolution | |
| 59 | SolutionGuid = {C0EC0D10-D742-41ED-ACB4-E88AAF27C9C1} | |
| 60 | EndGlobalSection | |
| 61 | EndGlobal |