Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-02-08

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
14:42 mornfall hm, z toho CAVu nás normálně vykopli... to je trochu trapný :\
15:56 mornfall spito: dotaz... 4.16 a 4.17 -- zdá se mi to, nebo pro 16 procesů je podle 4.16 čas < 100 a na 4.17 pro stejných 16 čas 300?
15:56 mornfall (obrázky)
15:58 mornfall celkově mi přijde že ty 1-16 vs 16-22 nějak nenavazujou
15:58 mornfall (a vypadá to jako chyba škály v těch 16-22?)
16:00 mornfall jinak to tuším dopadlo dobře :-)
16:08 xstill mornfall: prý kapitola 4.2 poslední věta to vysvětluje
16:12 mornfall jo, vysvětluje :-)

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