Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-17

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

All times shown according to UTC.

Time Nick Message
16:24 xstill hm, jak je možný, že draw vykreslí stejný stavový prostor ale metrics dává jiné udaje mezi dvěma verzema divine?
16:26 xstill ale už toho mám dost
16:26 xstill cesmi, withltl.so se chová pěkně divně (s -p p_3)
16:27 xstill metrics v starším buildu a podle testů správně hlásí 48 stavů, ale jak reachebility ve staré buildu (Full-State-Space: Yes), tak všechno v novém hlásí 37 stavů
16:28 xstill a já si nejsem vědomej toho že bych něco podstatného měnil v metrics
16:31 xstill hm, a weak reachability souhlasí s metrics
16:31 xstill to je podezřelí
16:31 xstill *podezřelé
16:32 xstill (v novém buildu už je všechno stejné i weak a draw)
16:33 xstill řekl bych že tam byla nějaká zrada s extension kterou jsem omylem opravil
16:44 xstill mornfall: pošlu patche na ten alokátor, neumí to sice nakonec konstruovat extension. protože to by stejně nemohlo být v grafu, ale umí to alespoň schovat jeho délku za rozumný interface. Generátory jsem zatím měnil minimálně kromě cesmi a explicit by asi snesly nějakou refaktorizaci, furt tam bude dost zbytečných dereferencí.
16:45 xstill a jdu něco udělat s tím člověkem co verifikuje cčko
16:45 xstill (hm, už máme 1074 instancí v maximu, to se stalo kdy?)
17:00 xstill mornfall: nemohl bys tomu člověku odepsat ty? Mám pocit, že minimálně ta druhá ltl propery (!FG(waiting1) && !FG(waiting2)) nemůže v divine fungovat, ale nejsem si tím až tak jistý, nerad bych mu kecal
17:01 xstill a ten assert je nedosažitelnej i podle mě
20:10 xstill mornfall: nějaká šance mít ACL v labových home nebo někde?
22:02 xstill a pokud acl nejdou tak mi řekni jak přidám skupinu s konkrétně určenýma členama
22:06 mornfall hmm
22:08 mornfall na NFS asi setfacl nefunguje, ale jinde snad všude
22:10 mornfall (tzn. /home jen lokálně na antee)
22:10 mornfall jinak extraGroups.xxx.members = [ "xstill" ]
22:11 mornfall (users.extraGroups...)
22:12 mornfall ten patch jsi ještě neposlal že?
22:15 xstill poslal
22:16 mornfall ha, to jsem si jen myslel že jsem pustil sync
22:16 mornfall už ho vidím
22:27 mornfall no, dočtu to ráno, teď už to nedávám

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