Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-11-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/
10:47 spito jde nějak kombinovat víc explicitně jmenovaných properties při verifikaci divine?
11:05 spito aha, čárkama....by to asi chtělo napsat do dokumentace
11:21 xstill to tam můžeš dopsat
16:15 spito xstill: máš někde tikzový obrázek těch obdélníčků jkao clang, divine atd?
16:22 xstill spito: asi https://github.com/vlstill/presentations/blob/master/memics2015/pres.md

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