Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-12-30

| 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 | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
07:21 xstill mornfall: pushnul jsem k sobě patche na divine version a divine info, tak na to příležitostně mrkni
07:21 xstill mornfall: ad sym algoritmus, uvažuju o tom, že by možná stálo za to to udělat na úrovni ss::Explore
07:22 xstill algoritmus jako takový by pak musel jen použít správný explore, ale jinak by mu mělo být jedno, jestli běží nad sym nebo normální stavovým prostorem
07:25 xstill hm, symdivine zas moc neuspěl… ale v concurrency má alespoň letos kladný výsledek (svcomp)
11:53 yaqwsx joined #divine
11:53 yaqwsx xstill: Ještě se na něj podívám.
11:56 xstill yaqwsx: ještě to není uzavřené?
12:06 yaqwsx Nn, do 7. je čas
18:18 yaqwsx joined #divine
21:32 yaqwsx joined #divine

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