Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-10-16

| 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/
06:03 xstill jakto?
07:26 xstill hm, nemůžeme mi prostě likovat pomocí llvm-link a pak odřezat nepoužívané symboly (ručně)?
07:26 xstill ideálně teda llvm-link zakompilovat přímo do divine
07:45 xstill mornfall: x11 forwarding je zakázanej?
08:14 xstill hm, když linkuju přes llvm-link tak dostanu nedefinovaje symbol _ZTISt8bad_cast
08:15 xstill jakou magií ten se tam dostane by mě zajímalo
08:22 xstill v .a ale je dobře
08:25 xstill hm mám skoro podezřejí, že llvm-link je úplně blbej
08:29 xstill anebo já
08:32 xstill ten symbol jen nějak náhodou zmizel
08:45 xstill kde sakra jsou v nixu system wide includy? (nějaký systémový ekvivalent ~/.nix-profile/include)
18:34 mornfall blbejbdotaz ale kdy a kde je zejtra ten odjezd? :)
18:54 ilbot3 joined #divine
18:54 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
19:06 kristina_ joined #divine
19:09 kristina_ mornfall | xstill: Mohli byste me prosim nasmerovat, jak pracovat s dess soubory, abych videla nejaky citelny vystup? Nemuzu se to nikde docist.
19:26 mornfall kristina_: no, on moc čitelnej není z principu
19:27 mornfall kristina_: je to binárka, můžeš si ji leda tak namalovat divine draw
19:27 xstill kristina_: viz manuál tam je dess popsanej snad dost
19:27 xstill mornfall: nedostal jsi mail?
19:27 mornfall ale možná dostal jdu se podívat
19:27 xstill mornfall: Conference bus leaves from Faculty of Information Technology, Brno University of Technology, Bozetechova 2, Brno on Friday 17th
19:27 xstill at 8:50. The bus will wait at most 10 minutes.
19:28 kristina_ xstill: tam je dess popsanej dost, ale nedocetla jsem se, co s nim dal, kdyz ho jednou mam.
19:28 xstill kristina_: no budeš muset z toho nějak dostat ty data, je to binární formát, takže lidsky čitelný to moc není
19:28 mornfall hm, FI MU
19:29 xstill a manuál ti říká, jak jsou tam ty data poskládaný
19:29 mornfall aha, no, já našel mail ale Date: Wed, 15 Sep 2010 11:54:38 +0200
19:29 xstill mornfall: já mám mail z 12. 10.
19:29 xstill mornfall: ti to pošlu
19:30 xstill kristina_: a soubory v divine/explicit implementujou jak to z toho (nebo do toho) dostat
19:31 mornfall xstill: už mám, sežral to fakultní DSPAM :P
19:31 xstill :-D
19:31 mornfall ale ten angličtin
19:31 mornfall achjo :-)
19:32 xstill kristina_: asi můžeš loadnout dess soubor pomocí třídy explicit v divine/explicit/explicit.h
19:33 xstill a pak přistupovat k jednotlivým data blokům (forward jsou hrany)
19:33 mornfall kristina_: když si to vydumpuješ hexdump-em nebo od (třeba: od soubor | head) tak máš možná šanci si to přečíst, podle manuálu
19:33 xstill není to size komentovaný moc, ale je to snad alespoň rozumně pojemnvaný
19:34 xstill tak hexdumpem máš šanci, jsou to vesměs 64bit bloky
19:34 xstill little-endian
19:36 kristina_ okay, zkusim) diky
19:37 mornfall trochu reverzního inženýrování ještě nikoho nezabilo
19:37 mornfall hexdump ftw
19:38 xstill jo, někdy je to vtipný, dokumentace dokáže být míň nápomocná než podívání se do kódu
19:39 xstill mornfall: četl jsi log z dopoledne? co si myslíš o tom vyhodit gold a prořezávat symboly ručně?
19:42 mornfall no, jo, to je asi rozumnej plán
19:42 mornfall ale asi to není úplně jen tak
19:42 xstill jakto?
19:42 mornfall teda gold to dělá obráceně
19:42 mornfall no, že ten bitkód na prořezání bude dost mega
19:43 mornfall (asi 12 mega bitkódu je fakt docela dost :)
19:43 xstill no, pro fifo-bug je to 2.6 MB vs 11 MB
19:44 mornfall jo, já jen že musíš prolézt těch 12M místo abys prolézal těch 2.6
19:45 xstill tak jistě, ale zase divine.bc má 17 MB a načteme ho
19:45 mornfall a divine.bc prořezanej je 16M :-)
19:45 mornfall ha, jinx
19:45 xstill :-D
19:47 mornfall jako určitě to bude pomalejší, ale asi to nebude vadit
19:48 xstill tak, určitě lepší než když to nefunguje na mainstreamových distribucích
19:48 mornfall ajo fedora
19:48 mornfall a debian
19:48 mornfall teda ubuntu
19:48 mornfall nojo
19:49 mornfall je to k zlosti
19:49 xstill jo
20:35 xstill co dělá takové divné volání jako %26 = call i32 (...)* bitcast (i32 ()* @main to i32 (...)*)(i32 0, i32 0), !dbg !85092? respektive, jak z té instrukce dostanu co za funkci se vlastně volá?
20:39 mornfall no, @main :)
20:40 mornfall ono má llvm takový trochu pseudovýrazy
20:40 mornfall s konstantama
20:41 mornfall takže místo @main můžeš napsat bitcast něco něco
20:41 mornfall ono to vypadá hrozně protože to bitcastuje function pointry
20:50 xstill no já vidím, že main, ale myslel jsem programově to z toho dostat
20:50 mornfall hm
20:51 mornfall tak můžeš se prosekat těma bitcastama

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