Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-07-07

| 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/
16:16 xstill mornfall: máš implementované variadické věci v mém divine4
16:17 xstill je to zhruba otestované, do té úrovně, že dios trace vypisuje něco co dává smysl a inty jsem testoval ručně
16:17 xstill a LLVM codegen to zvládá, takže to teď funguje v native i v divine

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