Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-18

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

All times shown according to UTC.

Time Nick Message
01:47 _ilbot joined #divine
01:47 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
05:57 xbarnat joined #divine
06:07 xbarnat hola, je takticke napsat tomu Calinovi, ze chyba je v redukci a at zkusi --noreduce?
06:26 mornfall já mu napíšu
06:36 mornfall (píše se to --no-reduce btw.)
06:39 xbarnat jj
06:41 xbarnat Jen tak male pozorvani,  nestalo by za to, aby divine help vypsal explicitne, ze pro vice helpu o jednotlivych prikazech je treba napsat divine help priokaz?
06:41 xbarnat ... kuš samej preklep ...
06:43 xbarnat divine.ide mi nejde zkompilovat  ... je to nekomu?
06:43 xbarnat je -> jde
06:49 mornfall ještě nedávno to šlo, zkusím
07:20 mornfall jo, zdechá to na undefined reference... meh?
07:23 spito joined #divine
07:35 mornfall ale kulový
07:36 mornfall druhý pokus, chce to zapnout DVE :-)
07:36 mornfall asi budu muset do obchodu, jinak su odsouzenej na jezení jablek a čokolády...
07:37 mornfall xbarnat: odklepnul jsi ten autocont?
07:37 xbarnat ano
07:37 mornfall ok... je na to nějaká eta?
07:37 xbarnat 14 dni
07:37 mornfall fajn
07:37 xbarnat orientacne
07:38 xbarnat ten to zase nemuze prelozit s 4.8.1 ckou ...
07:38 mornfall ten Chang?
07:39 mornfall tak ono to dojede, někdy :-) nejspíš
07:39 mornfall napiš mu že možná zítra
07:39 mornfall ;-)
07:39 mornfall chtělo by to hydru, že bychom třeba měli aj binárky
07:40 xbarnat to sem mu psal, uz mi poslal zpet ze ma error
07:41 mornfall škoda
07:41 xbarnat a nejde to pro ubuntu nejak sbuildit rucne bez hydry?
07:42 mornfall tak pokud ho máš, můžeš zkusit :) debuild
07:42 mornfall přidej něco do debian/changelog
07:42 mornfall nebo teda nix-build můžu zkusit, ale to se bude muset asi prvně opravit :-
07:42 mornfall :-P
07:44 mornfall no, buildy běží, jdu nakupovat, bbiab
08:18 mornfall xbarnat: divine.ide přeložit jde
10:11 xstill mornfall: co ten bug v CE? Řešíš to?
10:12 mornfall ale jo, řeším, ale když opravím redukci tak se to sype s assertem tak to ještě potrvá :-)
10:13 xstill já myslel to cyklení
10:13 xstill parent pointry
10:14 mornfall jo vim
10:30 xstill hm, tak to jsem zvědav co se stane když nainstaluju gcc48 a pokusím se přeložit instanciaci...
12:16 xhire_ joined #divine

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