Alex Crichton
8f258ab532
Provide a sound method of flushing stdout
...
The previous method was unsound because you could very easily create two mutable
pointers which alias the same location (not sound behavior). This hides the
function which does so and then exports an explicit flush() function (with
documentation about how it works).
2013-10-31 22:09:48 -07:00
..
2013-10-23 01:10:50 +05:30
2013-10-30 00:31:23 -07:00
2013-10-22 18:25:07 -07:00
2013-10-28 10:16:45 -07:00
2013-10-31 22:09:48 -07:00
2013-10-23 01:10:50 +05:30
2013-10-30 21:19:18 +01:00
2013-10-30 18:31:26 -07:00
2013-10-28 08:50:32 +01:00
2013-10-26 01:10:39 -07:00
2013-10-24 17:21:39 +02:00
2013-09-18 06:05:06 +02:00
2013-10-24 14:21:57 -07:00
2013-10-17 17:31:35 -07:00
2013-10-23 01:10:50 +05:30
2013-10-22 08:09:56 -07:00
2013-10-26 01:10:39 -07:00
2013-10-01 14:54:10 -04:00
2013-08-30 22:02:24 -04:00
2013-10-30 03:31:20 -07:00
2013-10-23 01:10:50 +05:30
2013-08-20 22:05:03 -04:00
2013-09-12 18:54:13 -07:00
2013-10-22 08:09:56 -07:00
2013-09-05 00:58:12 -04:00
2013-10-27 19:51:19 -04:00
2013-10-23 01:10:50 +05:30
2013-10-23 01:10:50 +05:30
2013-08-15 21:12:34 -04:00
2013-10-23 01:10:50 +05:30
2013-10-22 08:09:56 -07:00
2013-10-24 14:21:57 -07:00
2013-10-18 09:33:18 -07:00
2013-10-24 17:21:39 +02:00
2013-10-06 18:51:58 +11:00
2013-10-23 01:10:50 +05:30
2013-10-24 14:21:58 -07:00
2013-08-04 19:46:52 +10:00
2013-10-28 08:50:32 +01:00
2013-10-25 18:43:55 +09:00
2013-10-23 01:10:50 +05:30
2013-10-29 09:09:20 -07:00
2013-10-29 09:09:20 -07:00
2013-10-22 08:09:56 -07:00
2013-09-23 18:23:21 -07:00
2013-10-29 10:34:17 -07:00
2013-10-28 13:14:42 -07:00
2013-10-05 21:28:04 +02:00
2013-10-30 21:19:18 +01:00
2013-10-24 14:21:57 -07:00
2013-10-30 21:19:18 +01:00
2013-10-24 14:22:34 -07:00
2013-09-30 23:21:18 -07:00
2013-10-23 01:10:50 +05:30
2013-09-25 19:00:08 +10:00
2013-09-09 03:21:46 -04:00
2013-09-12 18:54:13 -07:00
2013-10-17 17:31:35 -07:00
2013-10-23 01:10:50 +05:30