Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-09-13

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

All times shown according to UTC.

Time Nick Message
01:07 xstill joined #divine
01:27 ilbot3 joined #divine
01:27 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
01:29 xstill joined #divine
07:22 mornfall xstill: xrandr: Configure crtc 2 failed
07:23 mornfall xstill: (ad 3 displeje najednou)
07:24 mornfall xstill: jen nezapomeň odpojit ethernet od toho pole :)
07:24 mornfall tam ta adresa bude napevno
07:28 mornfall hm, to verzování má ještě jeden problém ale
07:28 mornfall i když
08:02 xstill jaký problém?
08:03 mornfall no, musí být poslední patchlevel někde zapsanej v repu
08:03 mornfall protože jinak budeš mít nesmyslný verze v buildech z repa
08:17 xstill patchlevel je co?
08:17 mornfall třetí číslo verze
08:17 mornfall major.minor.patchlevel
08:17 xstill aha, a co se bude dělat automaticky? minor, nebo patchlevel?
08:17 mornfall patchlevel
08:17 xstill a minor bude k čemu?
08:18 mornfall to si můžem zvyšovat když vyrobíme něco většího
08:18 mornfall ale zase ne katastrofálně většího :-)
08:18 xstill není to zbytečně složitý?
08:18 mornfall co?
08:19 xstill mít tam 3 čísla
08:20 xstill a ten patchlevel by se dal řešit tagování repa, ne?
08:20 mornfall nedal
08:20 xstill proč?
08:20 mornfall protože to repo nemusíš nutně mít
08:28 mornfall i když máš zdrojáky z něj
08:28 xstill ok
08:28 xstill takže budeš muset udělat commit do repa kterej bude obsahovat patchlevel?
08:28 mornfall jo... ale může to dublovat jako tag
08:28 xstill nechápu
08:28 mornfall --ask-deps
08:47 mornfall každopádně verify umírá na to, že nemá NDFS a instances že nemá weak reachability
08:48 mornfall dve/channels.sh že nemá metrics
08:52 mornfall hm, myslíš že může čas tikat dozadu? :)
08:52 mornfall [ 2:41]     Time limit exceeded: used 1.41055e+09s / 600s.
09:58 mornfall xstill: zdá se mi, že timed a shared se nemaj rádi
09:58 mornfall http://divine.fi.muni.cz/status/log/g26mw248d97jm4fhvabrqw4mq7qylk7d-divine-full-3.0.92+pre5165/vanilla:shared_reachability-shared.sh
09:58 mornfall http://divine.fi.muni.cz/status/log/g26mw248d97jm4fhvabrqw4mq7qylk7d-divine-full-3.0.92+pre5165/vanilla:shared_reachability-shared.sh
09:59 mornfall eh
09:59 mornfall http://divine.fi.muni.cz/status/log/g26mw248d97jm4fhvabrqw4mq7qylk7d-divine-full-3.0.92+pre5165/vanilla:shared_owcty-shared.sh
09:59 mornfall to stejný na x64
10:17 ilbot3 joined #divine
10:17 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:29 mornfall tak uvidíme co se rozbije tentokrát
10:34 xstill jo to mě taky
10:35 xstill proč se ten log nemůže otevřít v prohlížeči sakra
10:35 mornfall hm, a už vím proč se seká hydra-evaluator... hydra-eval-jobs pouští buildremote
10:35 mornfall xstill: máš něco blbě nastavený ;-)
10:35 mornfall jinak curl ... | less
10:35 xstill hm, to je tak dost na nic (hydra)
10:35 xstill tak curl znám
10:35 xstill ale já kliknul na ten odkaz
10:35 mornfall to by mohlo normálně fungovat
10:36 xstill někde je chyba ve firefoxu asi
10:44 xstill jdu si ten test pustit u sebe
10:44 xstill ale nevím teda co to mohlo v poslední době rozbít
10:45 mornfall tak, já nevim jestli to někdy třeba fungovalo :-)
10:45 mornfall taky jsem mohl rozhasit instance
10:45 xstill jistě že to fungovalo
10:46 mornfall i když teda vybraná instance vypadá OK
10:48 xstill zdá se mi to, nebo draw nemá option v cmake
10:48 mornfall má pod OPT
10:48 mornfall ale reálně to není implementovaný
12:07 mornfall hm, ta pheme19 se chová trochu divně
12:08 mornfall hm, to bude zase ten zavšivenej cgconfig
18:29 xstill jak divně?
18:33 xstill vida už začínáme mít i zelená políčka
18:50 xstill mornfall: četl jsi všechny ty změny v tom memicsu teda?
19:28 mornfall na http://divine.fi.muni.cz/status už je i přímej odkaz na details
19:51 xstill jak je možné, že ve status.html vidím jiné výsledy?
19:51 xstill *výsledky
19:52 mornfall protože nečteš nadpisy, řekl bych ;-)
19:55 mornfall hm, a problém s timed je asi --fair
20:29 mornfall jo, už jsem to snad opravil...
20:30 mornfall select nám vypíná fairness protože není v _traits i když pro timed není _valid
20:43 mornfall xstill: memics jsem prošel, za mě dobrý
20:43 mornfall (svn up)
20:44 mornfall (omylem jsem od-opravil an useful který jsi předtim přepsal na správný :-)
20:44 xstill :-D
20:44 xstill ok
22:14 xstill joined #divine

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