Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-12-07

| 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/
08:09 xstill hm, Dirkovy PhD studenti asi neumí moc číst…
19:46 xtomast1 joined #divine
19:48 xtomast1 na tom radku tu inicializaci nemam, protoze to pole nepotrebuju inicializovane; zkousel jsem ji tam dat, ale nic to nezmenilo
19:49 xtomast1 plny vystup: http://pastebin.com/q5d74Xwm (mozna jsem mohl vypnout ty statistiky, promin...)
19:54 xtomast1 vlastne statistik je tam jenom ty dva radky na konci :)
19:55 xtomast1 a kod: http://pastebin.com/UCZuDgqR -- je tam cely muj entry.cpp a pak jenom relevantni (snad) cast mpi.cpp, protoze to ma 6400 radku
19:57 xtomast1 ten pastnuty kod je teda ve stavu, kdy "funguje" (verifikace projde, ale ty konstantni dvojky vsude neni to, co bychom chteli)
20:53 xHire joined #divine
21:38 xstill_ joined #divine

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