Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-02

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

All times shown according to UTC.

Time Nick Message
06:12 mornfall něco jsem chtěl ale už nevim co to bylo
11:32 mornfall xstill: mi nepřijde že by se muselo cokoliv měnit v algorithm dispatch
11:33 mornfall jen teda ten load reportu by nemohl být až „uvnitř simulate“ ale hned na začátku
11:33 mornfall s tím že v podstatě to nemusí být nijak omezený na simulate
11:33 mornfall docela dává smysl pustit divine s tím že chceš to stejný co je v tom reportu a případně něco změnit na commandline
11:33 mornfall (třeba algoritmus z verify na simulate :)
11:42 xstill mornfall: prostě by se musel měnit main?
11:42 xstill bez ?
11:44 mornfall no to by se musel beztak, protože potřebuješ přidat option (tahle změna nebude zas o tolik větší)
11:45 xstill no pokud tomu budeš chtít předávat stejný přepínače jako byly v původním běhu (například redukce apod) tak ten zásah bude poměrně velký, protože budeš muset detekovat relevantní přepínače
11:45 xstill (tj. simultate nechceš dávat --weak-reachability)
11:46 xstill a nějakým způsobem ty přepínače případně mergovat, pokud to chceš aplikovat na verify…
11:50 xstill mornfall: krom toho, jaký je další release postup? já bych to viděl doladit kompresi a zapnout ji spoku se shared -> release 3.3; potom udělat llvm 3.5 -> release 3.4
11:50 mornfall ale jo, udělat to úplně obecně je složitější, já nevidim ten zásadní rozdíl mezi modelem a property
11:51 mornfall radši bych opravil chyby a udělal 3.3, defaultní volby se můžou změnit pak v patchlevelu
11:52 mornfall je jich tam dost, mimo jiné třeba gen-explicit občas nageneruje náhodný flagy
11:52 mornfall ale na gen-explicit je potřeba prvně napsat ty testy nějaký
11:52 xstill tak to bych tšchl do tracu ten gen-explicit
11:53 mornfall já to Jiříkovi říkal :-)
11:53 mornfall jenže něco zabrblal že už ví že když to nefunguje tak má smazat .dess a vygenerovat znovu
11:53 mornfall tak teď nevim
11:54 mornfall já mam ten llvm bug, dokud nepřijdu na to co to je tak se stejně nikam nehnu
11:54 mornfall pak jsou tam ty segfaulty na ubuntu a ndfs
11:57 mornfall tady to načítání reportů taky dřív než v 3.3.x nemá smysl dělat
11:57 mornfall (asi)
12:08 xstill hm, no pokud nevím kde ta chyba je tak ji nemám jak řešit žejo…
13:52 mornfall která chyba?
13:53 mornfall jestli myslíš ten dess tak toy_0.c(pp) v icfem2015 s --probabilistic třeba (ale myslím že je úplně jedno jakej model, možná není jedno že to je --probabilistic)
13:54 mornfall taky nevim jestli je jedno že to je llvm
13:55 mornfall každopádně se to chová nedeterministicky, občas to udělá flagy správně, občas je jich tam výrazně víc
14:07 xstill jako že jsou tam nějaký blbosti?
14:14 mornfall jo
14:15 mornfall kdyžtak si ho chytni a donuť ho vyrobit ticket
14:15 mornfall nebo vlastně zejtra můžem
16:28 mornfall teď jsem objevil fakt veselej bug
16:30 xstill jakej?
16:30 xstill jinak ty defaultní volby bych právě v patchlevelu neměnil, to mi příjde dost divné
16:33 mornfall nevim jestli je ideální v jednom releasu něco překopat a zároveň z toho udělat default
16:33 xstill no, můžeme se tvářit, že už to úplně funguje
16:42 mornfall to asi můžem, ale třeba gen-explicit shared vůbec neumí
16:42 mornfall a komprese se bude asi taky muset zapínat podle typu modelu
16:43 xstill no to dává smysl, žejo, zapneme ji pro llvm a timed nejspíš
16:43 xstill gen-explicit se dá asi snadno modifikovat na shared
16:43 mornfall jo, ale všechno to mluví proti tomu to teď rvát do 3.3.1
16:46 mornfall fakt bych radši opravil chyby a udělal release a pak řešil co kde vylepšit
17:23 mornfall hmm, ten spurious counterexample asi nebyl null pointer dereference co?
17:28 xstill jestli myslíš ten hashset tak to byla bad dereference, ale null myslím ne (viz protipříklad v tracu)
17:28 mornfall ah on tam je já ho neviděl
17:49 mornfall no, on tam není napsanej (to je asi docela chyba)
17:50 xstill co tam není napsané?
17:50 mornfall jakej pointer to byl
18:59 xstill jo to je dost chyba no
18:59 xstill taky dobrý je, že mi spanfilter chytil potvrzení z letní školy, skoro jsem to promeškal :-/
19:46 mornfall xstill: potřebuješ ještě ty pheme který držíš?
19:46 xstill ještě nějaký držím?
19:47 mornfall asi 5
19:47 xstill hm
19:47 xstill chyba
19:47 xstill pustím
19:48 mornfall a pheme02 rebootnu protože asi umřela
19:48 xstill hm koukám
19:48 mornfall aha tak ne
19:49 xstill nebo je jen pomalá?
19:49 mornfall ale máš tam 102 sshd
19:49 mornfall jo je pomalá
19:50 xstill jo on tam asi Martin něco pouští
19:50 mornfall nic tam neběží
19:50 mornfall zrovna
19:50 mornfall dsched-shell občas vyskočí ale jinak tam je jen top
19:50 xstill to je jedno, já jsem zmizel odevšad snad
19:51 xstill tak ne
19:51 xstill mám mrtě sshd na pheme01
19:53 xstill oni ty mrchy neumíraj asi, i když je jich tam skoro moc na to aby to bylo jen ze spadlých spojení…
20:53 mornfall xstill: ještě minimálně 5ku držíš
20:55 xstill něco tam zůstalo viset
20:58 xstill už tam nikde nejsem, teď jsem to kontroloval

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