00:00:00 --- log: started forth/21.07.14
01:06:07 --- join: Glider_IRC__ joined #forth
01:09:00 --- quit: Glider_IRC_ (Ping timeout: 120 seconds)
06:31:21 --- quit: a3f (Ping timeout: 120 seconds)
06:31:29 --- join: a3f joined #forth
06:35:31 --- quit: a3f (Ping timeout: 120 seconds)
06:36:10 --- join: a3f joined #forth
06:40:34 --- quit: a3f (Ping timeout: 120 seconds)
06:57:48 --- join: a3f joined #forth
13:06:07 --- join: Glider_IRC_ joined #forth
13:09:00 --- quit: Glider_IRC__ (Ping timeout: 120 seconds)
14:40:24 --- quit: bluekelp (Ping timeout: 120 seconds)
14:40:27 --- join: bluekelp joined #forth
16:22:00 <cbridge_> <dave0> maw
20:05:00 <cbridge_> <dave0> re maw
20:56:14 --- quit: Glider_IRC_ (Connection closed)
20:57:03 --- join: Glider_IRC_ joined #forth
21:13:03 --- quit: Glider_IRC_ (Ping timeout: 120 seconds)
21:18:24 --- join: Glider_IRC joined #forth
21:29:57 --- join: web-37 joined #forth
21:30:07 --- quit: web-37 (Connection closed)
23:38:17 --- join: andrei-n joined #forth
23:38:25 --- quit: andrei-n (Connection closed)
23:39:59 <cbridge_> <siraben> remexre, tangentstorm: I formally verified XOR swap in C, see https://gist.github.com/siraben/d2ad58914166d5f6139b03b1b503ed6c
23:40:59 <cbridge_> <siraben> the spec I wrote was (in words)
23:40:59 <cbridge_> <siraben> Let a and b be unsigned int pointers to values n and m respectively, with respective writable shares sh1 and sh2, and a ≠ b. Then the postcondition of XorSwap states that a and b will point to m and n respectively.
23:59:59 --- log: ended forth/21.07.14