Jussi Saurio
c4f530d8f5
Merge 'unify halts' from Glauber Costa
...
We have halt and op_halt, doing essentially the same thing.
This PR unifies them. There is a minor difference between them now in
the way halt() handles auto-commit. My current understanding of the code
is that what we have in halt *is a bug*, which is already one bad
consequence of the duplication.
Closes #2631
2025-08-17 14:39:30 +03:00
..
2025-08-13 10:24:55 +03:00
2025-08-06 16:27:26 -04:00
2025-08-16 17:45:33 -04:00
2025-08-16 16:14:00 -04:00
2025-08-14 21:31:13 -04:00
2025-08-15 17:08:53 -04:00
2025-08-13 15:26:25 +04:00
2025-06-23 19:52:13 +01:00
2025-08-16 17:42:22 -04:00
2025-06-30 10:01:03 +03:00
2025-08-15 15:49:55 +03:00
2025-08-17 14:39:30 +03:00
2025-08-15 17:08:53 -04:00
2025-06-29 11:46:18 +03:00
2025-01-28 14:55:38 -05:00
2025-08-11 15:13:57 +03:00
2025-08-05 09:22:08 +03:00
2025-06-23 19:52:13 +01:00
2025-08-12 16:42:38 +05:30
2025-01-28 14:55:38 -05:00
2025-08-14 21:31:13 -04:00
2025-05-13 14:42:12 -04:00
2025-08-11 13:54:24 -04:00
2025-06-23 19:52:13 +01:00
2025-07-30 14:08:33 +03:00
2025-08-13 14:14:03 -05:00
2025-08-05 05:48:29 +02:00
2025-08-13 10:24:55 +03:00
2025-08-15 17:08:53 -04:00
2025-08-16 16:14:00 -04:00
2025-06-30 09:54:13 +03:00
2025-08-10 23:34:04 -05:00
2025-08-11 11:43:32 -03:00