Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-08-12

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

All times shown according to UTC.

Time Nick Message
00:54 mornfall to mám z toho že překládám divine na auře
00:54 mornfall vůbec nechápu co to je za binárku
00:55 mornfall no nazdar :D
00:55 mornfall olol :-)
01:47 ilbot3 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/
03:15 mornfall zdá se že higherorderapprox jsme úspěšně vytlačili na <20% CPU :-)
06:41 mornfall joined #divine
07:08 xstill hm, tak mi to přes noc vygenerovalo skoro 40M stavů, to celkem jde, to před tím trvalo pár dní :-)
09:02 mornfall hm, mpi je kompletně rozbitý, tak se mi zdá
09:02 xstill no pak máme blbý testy
09:02 mornfall no mně padaj ty testy :-)
09:02 xstill aha
09:03 xstill mě procházely testy ještě dost nedávno
09:03 mornfall ###       failed: [vanilla] mpi/map-mpi.sh
09:03 mornfall ###       failed: [vanilla] mpi/owcty-mpi.sh
09:03 mornfall na auře
09:03 mornfall owcty dokonce zesegvilo, map zase spočítal nějakou koninu
09:04 mornfall ale v hydře ty testy zdá se prochází
09:04 xstill no a není možné že máš jen nějaké jeté mpi z toho RHELu co si nerozumí s divinem?
09:04 xstill i když je to divné i tak teda
09:06 mornfall nevim, builduju to nixem
09:06 mornfall takže doufám že nemam
09:07 mornfall ale možný je asi cokoliv
09:07 xstill na auře? Aura není úplně pure prostředí, myslím, že už jsem viděl případ kdy mi to chytlo něco z /lib
09:08 xstill (nemáme tam jak pustit chroot)
09:08 xstill ale mě teda mpi map teď padá taky
09:08 mornfall tak,         libmpi.so.1 => /nix/store/hpcv8grqy84b4ijq7ixgg7rq9bk0lh2x-openmpi-1.6.5/lib/libmpi.so.1 (0x00007f63c77f4000)
09:10 xstill je možný že jsem to rozbil
09:12 xstill hm jo
09:12 xstill protože _foreign je asi blbě
09:13 xstill nojo
09:14 xstill protože Hanlde nedefinuje tagBits…
09:14 xstill opravím
11:14 xstill wtf. pořád to padá
11:19 mornfall každopádně záhada s hashtabulkou se vyřešila, cmakecache ukazuje aj na zdrojáky ale ccmake to neukazuje :-)
11:19 mornfall takže jsem úspěšně přeložil divine z tvýho checkoutu
11:19 mornfall a make ani nemrkl...
11:20 mornfall (pak se mi ještě povedlo vyrobit debug build, ale teď už to jede dobře a dostalo se to za ten resize docela rychle)
11:21 xstill :-D
13:11 mornfall co to MPI, našels něco?
13:11 xstill jo
13:11 xstill teď pouštím testy
13:11 xstill já jsem na to totiž mezi tím stihnul zapomenout
13:17 mornfall :-)
13:18 mornfall já bych měl asi doladit benchmarky a nějak hnout tou dizertačkou
13:18 mornfall nějak jsem úplně vypadl
13:32 xstill tak jo zdá se že jsem to konečně opravil
13:39 xstill hm, http://divine.fi.muni.cz/hydra/build/6360329/log/raw
13:40 xstill máš to rozbitý, ten test je označenej jako good
13:40 xstill (a mpi tam padlo)
13:41 xstill máš tam patch na MPI
13:52 mornfall ha, já si říkal :-))
15:37 mornfall no, T = 3 N = 1 už vygenerovalo 86M stavů... bude to ještě krušný
15:41 mornfall xstill: O_POOS to je dost dobrý ;P
15:53 xstill :-D tak to oprav :-)
15:54 xstill nebo mám já?
15:56 mornfall no, máš to v popisu patche
15:59 xstill ok
15:59 xstill opravím
16:14 xstill máš to tam
17:06 mornfall 103M
17:07 mornfall to je něco jako 10M za hodinu
17:12 xstill 70M stavů na divine.bc od včera
17:13 xstill na to že minule jsem měl 50M tak za 4 dny…
17:13 mornfall :-)
17:13 mornfall žejo
17:14 mornfall píšu si bod
17:28 xstill :-) jen to teda žere 191GB
18:24 xstill i když je zase pravda, že ono to sice sežere skoro 200G poměrně rychle ale pak už to moc neroste
20:20 mornfall 144... to je na dlouhý lokty tohleto

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