Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-07-20

| 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/
09:04 yaqwsx joined #divine
16:23 yaqwsx_cz joined #divine
17:37 xstill mornfall: máš to tam, ARWM bylo navíc špatně (ale bohužel nemám jak otestovat min/max, protože nejsou odpovídající intrinsiky asi)
19:18 yaqwsx_cz joined #divine
22:50 mornfall rebase je v ~xrockai/src/divine/next snad je tam všechno
22:50 mornfall byl to trochu boj
22:50 mornfall shadow až zítra, na seznam v gitlabu jsem koukal ale nic jsem nevykoukal
22:52 mornfall kdybych něco do rána vymyslel tak se ozvu, nebo kdyžtak v ten pátek

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