Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-31

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
12:29 xstill tak s novým userpsace se ten bug s hashsetem neobjevuje
12:53 mornfall co ten RH projekt, zaříznem to? nezdá se že by na to měl kdokoliv čas
12:56 xstill hm, neměl to sepisovat Jiřík?
12:56 mornfall asi měl
13:08 mornfall nicméně jsem naprogramoval probabilistic choice kterej už snad i funguje
13:08 mornfall trvalo to jen dva dny
14:47 mornfall xstill: napíšeš tohle pozorování do tracu? (ad invalid dereference)
14:47 mornfall úplně ideální by byl diff mezi tím userspace co je v tom vadným .bc a co je teď
15:33 xstill mornfall: ještě to budu analyzovat
15:33 xstill problém je, že se mezitím změnila ta libc++
15:33 xstill takže tam bude různé asi tak všechno…
15:34 mornfall aha, no... ok
15:34 mornfall ale je to další na todo (jen musím zarecordovat ten probabilistic)
15:35 xstill jako zajímavé je, že ty modely mají i úplně jiný počet stavů (nový má výrazně míň)
15:36 xstill jo, ten libdivinert je z 27. 2. libc++ byla 12.3.
15:38 mornfall zajímavý
15:53 xstill hm, tak ne ta chyba zmizí když nenastartuju další vlákna, to jsem uděl nějak blbě před tím
15:53 xstill nebo nevím, teď to nedělá
15:57 xstill aha to je ten důvod proč to s nový divine nenašlo, takže libc++ za to nemůže, ale moje neschopnost :-D, ta chyba je tam pořád
18:18 mornfall spito: btw. ten jeden warning fix jsem nepushnul protože jsem podobných opravil víc tak si ho pak zruš
18:18 spito Jo, v pohodě.
18:20 spito Obratem tam máš patch na pool a brick::MMap
18:28 xstill mornfall: co že jsi zapnul rtti v interpretru?
19:15 mornfall xstill: bez toho moc nefungují výjimky totiž
19:15 mornfall jakože jde je vyhodit a chytnout ale nejde poznat co to bylo (chytne to jen ...)
19:17 xstill jo to bych chápal, ale myslel jsem, že to no-rtti tam bylo protože se nepoužívali, tak mě překvapilo, že jsi jen tak osamoceným patchem to zapnul
19:19 mornfall no, v program.cpp se jich vyhazuje docela dost
19:19 mornfall přijde mi že to v některých runtime funguje a v jiných ne
19:19 mornfall každopádně jsem zrušil no-rtti a funguje to, takže to tak asi nechám
19:20 xstill aha, takže to mohlo být rozbité?
19:20 mornfall no, to nepochybně bylo, ale nevím jestli všude
19:20 xstill aha
19:20 mornfall spito nějaký undefined symboly dostával
19:20 mornfall ale já z toho nic než abort nevymlátil (až teda catch (...) to chytnul)
19:20 xstill hm, jak to souvisí s unefined symboly?
19:21 mornfall (ale z ... zase nejde vypsat nic rozumnýho)
19:21 mornfall no, v .bc souboru
19:21 mornfall program.cpp130                 throw std::logic_error(
19:21 mornfall 132                     std::string( "Unresolved symbol (global variable): " ) +
19:21 mornfall etc etc
19:22 xstill to mi taky vyhazovalo, tobě teda ne?
19:22 xstill teda rozhodně jsem někdy unresolved symbol viděl
19:22 mornfall no, teď naposled ne
19:23 mornfall aj jsem upgradoval na clang 3.6 v podezření že je něco s 3.5 v nepořádku
19:23 mornfall ale asi to nebude bug
19:23 xstill aha
19:24 mornfall druhá věc je libcxxrt, který s tím může něco mít
19:26 xstill ten by to snad nemělo ovlivňovat, ne?
19:28 mornfall no, když vezmeme v potaz že libcxxrt implementuje __cxa_throw :-)
19:30 xstill no jasně, ale libcxxrt se přece kompiluje úplně jinak než interpreter
19:30 xstill to by měly být úplně nezávislý věci
19:32 mornfall ale od libcxxrt závisí jak se poznává jestli něco jsou nebo nejsou stejný typy
19:39 xstill hm jo
19:56 mornfall a za měsíc bude Debian Jessie
19:57 mornfall a to znamená llvm 3.5 v debian stable, takže asi je pomalu (rychle) čas
20:00 xstill no nevím, tím zařízneme všechny starší distribuce, co poslední fedora a ubuntu?
20:17 mornfall v ubuntu je 3.5 k mání od 14.04, ve fedoře 21 je nejspíš taky
20:20 mornfall FEDORA-2014-17633 llvm-3.5.0-6.fc21
20:20 xstill ok, tak pokud je v i nixu, tak asi můžeme jít do toho
20:20 mornfall 1:3.5-4ubuntu2~trusty2 [security]: amd64 i386
20:21 mornfall no, spíš to znamená že ani na aktuální fedoře a za pár týdnů ani na debianu nepůjde divine přeložit
20:21 mornfall v ubuntu je paralelně aj 3.4 podle všeho
20:21 mornfall no, možná bude aj v tom debianu
20:21 mornfall nicméně je potřeba předtím to nějak stabilizovat
20:22 mornfall tzn. opravit minimálně ndfs
20:22 mornfall ty segfaulty na ubuntu těžko říct
20:22 xstill aj to LTL v C++ by chtělo
20:22 xstill to může být chyba linkeru

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