Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-06-08

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

All times shown according to UTC.

Time Nick Message
03:28 xstill joined #divine
07:55 xzak4 joined #divine
08:28 spito xzak4: pokud jde o náhodnost to jde řešit adaptérem na graf, spíš než visitorem (mornfall)
08:30 xzak4 jj - ja si prosel log, diky
08:30 xzak4 co je POR?
08:31 xzak4 mam jeste jednu otazku, nechapu k cemu slouz queue v "toexpanda" v nested DFS... díky
08:39 spito Partial Order Reduction
08:44 mornfall to je 'toexpand' ne toexpanda a viz výš
08:46 spito (měl bych se ten divine asi líp naučit, tohle jsem ze zdrojáku nedal :-/)
08:47 mornfall no, tohle by se zrovna por_toexpand jmenovat mohlo, když nad tím je ce_stack a ce_lasso
08:53 spito mornfall: v LLVM při definici funkce záleží, jak se jmenují registry parametrů?
08:53 mornfall v jakém smyslu?
08:53 spito (počítám, že nezáleží, ale radši se ptám)
08:53 spito define i32 @foo(i32 %1)
08:54 mornfall nesmíš je pak použít na nic jinýho, řekl bych
08:54 spito je toto validn9<
08:54 spito validí?
08:54 mornfall hm, jestli můžou být anonymní to teda nevim
08:54 mornfall ale můžeš to zkusit :-)
08:55 mornfall %číslo není tak úplně název totiž
08:55 spito no, nejde to
08:56 mornfall možná kdybys začal od %0 (a pak adresa prvního basic bloku bude %n kde n = počet parametrů)
08:56 mornfall ale to by taky mohlo nejít
08:56 mornfall pojmenuj si je a0 - aN třeba
08:57 spito jo, to už jde
08:57 spito dík
09:15 xzak4 prave moc nechapu, proc kdyz ten DFV visitor prochazi uz DFS - je tam dalsi stack do ktereho se za zvlastnich podminek davaji dalsi vrcholy a pak se z nich znovu ten graf prochazi...
10:18 mornfall jestli myslíš toexpand tak to není stack ale fronta
10:18 mornfall jestli chceš můžeš si ten por nastudovat
10:18 mornfall ale jinak tě to fakt nemusí zajímat
10:18 mornfall když je por vypnutý, toexpand je vždycky prázdný (což lehce poznáš z toho jak se plní)
12:05 xzak4 jj fronta, asi jsem se prehledl, jde mi teda o jedno - mam resit POR v kontextu toho meho algoritmu? Jak POR vypnu?
12:51 xstill xzak4: řekl bych že nemusíš řešit POR, minimálně na začátku, dělej jako by tam nebyl, on tam stejně většinou není (jen pro DVE vstup)
12:51 xstill (jinak por se dělá přes divine/algoritm/por-c3.h)
22:38 mornfall joined #divine

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