Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-15

| 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/
18:56 xstill mornfall: tak ostatní nás nakonec nechají být v labu
18:57 xstill nicméně pořád by bylo vhodné oznámit všem kdo tam budeme jaký je přibližný časový plán ať vědí s čím mají počítat
18:58 xstill a pošlu ti patche na bricks které bys mohl rovnou integrovat, tam snad nehrozí moc konflikty, zbytek toho co jsem udělal mezitím bude potřeba nějak projít
19:55 ilbot3 joined #divine
19:55 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
19:58 mornfall 15:53:16   @mornfall | tak to dame v labu, 9:15 az 19:45 s hodinou na obed? to mas skoro dva tydny fulltime prace
19:58 mornfall myslíš tohle?

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