Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-05-29

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

All times shown according to UTC.

Time Nick Message
00:22 ilbot3 joined #divine
00:22 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:08 xbarnat joined #divine
07:20 xbarnat hola panove ... skoncil nam semestr a zacalo zkouskove ... neudelame predprazdninovou rekapitulaci stavu a planu? kdyz ne fyzicky, tak aspon elektronicky?
07:20 xbarnat teda, ze zase prudim
07:44 xstill xbarnat: no za mě nic moc, stav je takový, že za květen jsem nic do labu neudělal a plánovat budu až napíšu poslední zkoušku (v sobotu)
08:11 mornfall hm, poslední what if je dost drsný :-)
10:27 spito joined #divine
10:28 spito ale jo, klidně
10:28 spito akorát za mě je rekapitulace nulová
11:17 xbarnat hola je nekde priklad s prob, ktery bych si mohl vyexportovat do DESS ?
11:34 xbarnat jo je
11:34 xbarnat anna:/tmp/llvm-prob.tgz
11:48 xstill xbarnat: teď si úplně nejsem jistej nakolik je ten prob v DESS dodělanej, snad jo, ale kdyby něco můžu na to mrknout
11:49 xbarnat nj nikdy nevis
11:59 mornfall chtělo by to regresní testy :-)
12:16 xstill ono by to chtělo spustu testů
12:16 xstill regresní na co konkrétně?
12:17 mornfall no na probabilistic dess
12:19 xstill jo tak
12:19 xstill no ono pokud jsi nic nepředělal s Probability tak to funguje asi zhruba
12:23 xstill btw. skončil TrueCrypt, dost divně
12:25 spito joined #divine
13:34 mornfall xstill: jo, no
13:36 xstill spito: ten včerejší výpadek isu byla asi ta havárie co o ní píšou na https://is.muni.cz/auth/bb/MU/ismu/48934405
13:36 mornfall /. je plnej teorií :-)
13:36 xstill mornfall: co je plné teorií?
13:40 mornfall slashdot
13:42 spito xstill: jo, jsem jenom čekal, kdy to napíšou
14:39 mornfall hm, nested dfs nám nefunguje na windows
14:39 mornfall teda, dvouvláknový
15:51 spito joined #divine
17:24 xstill zajímavý
19:07 mornfall CMakeFiles/divine.dir/objects.a(divine.cpp.obj):divine.cpp:(.text$_ZN6divine7Compile15prepareIncludesIPNS_11stringtableEEEvT_[__ZN6divine7Compile15prepareIncludesIPNS_11stringtableEEEvT_]+0x36): undefined reference to `wibble::sys::fs::mkFilePath(std::string const&)'
19:07 mornfall hmm
19:12 xstill windows? to je starej problém
19:12 xstill ta funkce tam není
19:14 mornfall jo, ale teprv teď mi to začlo vadit :-)
19:14 mornfall protože nebýt toho tak možná máme divine s llvm na windows
19:55 spito joined #divine
20:20 xHire joined #divine

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