Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-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/
06:17 yaqwsx joined #divine
06:25 mornfall udelejte pak pull, opravil jsem ten segv na konci a nejaky problemy s ukoncovanim vlaken
06:26 mornfall xstill: jeste bys pak mohl viki nachystat do bitcode loaderu nejakej hacek kterej prelozi ten C automat a prilinkuje ho
06:30 mornfall a mozna rozbil ukazatele, to poznate ;)
07:03 xstill co, jak rozbil ukazatele?
07:23 yaqwsx joined #divine
07:29 xheno joined #divine
11:29 mornfall xstill: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=825394
14:11 yaqwsx joined #divine
20:53 xheno joined #divine

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