#mirage on 2016-04-27 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:28 dsheets has joined #mirage

00:32 dsheets has quit [Ping timeout: 250 seconds]

00:33 yegods has quit [Remote host closed the connection]

00:35 yegods has joined #mirage

00:59 brson has quit [Ping timeout: 250 seconds]

01:14 dsheets has joined #mirage

01:19 dsheets has quit [Ping timeout: 250 seconds]

01:43 doecnt has joined #mirage

02:05 yegods has quit [Remote host closed the connection]

02:05 brson has joined #mirage

02:11 dsheets has joined #mirage

02:14 dsheets_ has joined #mirage

02:14 dsheets_ has quit [Remote host closed the connection]

02:15 dsheets has quit [Ping timeout: 250 seconds]

02:44 doecnt has quit [Ping timeout: 246 seconds]

02:57 tomboy64 has quit [Ping timeout: 268 seconds]

02:59 noddy has quit [Ping timeout: 268 seconds]

03:09 tet has quit [Ping timeout: 260 seconds]

03:14 tomboy64 has joined #mirage

03:21 tomboy64 has quit [Ping timeout: 276 seconds]

03:23 tomboy64 has joined #mirage

03:31 tet has joined #mirage

04:14 dsheets has joined #mirage

04:15 dsheets has quit [Read error: Connection reset by peer]

04:22 brson has quit [Quit: leaving]

04:52 brson has joined #mirage

04:56 brson has quit [Client Quit]

05:43 insitu has joined #mirage

05:59 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:07 insitu has joined #mirage

06:12 copy` has quit [Quit: Connection closed for inactivity]

06:19 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

06:35 aantron has quit [Remote host closed the connection]

06:50 tomboy64 has quit [Ping timeout: 276 seconds]

06:51 insitu has joined #mirage

06:51 tomboy64 has joined #mirage

06:54 oskarth has quit [Ping timeout: 264 seconds]

06:56 oskarth has joined #mirage

06:58 vtduncan has quit [Ping timeout: 264 seconds]

06:58 justincormack has quit [Ping timeout: 264 seconds]

06:58 sspi has quit [Ping timeout: 264 seconds]

06:58 caw has quit [Ping timeout: 264 seconds]

06:59 NhanH has quit [Ping timeout: 264 seconds]

06:59 andreas__ has quit [Ping timeout: 264 seconds]

07:01 vtduncan has joined #mirage

07:01 justincormack has joined #mirage

07:01 andreas__ has joined #mirage

07:02 sspi has joined #mirage

07:03 caw has joined #mirage

07:17 NhanH has joined #mirage

07:21 wildsebastian has joined #mirage

07:22 andreas23 has joined #mirage

07:27 yegods has joined #mirage

07:28 yegods has quit [Remote host closed the connection]

07:33 rudenoise has joined #mirage

07:35 jermar has joined #mirage

07:58 wildseba1 has joined #mirage

08:00 wildsebastian has quit [Ping timeout: 276 seconds]

08:06 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:29 rudenoise has quit [Ping timeout: 276 seconds]

08:31 dsheets has joined #mirage

08:33 dsheets has quit [Remote host closed the connection]

08:33 insitu has joined #mirage

08:33 dsheets has joined #mirage

08:59 mort___ has joined #mirage

09:01 mort___ has quit [Client Quit]

09:52 dsheets has quit [Remote host closed the connection]

09:55 dsheets has joined #mirage

09:59 jermar has quit [Quit: Leaving]

10:04 mort___ has joined #mirage

10:22 wildseba1 has quit [Ping timeout: 250 seconds]

10:25 jermar has joined #mirage

10:31 mort___ has quit [Quit: Leaving.]

10:34 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:49 mort___ has joined #mirage

10:52 wildseba1 has joined #mirage

11:03 mort___ has quit [Ping timeout: 268 seconds]

11:32 dsheets has quit [Remote host closed the connection]

11:34 dsheets has joined #mirage

11:40 wildsebastian has joined #mirage

11:43 wildseba1 has quit [Ping timeout: 250 seconds]

11:57 wildsebastian has quit [Read error: Connection reset by peer]

11:57 wildsebastian has joined #mirage

11:59 dsheets has quit [Remote host closed the connection]

12:00 yegods has joined #mirage

12:09 dsheets has joined #mirage

12:15 noddy has joined #mirage

12:28 insitu has joined #mirage

13:04 tomboy64 has quit [Ping timeout: 250 seconds]

13:06 copy` has joined #mirage

13:14 tomboy64 has joined #mirage

13:22 aantron has joined #mirage

13:23 mort___ has joined #mirage

13:25 mort___ has quit [Read error: Connection reset by peer]

13:25 mort___1 has joined #mirage

13:41 miragebot has joined #mirage

13:41 <miragebot> [mirage] dsheets created dsheets-patch-1 (+1 new commit): https://git.io/vwwR8

13:41 miragebot has left #mirage [#mirage]

13:41 <miragebot> mirage/dsheets-patch-1 4ca0ed9 David Sheets: opam: add ocamlbuild build dependency...

13:44 tomboy64 has quit [Ping timeout: 260 seconds]

13:46 tomboy64 has joined #mirage

13:52 yegods has quit [Remote host closed the connection]

13:53 yegods has joined #mirage

13:56 yegods has quit [Remote host closed the connection]

13:59 noddy has quit [Ping timeout: 246 seconds]

14:12 wildseba1 has joined #mirage

14:14 wildsebastian has quit [Ping timeout: 260 seconds]

14:15 yegods has joined #mirage

14:15 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

14:24 mort___1 has quit [Quit: Leaving.]

14:25 andreas23 has quit [Quit: Leaving.]

14:28 wildseba1 has quit [Ping timeout: 250 seconds]

14:32 wildseba1 has joined #mirage

14:44 mort___ has joined #mirage

14:48 miragebot has joined #mirage

14:48 <miragebot> [mirage] yomimono pushed 1 new commit to master: https://git.io/vwwPj

14:48 <miragebot> mirage/master 6927293 Mindy Preston: Merge pull request #533 from mirage/dsheets-patch-1...

14:48 miragebot has left #mirage [#mirage]

15:57 brson has joined #mirage

16:04 dsheets_ has joined #mirage

16:06 dsheets has quit [Ping timeout: 276 seconds]

16:30 jermar has quit [Ping timeout: 252 seconds]

16:32 dsheets_ has quit [Remote host closed the connection]

16:34 dsheets has joined #mirage

16:39 mort___ has quit [Ping timeout: 268 seconds]

17:04 insitu has joined #mirage

17:21 miragebot has joined #mirage

17:21 miragebot has left #mirage [#mirage]

17:21 <miragebot> mirage/logging c1ac016 Thomas Leonard: Add mirage_logs support

17:21 <miragebot> [mirage] samoht created logging (+7 new commits): https://git.io/vwrYd

17:21 <miragebot> mirage/logging 8c6efee Thomas Gazagnaire: Add the `--logs` to Mirage_keys

17:21 <miragebot> mirage/logging 1470181 Thomas Gazagnaire: Add configure/runtime keys to parse log patterns....

17:23 miragebot has joined #mirage

17:23 <miragebot> [mirage] samoht deleted logging at 425a0ef: https://git.io/vwrOL

17:23 miragebot has left #mirage [#mirage]

17:23 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:30 insitu has joined #mirage

17:32 copy` has quit [Quit: Connection closed for inactivity]

17:36 brson has quit [Ping timeout: 252 seconds]

17:51 brson has joined #mirage

17:51 dsheets has quit [Remote host closed the connection]

17:52 dsheets has joined #mirage

17:56 dsheets has quit [Ping timeout: 240 seconds]

18:00 insitu has quit [Ping timeout: 250 seconds]

18:03 jermar has joined #mirage

18:09 dsheets has joined #mirage

18:09 tomboy64 has quit [Ping timeout: 250 seconds]

18:13 dsheets has quit [Ping timeout: 250 seconds]

18:14 dsheets has joined #mirage

18:15 tomboy64 has joined #mirage

18:15 copy` has joined #mirage

18:19 dsheets has quit [Ping timeout: 250 seconds]

18:19 wildsebastian has joined #mirage

18:22 wildseba1 has quit [Ping timeout: 250 seconds]

18:44 brson has quit [Ping timeout: 244 seconds]

18:52 andreas23 has joined #mirage

18:56 insitu has joined #mirage

18:59 andreas231 has joined #mirage

19:02 andreas23 has quit [Ping timeout: 260 seconds]

19:07 doecnt has joined #mirage

19:55 doecnt has quit [Ping timeout: 260 seconds]

19:58 wildseba1 has joined #mirage

19:59 brson has joined #mirage

19:59 andreas231 has quit [Quit: Leaving.]

20:00 wildsebastian has quit [Ping timeout: 276 seconds]

20:15 abeaumont has quit [Remote host closed the connection]

20:44 mort___ has joined #mirage

20:44 wildseba1 has quit [Ping timeout: 276 seconds]

20:57 mort___ has left #mirage [#mirage]

21:09 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:30 <ansiwen> "Unsupported function strtod called in Mini-OS kernel"... :-(

22:30 <ansiwen> my application doesn't run in xen...

22:30 <ansiwen> what can I do?

22:30 <ansiwen> catch the exception somehow?

22:31 <Drup> There is a bug report about that one.

22:31 <Drup> probably on mirage or mirage-plateform bugtracker

22:41 dsheets has joined #mirage

22:46 dsheets has quit [Ping timeout: 276 seconds]

23:18 brson has quit [Ping timeout: 240 seconds]

23:42 brson has joined #mirage

23:55 brson has quit [Read error: Connection reset by peer]

23:55 brson has joined #mirage