Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-27

| 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/
05:41 yaqwsx joined #divine
06:16 yaqwsx joined #divine
06:53 yaqwsx joined #divine
07:28 yaqwsx joined #divine
07:45 yaqwsx joined #divine
08:24 yaqwsx joined #divine
10:07 xstill_ mornfall: když je zítra státní svátek a po té jíříkové kolaudačce, tak bych divine den zrušil
10:45 xstill_ mornfall: odpovíš Matejovi Hrušovskému?
12:33 evenfall odpovím, jen zatím asi nevim co
12:46 evenfall (a se zítřkem jsem nepočítal)
14:34 spito https://github.com/anttirt/libcxx-pretty-printers
14:34 spito prý to funguje (Nikola approved)
15:25 xstill_ zkusím, Nikola sem s tím nadšeně přišel
15:37 xstill_ jo, na první pohled se zdá, že to funguje
15:38 xstill_ a nebo taky ne :-D
15:39 xstill_ rosekalo se to na našel commandline parseru
16:48 divine-buildbot_ joined #divine
17:22 divine-buildbot joined #divine
17:33 divine-buildbot_ joined #divine
18:10 divine-buildbot joined #divine
18:20 divine-buildbot joined #divine
19:26 divine-buildbot joined #divine
19:36 divine-buildbot_ joined #divine
20:46 divine-buildbot joined #divine
23:00 divine-buildbot Hey! build divine-current-dist #6 is complete: Failure [finished]

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