Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-05

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
02:45 divine-buildbot joined #divine
08:33 yaqwsx joined #divine
08:52 xstill_ joined #divine
13:18 yaqwsx joined #divine
15:20 yaqwsx joined #divine
15:40 zbeasnyy yaqwsx: výhledově pak bude potřeba ten kousek DiOS-u kterej patří do libc v C
16:11 yaqwsx joined #divine
16:11 yaqwsx To je který kousek?
16:25 zbeasnyy xstill_: http://cvsweb.openbsd.org/cgi-bin/cvsweb/~checkout~/src/sys/sys/exec_elf.h?rev=1.62
16:26 zbeasnyy yaqwsx: no __dios_syscall v podstatě
16:26 zbeasnyy yaqwsx: ta část která se spouští v user mode
17:15 yaqwsx Ok
20:00 mornfall- joined #divine

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary