|
e1af09b49a
|
add -Wdouble-promotion warning and fix issues it brings up
|
2023-12-09 18:18:07 +00:00 |
|
|
58a329bcc3
|
Revert "Revert "Merge branch 'master' into quickselect""
This reverts commit 4d218468cf .
|
2023-11-29 23:21:24 +00:00 |
|
|
4d218468cf
|
Revert "Merge branch 'master' into quickselect"
This reverts commit c77fa34410 , reversing
changes made to ffd6e5dcbb .
|
2023-11-29 23:17:41 +00:00 |
|
|
023c9f28ac
|
reorg, refactor, recompile
|
2023-11-29 22:24:42 +00:00 |
|
|
a81c0df329
|
reorg: divide examples between those using core and those using extra
|
2023-11-19 13:51:05 +00:00 |
|