Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-16

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:09 xstill wtf. 3 hours passed, giving up... (http://divine.fi.muni.cz/status/log/f6avg77n50gxs6b5m4i2aljwiif2f0aw-divine-gcc_all_debug_x64-3.3.1+pre5877.drv)
11:07 spito mornfall: co se musí stát, aby vyletěl assert v machine.h:326?
18:13 mornfall 14:03 (@ mornfall ) hm, a ještě teda 3 hours passed, giving up...
18:13 mornfall 14:04 (@ mornfall ) (to by asi měl být fail spíš)
18:15 mornfall ale jako jo, ty testy za 3 hodiny nedoběhnou
18:17 xstill to je dost divný
18:18 xstill ty testy by podle mě neměli běžet 3 hodiny
18:18 mornfall xstill: když se podíváš na ty čásy nad tím...
18:18 xstill hm
18:19 xstill a to je timeout kde?
18:19 mornfall v brick-shelltest je to asi natvrdo napsaný
18:19 mornfall je dobrý mít tam nějakej timeout když se test zacyklí ve výpisu aby to skončilo
18:20 xstill to chápu, nebylo by ale lepší mít timeout jen na jednotlivé subtesty?
18:21 xstill případně tenhle mít nastavitelný a zvednout ho na 6 hodin nebo tak něco…
18:21 xstill je to boj teda
18:21 mornfall ten tam je taky
18:21 mornfall nastavitelný by to být mohlo
18:22 xstill jo ten je deset minut tuším (takže nám taky hrozí…)
18:22 mornfall no, ale ten je asi právě jen když ten test deset minut nic neřekne
18:22 mornfall nebo to je míň?
18:24 xstill nevím
18:27 mornfall bleh, jak vypsat název funkce...                     dyn_cast< ::llvm::Instruction >( this->_info.instruction( f.pc ).op )->getParent()->getParent()->getName().str() << std::endl;
18:28 mornfall spito: jinak se to stane skutečně tak že ten program naalokuje hromadu objektů najednou
18:36 mornfall jako jo, výroba adresáře podle všeho prostě alokuje 60k bordelu
18:37 mornfall tam máš několik cyklů který každou iteraci alokujou docela dost věcí a celý to máš pod maskou takže se nepouští kanonizace
18:37 mornfall teda nevim jestli to máš pod maskou, možná to dělá redukce
18:38 mornfall ale prostě voláš 60000x malloc
18:38 mornfall na jedný hraně :)
18:38 xstill (myslím, že většina fs by měla být pod maskou)
18:48 mornfall spito: do 18b čísla segmentu se to vejde
18:49 mornfall tzn. něco mezi 60 a 260 tisíc jich tam je
19:28 xstill mornfall: co vlastně ten paper na spin?
19:30 mornfall co s ním?
19:31 xstill jestli je to hotové… zítra je deadline (teda abstrakt možná)
19:32 mornfall to by mohl vědět spíš spito
19:35 xstill tak na to nesmíme zítra zpomenout
19:37 mornfall našteluj si budík :-)

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