Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-12

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

All times shown according to UTC.

Time Nick Message
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:38 xstill mornfall: jsi tu?
11:39 mornfall trochu
11:40 xstill ten SV-COMP je divnej, dostal jsem nějakej link na poslání final verze, ale místo toho aby tam byl ten článek, tak tam vidím jen TACAS'16 proceedings a pod tím invited paper. Chápu to dobře, že musím znova vypnit článek, nebo myslíš, že maj nějakou chybu v nastavení easychairu?
11:41 mornfall jseš správně přihlášenej jako autor?
11:41 xstill jo, píše mi to "TACAS'16 Proceedings (proceedings author)"
11:43 mornfall jo, asi se máš hlásit do SV-COMP 2016 ne do TACAS-u
11:44 mornfall no nebo možná taky ne
11:45 xstill no právě, že ne, to Dirk psal, že TACAS
11:45 xstill ono to výjde v TACASu
11:45 mornfall tak pak to je asi skutečně vedený jako invited paper
11:45 mornfall protože recenzovaný to bylo v SV-COMP-u
11:45 xstill OK, tak já to teda vyplním, dík
12:04 xstill mornfall: na copyright se musí vyplňovat i ty "volume editors"? nemůžu to v easychairu najít…
12:04 mornfall já copyright form naštěstí nikdy neřešil :-)
12:06 xstill aha :-D
13:13 xstill mornfall: budeš ve čtvrtek na FI?
16:47 mornfall xstill: tenhle týden asi jedině v pátek, nebo ideálně příští úterý
16:49 mornfall zajímalo by mě jak se nám povedlo nenajít ten race, to je asi docela bug
16:50 mornfall to nemůže mít 3 stavy...
16:53 mornfall ale asi to bude nějaká záludnost s tím nondet-em
17:09 xstill mornfall: v pátek tu budu jen dopoledne
17:10 xstill chtěl jsem se domluvit na tom cav paperu, ale tak to asi začnem řešit elektronicky
17:10 xstill na ten bug se chci podívat, může to být ještě optimalizátorem (jsem to proháněl optem pro SVCOMP)
17:11 xstill je to trochu škoda, nebýt toho bychom měli přes 1000, ale i tak je to podle mě dobrý
17:19 xstill achjo, jasně že je blbě ten nedeterminismus, hlavně že si to napočítá interval (0, 1) a pak tam hodí call i32 (i32, ...) @__divine_choice(i32 1), !dbg !74207, jsem myslel že jsem tenhle bug opravil :-/
17:20 xstill to je dost hloupý teda
17:22 xstill to se pak docela divím, že toho nemám blbě víc :-D
17:24 xstill jsem si dost jistej že jsem to opravoval, ale teď to zjeně opravený není, takže jsem asi kokot a omylem jsem si to revertnul nebo nezacommitoval :-/
17:29 xstill to jsou ty změny na poslední chvíli…
20:49 spito xstill: máš čas tento týden? Měli bychom napsat report na studentský projekt
20:49 xstill spito: může být čtvrtek?
20:50 spito ok, někdy dopoledne
20:51 xstill ok, ale dřív než v 10 se mi tam asi nebude chtít být :-D
20:51 spito však jasn+ě

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