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.
|
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
1 | # |
|
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
2 | # cc toolchain config |
|
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
3 | # |
|
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
4 | |
|
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
5 | CFLAGS = |
|
1311
7072b20aa51f
fix wrong flags in toolchain.mk files after updating uwproj
Mike Becker <universe@uap-core.de>
parents:
815
diff
changeset
|
6 | DEBUG_CFLAGS = -g |
|
7072b20aa51f
fix wrong flags in toolchain.mk files after updating uwproj
Mike Becker <universe@uap-core.de>
parents:
815
diff
changeset
|
7 | RELEASE_CFLAGS = -O3 -DNDEBUG |
|
753
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
8 | LDFLAGS = |
|
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
9 | |
|
24dc84788dee
replace most of the build system with uwproj
Mike Becker <universe@uap-core.de>
parents:
diff
changeset
|
10 | SHLIB_CFLAGS = -fPIC |
|
788
b34ff44e6433
move coverage flags to make/*.mk files - relates to #345
Mike Becker <universe@uap-core.de>
parents:
771
diff
changeset
|
11 | SHLIB_LDFLAGS = -shared |