Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-12-20

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
13:41 xstill blbý je, že ta redukce stavovýho prostoru s weakmem co je v MEMICSU už není korektní když dovolím relaxed store
13:42 xstill navíc jsem si celou dobu myslel, že to korektní bude, ale když jsem to chtěl dokázat do diplomky tak jsem si uvědomil, že není :-D

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