Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-06

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
16:09 mornfall co bylo s memcpy?
17:22 xstill nebylo viditelný (ten builtin)
18:16 xstill teda Dirk v tom má nechutjen bordel
18:16 mornfall ono...
18:18 xstill to taky
18:18 xstill ale on není schopnej rozlišit divine a symdivine
18:20 xstill a krom toho ty výsledky stojí tak za hovno, že bych se vůbec nedivil kdyby něco podělali při tom pouštění
18:21 spito kolik máme bodů?
18:22 mornfall ale tak máme čárku za publikaci, tak co
18:22 xstill to nevím, protože mi nedodal použitelnou tabulku, jen nějaké hnusné XML, ale jak ho tak grepuju tak jsme v mínusu
18:22 xstill symdivine je tady: http://sv-comp.sosy-lab.org/2016/results/symdivine.2016-01-01_2328.results.sv-comp16.Concurrency.xml.table.html taky v mínusu
18:22 xstill jo no, ta publikace je jediný plus
18:23 spito a divine je kde?
18:24 xstill 19:22 < xstill> to nevím, protože mi nedodal použitelnou tabulku, jen nějaké hnusné  XML, ale jak ho tak grepuju tak jsme v mínusu
18:24 spito jsem myslel, že z toho taky vygenerují fešácké html
18:25 mornfall fešácké, s odkazama na file:///... :-)
18:25 xstill to já taky, jenže v tom má bordel
18:25 mornfall ono možná stačí uhodnout ten timestamp :-)
18:25 spito fešácké jako vykastrovaně psí :)
18:26 mornfall spíš by mě zajímalo jak vypadaj ty soubory
18:26 mornfall ale to mi asi takhle ten web neřekne
18:27 mornfall a všechny mínusy jsou incorrect false
18:27 xstill mornfall: https://github.com/sosy-lab/sv-benchmarks/tree/master/c
18:27 mornfall to je dost zajímavý taky
18:27 xstill my máme zas všechny za incorrect true
18:28 xstill ale hlavně nám z těch 1016 testů 932 ani nenastartovalo, což nedává vůbec smysl
18:29 mornfall není každej den posvícení
18:29 xstill což je teda dost v háji pokud není chyba u nich, protože to by znamenalo, že nám ten článek neopublikují dost možná, protože jsme se asi nekvalifikovali
18:29 mornfall hm, to repo je dost gigantický
18:30 xstill to teda
18:30 mornfall píše 4 procenta a 32 mega
18:30 mornfall to pomalu táhne na gigabajt
18:31 xstill aha, blbě grepuju
18:32 xstill nebo taky ne
18:33 mornfall no, grepovat xmlko taky
18:33 xstill tak ono je celkem slušně formátovaný po řádcích
18:34 xstill http://sv-comp.sosy-lab.org/2016/results/divine.2015-12-31_1635.results.sv-comp16.Concurrency.xml
18:35 xstill hm, možná dobře že mi počítač omylem pustil hudbu, jinak bych se mohl nasrat ještě víc
18:36 xstill jdu rači psát diplomku
18:36 mornfall :D
18:36 xstill mornfall: kdy tu zítra budeš?
18:36 mornfall někdy kolem poledne, počítám
18:36 xstill ok
18:37 spito ok
18:37 mornfall ty category="..." jsou taky hodně dobrý :)
18:38 mornfall ale jo samej error je to
18:38 xstill jo no
18:43 mornfall hm, clone se dopracoval do poloviny
18:44 xstill tyjo, ono to u mě na disku má 5.6 GB
18:45 xstill ono jsou tam totiž preprocesovaný zdrojáky
18:45 xstill (protože všichni jsou kokoti a neuměj si táhnout s toolem hlavičky)

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