Ehsan Amiri
2e3bff6980
[DA] Test AddRecs are nsw before strong SIV test ( #183421 )
...
Currently Strong SIV test, does not check that the AddRecs involved do
not overflow. This is required for correctness of the tests. Strictly
speaking, the range-based independence check in Strong SIV relies on
SCEV which internally takes care of potential overflows, so this is
mainly needed for the divisibility test and distance/directions
calculations, but putting the test early in the function covers all the
cases anyways.
2026-03-09 12:39:37 -04:00
..
2025-10-22 10:58:38 -07:00
2026-02-25 13:53:44 +00:00
2025-11-05 14:48:50 -08:00
2025-11-11 13:33:33 +01:00
2026-02-27 15:19:14 -08:00
2026-02-15 12:06:42 -05:00
2026-01-12 12:18:01 -08:00
2026-01-21 08:44:51 -08:00
2025-08-22 10:33:46 -07:00
2025-10-01 08:58:47 +02:00
2025-12-02 05:48:18 -08:00
2026-01-12 12:18:01 -08:00
2026-02-28 10:44:40 +00:00
2026-03-03 06:47:28 +00:00
2026-03-06 16:31:12 +00:00
2026-01-13 21:19:39 +00:00
2026-03-01 10:16:16 +00:00
2025-10-01 15:32:07 -07:00
2026-02-18 09:34:49 +05:30
2026-01-14 09:40:29 +00:00
2025-08-19 01:11:16 +08:00
2026-03-09 12:39:37 -04:00
2025-11-10 09:07:06 -08:00
2026-02-11 20:49:41 +00:00
2025-11-05 09:18:49 -08:00
2026-03-03 19:34:50 +00:00
2026-01-22 01:21:31 +00:00
2025-10-29 21:50:12 +00:00
2025-10-28 16:14:46 -07:00
2026-01-13 08:44:48 -08:00
2025-12-15 10:16:06 -08:00
2026-01-12 12:18:01 -08:00
2026-03-03 06:47:28 +00:00
2026-02-23 18:06:47 -08:00
2025-11-20 00:14:50 +08:00
2026-03-03 12:45:26 +00:00
2026-01-27 13:05:03 +05:30
2026-03-09 10:27:06 +00:00
2026-01-21 08:44:51 -08:00
2026-01-02 20:42:56 -08:00
2026-01-23 12:10:55 +01:00
2026-02-15 12:06:42 -05:00
2026-03-08 21:38:53 +00:00
2026-02-15 12:06:42 -05:00
2026-03-08 21:38:53 +00:00
2026-02-02 08:26:51 +00:00
2026-02-27 10:19:03 -08:00
2026-02-02 21:26:49 +00:00
2026-01-28 22:46:25 -05:00
2025-09-23 14:54:29 -07:00
2025-10-22 20:41:39 +01:00
2026-02-12 12:55:54 -08:00
2026-02-27 11:36:24 +01:00
2026-02-27 11:36:24 +01:00
2025-10-20 07:28:50 -07:00
2026-02-06 15:33:04 +00:00
2026-02-28 12:44:25 -08:00
2026-02-15 12:06:42 -05:00
2025-10-01 15:32:07 -07:00
2025-11-06 07:57:05 -08:00
2025-12-03 22:00:12 +01:00
2026-02-27 10:41:54 +00:00
2026-02-16 09:14:57 +00:00
2026-02-24 16:14:44 +00:00
2025-12-09 21:00:27 +03:00
2025-11-12 17:21:06 +00:00
2026-02-06 09:49:14 -08:00
2026-03-04 16:13:48 -06:00
2026-03-02 21:14:04 +08:00
2025-11-10 12:17:12 +00:00
2025-11-10 12:17:12 +00:00
2025-09-16 17:59:31 +02:00
2025-12-10 23:14:34 +05:30
2026-03-04 20:12:28 +01:00
2026-03-07 10:26:45 +00:00