Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-25

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

All times shown according to UTC.

Time Nick Message
03:52 ilbot3 joined #divine
03:52 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:27 xstill mornfall, spito: vyřešili jste nějak to LTL v C++ modelech? protože jestli ne tak žádné LTL nad LLVM v článku asi nebude, nemáme jedinej dost velkej C model.
08:58 spito jako netestoal jsem to přímo, ale když dáš main do *.c, kde máě i LTL formule, tak divine info ty formule najde
08:58 spito *netestoval
08:59 spito a z toho mainu v *.c voláš main2 v *.cpp, tak to asi funguje
09:09 mornfall btw ve 12 prijedu na fi, ad probabilistic, pak asi budu mit cas resit kompresi (kolem 2) kdyby bylo potreba
09:38 xstill mornfall: od dvou učím a do té doby nevím nakolik tam budu, budeš tam ještě ve 4?
09:39 mornfall nevim, uvidime
09:39 mornfall neni to nemozny
10:12 xstill hm, ono je jednodušší přidat to LTL do LLVM assembleru než šachovat s tím mainem
10:26 xstill hm, je úžasný jak se všechno musí rozbít
10:26 xstill $ llvm-dis elevator2.bc -o - | llvm-as -o test -
10:26 xstill llvm-as: assembly parsed, but does not verify as correct!
10:26 xstill invalid linkage for intrinsic global variable
10:26 xstill [1 x { i32, void ()* }]* @llvm.global_ctors
10:27 xstill Broken module found, compilation terminated.
10:42 xstill hm, appending tam chybí
15:44 xstill hm, moc jsi ten interpreter rychlil zdá se, komprese je pomalá…
15:49 xstill nebo teda, o půlku pomalejší třeba
16:41 spito kdy máte vlastně deadline na článek?
16:41 mornfall v pátek
18:08 xstill hm, to by mi někdo mohl vysvětli jakto, že generic je ještě k tomu nejrychlejší…
18:14 xstill jak moc velká prasečnina je měřit škálování v počtu vrcholů vygenrovaných za 5/10 minut? Mě to příjde jako docela použitelné protožě a) stihneme to a b) naměříme to i bez komprese na arke
18:14 xstill btw. na 16 vláknech to škáluje cca 11.5, zatímco na 8 cca 7.5 takže počítám, že HT to moc nedává
18:14 xstill tak to asi nebudeme ani uvádět
18:17 xstill (myslím 16 vláken)
18:21 mornfall asi je to rozbitý... nevim
18:22 mornfall ale je pravda že ten splitter jak je teď není úplně levnej
18:22 mornfall takže možná se projevuje to

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