Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-20

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:39 mornfall xstill: nevolá
08:57 mornfall https://divine.fi.muni.cz/status/log/dasfy5y6bvawabws47q0y3ny47rw5h26-divine-gcc_explicit_debug_x64-3.2.2+pre5473/vanilla:reduction_owcty-por.sh
08:57 mornfall některý testy očividně počítaj s tim že některý algoritmy existujou :-)
08:58 mornfall a zdá se že smallvector nejde přeložit g++ 4.7
09:39 xstill hm, já měl pocit, že jsem to owcty už ifoval, ale asi ne dostatečně teda
10:10 xstill mornfall: dokážeš nějak zníčit ten spam ve tracu?
10:10 xstill hele jak se jim to vůbec daří, není tam náhodou povinné potvrdit registraci mailem?
10:11 mornfall no, to asi není zas takovej problém
10:11 mornfall hm, ale tohle už je docela dost
10:12 xstill to teda
10:14 mornfall hm, /home/divine, /usr/mpi maj v tom clusteru pěknej guláš teda
10:18 mornfall ale fakt nevim jak
10:19 mornfall ani nevim jestli to jde nastavit tak aby registrace vyžadovala potvrzení od nás
10:19 mornfall (i když to taky není zrovna optimální)
10:20 xstill to není
14:01 spito joined #divine
14:02 xstill mornfall: hele a jak to teda funguje s tím unwind, co řídí kdy se volaj destruktory?
14:06 mornfall xstill: [09:39:21] <mornfall> xstill: nevolá
14:06 mornfall :)
14:06 mornfall destruktory řeší libcxxabi
14:07 xstill takže unwind jako takovej je nevolá, ale v libcxxabi je něco co je volá při unwindu s výjimkou?
14:08 xstill (to jsem četl, že sám je ten unwind nevolá, ale někdy se volaj, žejo)
14:09 mornfall ano, __cxa_throw se o to stará
14:11 mornfall https://is.muni.cz/auth/th/139761/fi_d/thesis.pdf sekce 4.6 ;-)
14:23 xstill a chodí nám pořád další spam
14:23 xstill (do tracu)
14:34 spito nedalo by se to nějak opravit?
14:34 spito (ten spam)
14:38 xstill no chtělo by to, ale otázka je co je zastaví
15:54 spito joined #divine
21:30 spito joined #divine

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