Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-12-15

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

All times shown according to UTC.

Time Nick Message
03:09 _ilbot joined #divine
03:09 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:45 xstill hm, http://divine.fi.muni.cz/hydra/build/3569334/log/raw zdechl unit ConcurrentHashSet
11:45 xstill (3/18) ConcurrentSet: ............/tmp/nix-build-divine-compression-3.0.91+pre4620.drv-0/divine-3.0.91+pre4620/divine/toolkit/concurrentset.test.h: 23: assertion `!set.insert( i ).isnew()' failed;
11:46 xstill (release, x64)
11:48 mornfall no, o tom víme už asi měsíc :-)
11:48 mornfall ale spito se k tomu nějak nemá
11:48 xstill aha, já myslel, že je to novinka
11:48 mornfall včera jsem to zmiňoval zrovna :-)
11:49 mornfall http://irclog.perlgeek.de/divine/2013-11-27#i_7925313
11:49 mornfall tady jsme to řešili se spitem
11:50 xstill aha
11:51 mornfall počítám že odkdy jsme mu řekli že má použít pthread_* místo std::thread tak se na to nepodíval :P
11:53 xstill tak, on je konec semestru
12:06 mornfall no jo, to máš furt něco
12:32 mornfall (1/1) ConcurrentSet: ..............--> FAILED: (14/16) pMultiCS (caught signal 11)
17:04 spito joined #divine
17:27 mornfall spito: no nazdar... dvě věci :)
17:27 mornfall spito: jak jseš na tom ve středu s časem?
17:27 mornfall a co ten concurrentset?
17:35 spito středa OK
17:36 spito a tabulka....no, když ji nechávám běhat u sebe, tak se nic neděje
17:36 spito tedy že to vždycky funguje dobře
17:38 mornfall a zkusil sis to přeložit gccčkem? :)
17:38 spito jo, to ne :D
17:38 mornfall super :P
17:38 spito to bude asi ono, co?
17:38 mornfall cojávim... mně to tady segví v jiným testu když to přeložim gcc 4.7.3
17:39 mornfall viz log
17:39 mornfall (pMultiCS)
17:39 spito jo, tam to segví s gcc už dýl
17:39 spito ale s clangem jede debug i release mod
17:41 mornfall to může klidně znamenat že tam je někde undefined behaviour
18:03 spito mornfall: když se divine překládá jako release, zůstávají v kódu asserty?
18:03 spito assert_unrecheable a podobné?
18:08 mornfall jen unreachable
18:08 mornfall normální asserty ne
18:08 mornfall (v testech samozřejmě ano)
18:09 mornfall (unit testech...)
18:19 spito jako mně se ta chyba nepodařila ještě vyrobit
18:19 spito a to jsem ty testy měl puštěný dost dlouho
18:19 spito (a ano, verifikaci jsem už pustil)
18:21 mornfall tak, 27. jsi měnil tabulku a 28. jsme si všimli že se rozbila... počítám že to nebude úplně náhoda
18:21 mornfall zkus si pořádně přečíst ty patche
18:25 spito to je všechno fajn (ano, přečtu si je), ale kdybych to uměl aspoň reprodukovat, věděl bych, jestli to pomohlo, nebo ne
18:25 spito jo a taky je tu možnost, že se něco rozbilo už dřív, ale nikdo na to nepřišel
18:29 spito ha, mám kandidáta
20:18 mornfall tak co? jak se má kandidát?
20:24 spito no, je napsaný
20:24 spito a uložený
20:25 mornfall čekáš co řekne republiková rada? :P
20:25 spito jo
20:25 spito nechci zbytečně plevelit darcs
20:25 spito a maily
20:25 spito a tak
20:25 mornfall a jak to provedeš?
20:25 spito republiková rada=verifikace
20:26 mornfall aha
20:26 mornfall a na té původní verzi ti to něco řeklo?
20:27 spito neřeklo
20:27 spito to nedoběhlo
20:27 spito tedy - chcípla arke
20:27 mornfall myslim tu s pthread_create místo std::thread
20:27 spito no, ta zatím běží
20:27 mornfall ok
20:27 spito a kandidáta jsem našel koukáním do kódu
20:28 mornfall ono pokud to s clangem nepadá tak je možný že divine ti taky nic neřekne žejo
20:28 spito http://divine.fi.muni.cz/trac/changeset/4530
20:28 mornfall pošli patche rovnou, já si je aspoň přečtu když nic jinýho
20:33 spito tak jo
20:41 mornfall hmm
20:47 mornfall spito: ty máš ve středu taky sítě, nebo nemáš nic?
20:47 mornfall (Vláďa má tušim od dvou...)
20:47 xstill (jo)
20:48 mornfall já mam v podstatě volno, jen si jdu koupit kytaru a k tomu potřebuju bratrance tak abych zhruba tušil co mu říct :-)
20:50 mornfall spito: jo a z těch patchů je oprava ten prostřední jo?
20:51 mornfall spito: protože se nemůžu rozhodnout jestli ten Refactor něco opravuje nebo spíš rozbíjí :-P
21:05 xstill (jdu rači spát, už mě ty automaty nebaví)
21:08 Erbureth joined #divine
21:14 spito já mám středu celkem volnou
21:14 spito mornfall: co by měl ten patch rozbíjet?
21:27 mornfall to nevim, ale vypadá nebezpečně :-)
21:43 spito ale hušá, nebezpečný to bylo doposavaď
21:44 spito resp mohlo dojít k neuvolnění bloku
21:44 mornfall no to jsem se ptal :) refactor většinou znamená no functional change
21:44 mornfall jo a control není kontrola
21:44 mornfall ale ovládat
21:45 spito ale jo pořád
21:45 spito :P
21:45 spito vždyť už dlouho víš, že jsem analfabet
21:45 mornfall já se z tebe snažím něco vykřesat :D
21:45 spito a co, myslíš, že se ti to daří?
21:46 spito zkus se obejktivnÄ› zhodnotit
21:46 spito (a myslíš, že to má vůbec smysl? nemám jít radši pást ovečky?....i když....asi ne, chuděry ovce)
21:46 mornfall to fakt nevim, ale na to abych to vzdal mi to nepřijde dost beznadějný :-)
21:47 mornfall objektivně zhodnotit by to musel nějaký nestranný pozorovatel
21:49 spito no, pozorovatel by ale nejspíš mnoho věcí ovlivňoval
21:50 spito verifikace ještě běží a já se tedy mohu nerušeně učit ty sračky do softwérového inženýrství
21:50 mornfall :-) a já si lehnout spát, abych zitra vstal v šest a jel na zkoušku z klavíru
23:49 shender joined #divine
23:54 mornfall joined #divine

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