Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-02-17

| 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/
09:54 xstill hm, ty máš v brick-gnuplot nějakou interpolaci, že? Je v tom nějakej bordel
09:54 xstill dělá mi to -nan v datech
09:56 xstill mornfall: hm, jo, když jsou na konci 2 stejné hodnoty tak se to úplně rozsype
09:56 xstill ani nemusí být na konci
09:57 xstill mornfall: můžeš se na to podívat? já nevím vůbec co v té interpolaci děláš
09:57 xstill (v interpolateNaturalKs)
10:03 mornfall hmm
10:03 mornfall můžu ale nejdřív tak v 8
10:04 mornfall ideálně mi pošli zdroják a data který to rozbijou
10:04 xstill no tak já to do ty doby zkusím dostat do stavu aby to šlo poslat jako patch a data ti dodám
10:04 mornfall (nejsou ty hodnoty nad sebou náhodou? to by se rozsypalo zcela určitě... i když nevim jestli je tam jde nacpat)
10:05 xstill ne, x se mění ale y ne
10:05 xstill pokud jsem to teda nedokázal otočit, ale to snad ne
10:05 xstill momentálně mi to totiž vůbec nedělá čarové grafy
10:06 mornfall zajímavý... no podívám se (kdyby to bylo nad sebou tak tam dostaneš nekonečnou derivaci)
10:06 mornfall taky by asi bylo dobrý mít možnost tu interpolaci úplně vypnout :-)
10:07 xstill to skoro jo u těhle dat
10:07 xstill tam toho bude mrtě i bez toho
10:08 xstill hm, ale nevidím, že by se tu někdy dělilo rozdílem y-nů
10:08 xstill divný
10:36 xstill ještě máš nějaké nan-y v barvách
10:36 mornfall super :D
10:36 xstill pak z toho leze rgb '#800000008000000080000000'
10:36 mornfall to je docela dobrá barva
10:37 xstill no a gnuplot to kreslí jako průhlednou asi, místo aby nadával
10:37 mornfall :D
10:37 xstill takže nadávám já no
11:26 xstill ona ta interpolace stejně asi trvá moc dlouho
18:21 spito mornfall: jak s tím SEEK_*?
18:21 spito dal jsi to tam už?
18:50 mornfall ještě ne
18:50 mornfall mám plný ruce
18:56 spito ok
18:57 spito blbý je, že to má být na dvou místech
19:01 mornfall tak, pokud to jsou #define (jako že asi jo) tak to můžeš zabalit do #ifndef SEEK_CUR
19:22 spito ale jo, já vím :)
19:33 spito mornfall: máš to tam
19:33 spito a potom bys někdy mohl nějak nahrát ty patche, který mám zarecordovaný...aspoň některý z nich
19:34 spito už v tom mám trochu bordel a nerad bych ti posílal patch, který by byl alá "implement and fix everything"
21:21 mornfall nahrát co?
21:22 xstill mornfall: ten poslední patch asi ještě neaplikuj, ale můžeš ho použít k reprodukování toho nan bugu v interpolaci (když tam smažeš to false na 235) a použiješ http://lpaste.net/120662
21:22 xstill a v tom předposledním mám překlep
21:24 mornfall spito: hm, a jak to teď funguje když máme 2x unistd.h?
21:25 mornfall no, jdu radši pustit testy
21:25 xstill tak, máme i 2x <atomic> a funguje to
21:26 xstill divine userspace má nějakým způsobem přednost asi
21:26 mornfall no, spíš jsem tím myslel že v tom novým (který počítám vyhraje) je toho výrazně míň než v tom pdclib-ovým
21:27 xstill no jmenuje se to draft, to co chtělo pdclib unistd se asi rozbije no
21:27 xstill ale nevím nakolik ta věc fungovala k něčemu
21:29 xstill a naše testy asi nikde unistd nepoužívají, já se vůbec divím, že v tom pdclib nějaké je
21:30 xstill mornfall: můžeš to pushnout po "utility: Add short metainformation line at the beginning of simple statistics." abych pak zítra mohl restartovat benchmarky s novým divine?
21:34 spito mornfall: unistd.h tam má jen pár hlaviček...a co si pamatuju, tak pokud při překladu chybí hlavička, tak se to jenom trochu vzteká
21:34 spito a těžko tady pracovat, když se vracím ze svahu cca po páté odpoledne a pak notebook okupuje sestra :P
21:51 spito mornfall: tak jsem poslal dalších pár patchů
21:52 spito teď už máme jeden unistd.h a všechny deklarace, které byly v tom z PDCLIBu jsou i v tom našem
21:52 spito (snad to bude fungovat, teď už jdu spát)
22:25 mornfall xstill: vidíš, kdybys to byl cpal do SQL mohlo to přímo odkazovat na report ;-)
22:25 mornfall tohle je taky zajímavý jinak, | [ 0:04] ../libcxx/std/__config:46:11: fatal error: 'sys/endian.h' file not found
22:26 mornfall to možná není dobře že na linuxu podle všeho #includujeme do LLVM .bc nějaký systémový endian.h... (zrovna)
22:43 mornfall no nic, zase jsem zjistil spoustu věcí který jsem asi nechtěl vědět...
22:44 mornfall ty #define se budou muset dořešit, cf. echo | clang -E -dM - vs echo | clang -undef -E -dM -
22:46 mornfall teď jdu radši do postele...

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