Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-11-28

| 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/
12:52 spito joined #divine
13:58 spito joined #divine
14:38 mornfall [ 2:59]     /var/tmp/divine-3.2.0+pre5390/divine/graph/ltlce.h: 394: assertion `shared().ce.successor_id != 0' failed; got [0] == [0] instead
14:46 spito http://irclog.perlgeek.de/divine/2014-11-18
14:49 mornfall http://divine.fi.muni.cz/status/log/z0iii3m1d7np726k1i73khxzwsv4gyqd-divine-ubuntu1210_debug_x86-3.2.0+pre5390/vanilla:algorithm_owcty.sh
22:24 xstill joined #divine
22:28 xstill joined #divine

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