Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-24

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
06:53 xstill svn odzmizela, nicméně netřeba dohledávat
06:54 xstill takže to chápu správně, že jen na tool paperech je zvykem odměňovat programátorský přínos?
06:55 xstill ESMBMC je veselá věc, obvzlášť teda na paralelních programech
07:08 xstill trochu problém, že to nedává nic z C++11 a má to hroznej výstup, nicméně něco z toho vymlátím snad
07:22 mornfall programatorsky prinos na dany paper se pocita taky, ale melo by to byt fakt na tom prezentovane casti
07:22 mornfall na te*
07:25 mornfall ja byl v tomhle predtim hodne liberalni, ale ted se mi zda ze to je spis kontraproduktivni
07:42 mornfall kdyby to byl třeba článek o lartu, nebo se tam aspoň nějak významněji zmiňoval, bylo by to jiný... takto jsou tvoje contribution vesměs věci které mají dopad na evaluaci (nebo taky na podporu výjimek, který mají vlastní článek a v tomto se vůbec nezmiňují)
11:03 xstill mornfall: v --instance 14891015 by se mělo pomalu oběvovat ESBMC
11:03 xstill (--instance 13143137 --instance 13148753 jsou D4 a D3)
11:03 xstill ale mám podezření, že fakt na dost modelech se vymlátí už parser
11:04 xstill a místo search time měřím wall protože nic lepšího nemám
11:35 mornfall xstill: hustý
11:37 mornfall (jen je teda klidně možný že když budeme srovnávat --symbolic tak to dopadne přesně obráceně)
11:38 xstill to je dost možný, hlavně třeba na SV-COMP toho asi zvládneme míň zpustit než oni
11:38 xstill trochu problém je, že se zdá, že na ničem dalším už to nedoběhlo
11:39 xstill chtěl jsem importovat jejich C++ testy, ale oni v aktuálním ESBMC nefungují
11:39 xstill takže tohle je dost bída co se benchmarků týče
11:41 xstill další jejich benchmarky mají mrtvé linky
11:44 xstill krom těch C++ benchmarků toho moc softwarového stejně nemají
11:46 xstill jinak to že je rozbijeme na vláknech není nic překvapivýho, oni rozbalují jednotlivá prokládání, nám se toho hodně seběhne
12:03 xstill mornfall: 14901920 bude lepší, protože nezapočítá timouty po dvou hodinách do času
18:48 divine-next 9 new patches validated [mornfall xbaranov xstill]
19:37 divine-next 1 new patch validated [xbaranov]
19:42 blurry placeholder: 15005373 14976218
20:37 mornfall xstill: řekl bych že by se teď D4 mohlo dost přiblížit D3 aj na svc-pthread

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