Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-08

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

All times shown according to UTC.

Time Nick Message
02:45 xstill joined #divine
09:21 xstill mornfall: co jsi to včera psal s tím .hpp a tak?
09:25 mornfall xstill: pushnul jsem nějaký patche, tam najdeš vysvětlení :-)
09:31 xstill jako že jsi musel rozdělit llvm podle heap meta? Co vlastně dělá ten PointsToLLVM?
09:33 mornfall xstill: no, pamatuje si kontext kde kterej heap objekt vznikl
09:34 xstill aha
09:34 mornfall xstill: a pointsto property ověřuje, že každej ukazatel ukazuje na přípustnej objekt zapsanej v metadatech
09:35 mornfall xstill: problém je, že bych musel vytáhnout celou implementaci LLVM do .h... zatím jsem do těch asi 3 souborů ručně napral explicitní instance
09:35 xstill aha protože bys potřeboval šablonovat to co jsi měl v .cpp
09:36 xstill to je trochu otrava protože to by zpomalilo kompilaci mít to v .h
09:48 ilbot3 joined #divine
09:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:02 mornfall http://filippo.io/Heartbleed/#anna.fi.muni.cz
10:03 mornfall it's time, doctor! :-)
10:21 mornfall aby toho nebylo málo, tak openssl se linkuje do... úplně všeho, v podstatě :D
10:22 mornfall třeba se to stihne do zítra rebuildovat
10:22 mornfall Jiřík je v háji, ale asi budem potřebovat novej certifikát...
10:22 mornfall až se vrátí
10:40 mornfall joined #divine
12:20 xstill joined #divine
23:59 spito joined #divine

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