Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-30

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

All times shown according to UTC.

Time Nick Message
09:48 xbarnat joined #divine
09:49 xbarnat mornfall: jak jde priprava SCP (extended version of AVOCS)?
09:53 xstill xbarnat: ad aura, ještě to chci prověřit, myslím, že tuším co se tam děje, pak dám vědět
09:54 xbarnat ok
10:19 mornfall xbarnat: no, že bych na to zrovna měl náladu tvrdit nebudu, ale zítra to bude
10:28 mornfall xbarnat: existuje nějakej důvod proč kptoolchain nebo jak se to teď jmenuje nedat do tools/ v divinu?
10:28 mornfall (teda jinej než že pokud to bude sledovat vývoj většiny kódu co se v labu vyrobí, tak se to zase za půl roku nebo rok smaže...)
10:31 spito co to má dělat a proč to chceme?
10:31 mornfall spito: prožene .bc divinem na .dess a dál na nějakej formát pro prism (a případně na tom spustí ten prism)
10:32 mornfall prakticky to je dost marný protože prism moc nefunguje
10:32 mornfall aspoň v tomhle režimu
10:32 mornfall ale občas to na něco použít jde
10:36 spito jen jsem nepochopil to "pokud to bude sledovat vývoj většiny kódu co se v labu vyrobí"
10:37 mornfall tak, typicky se něco napíše, opublikuje a zapomene
12:33 xstill mornfall: no nevím jestli to dávat zrovna do tools
12:37 xstill jako zas by to mělo výhodu, že by se to nemuselo ručtě udržovat konzistentní s dessem v divine, a všimeme si spíš když to rozbijeme
14:38 mornfall xstill: a kam jinam bys to chtěl dát?
14:39 mornfall bez divinu to stejně nejde přeložit
14:39 xstill no nejspíš ne do tools, nebo nevím, ale lart taky není v tools
14:39 mornfall v podstatě se to buď pochová teď nebo až když nás přestane bavit to opravovat :)
14:42 mornfall no, lart.cpp bude asi taky v tools/
14:42 mornfall jestli to bude mít někdy vlastní driver
14:42 mornfall (což asi bude)
14:43 mornfall nevím teda co s ltl_property.*, ale model_export.* se může klidně sloučit do něco.cpp a je
14:43 xstill proč to chceš slučovat?
14:44 mornfall asi protože netuším proč to je rozdělený
14:44 xstill tak to bych asi nechal na Kristíně, ne? když je to její kód
14:45 xstill btw. kdy je deadline na ten icfem?
14:45 mornfall nevim
14:45 mornfall někdy brzo
14:46 xstill neděle zdá se
14:47 mornfall já si to můžu stejně maximálně tak přečíst
14:49 mornfall hm, program on Figure
14:50 mornfall (popis tabulky)
15:21 spito mornfall: ještě to trošku učesat a může to jít brick-unittest (ad ta věc vedle)
15:24 mornfall a co to bude dělat?
15:24 spito forkne unittest
15:24 spito počká si, jak skončí, a pošle nazpět info, jak to dopadlo
15:25 spito zatím to mám teda jenom ve variantě pro PB071
15:25 spito teda čistý C
15:25 spito +- čistý C
15:26 mornfall zajímavý... jakože lepší implementace fork_test pro windows jo?
15:26 spito jop
15:26 spito jako že to i funguje
15:27 mornfall no, to co tam je teď funguje taky :)
15:28 spito no, ale neforkuje se to
15:28 mornfall to ne
15:28 spito http://github.com/spito/testing
17:17 xstill mornfall: když chci v LTL naspecifikovat "formule platí od dalšího stavu" tak tam s použitím next v divine žádný problé nemám, že?
17:19 xstill hm
17:19 xstill reachability...            |S| = 40627
17:19 xstill elimination & reset...     |S| = 18446744073709551615
17:19 xstill to se mi nezdá v pořádku…
17:20 xstill elimination & reset...     |S| = 18446744073709551614
17:20 xstill to si asi počkám :-D
17:43 mornfall zajímavý číslo
17:43 mornfall jako jo, XG je ok
17:43 mornfall teda XG(!x)
17:44 mornfall asi ;-)
17:44 mornfall ono je spíš otázka co tím myslíš
17:45 xstill_ joined #divine
17:46 xstill_ jak vůbec může reachability v dalším běhu oběvit víc stavů:
17:46 xstill_ ------------------- OWCTY -------------------
17:46 xstill_ initialise...              |S| = 1
17:46 xstill_ ---------------- iteration 1 ----------------
17:46 xstill_ reachability...            |S| = 45380
17:46 xstill_ elimination & reset...     |S| = -1
17:46 xstill_ ---------------- iteration 2 ----------------
17:46 xstill_ reachability...            |S| = 45381
17:46 xstill_ elimination & reset...     |S| = -2
17:46 xstill_ ---------------- iteration 3 ----------------
17:46 xstill_ reachability...            |S| = 45380
17:46 xstill_ elimination & reset...     |S| = -3
17:46 mornfall no, když tam máš -1 tak se asi může stát docela cokoliv :D
17:47 xstill no, otázka je jak se tam to -1 dostalo, a to musí podle kódu znamenat, že elimiminace našla víc stavů než reachabilita
17:47 mornfall zejména když se zváží že to je počet prvků v něčem
17:48 xstill (je to s fairness a kompresí, teď to zkouším bez komprese)
17:49 mornfall a máš debug build?
17:49 xstill ne, release (on tem model není zrovna malý)
17:49 mornfall protože v release se asi může po tom failujícím assertu začít dít divný věci
17:49 xstill ale můžu to nechat běžet a uvidím
17:49 mornfall můžou*
17:49 xstill co?
17:50 mornfall cojávim :-) počítám že to přepisuje nějaký docela náhodný kusy paměti
17:51 xstill no ne, nechápu co mi opravuješ
17:51 mornfall tobě nic
17:52 xstill aha
17:52 mornfall může -> můžou
17:52 xstill tak to jo
17:55 xstill hm, tak bez komprese to u sebe nedám, a to to má 45k stavů :-/ to je docela i podezřelý
17:56 xstill tak to se rozbilo pěkně rychle ovšem
17:57 xstill assert v ntree, 536 je to nějak divně posunutý o 1 bajt
17:58 xstill mornfall: nemůže třeba fairness nějak rozbít počítání slacku/splitter?
17:59 xstill vzhledem k tomu, že fairness má právě 1B extension…
17:59 xstill (ntreehashset.h: 536: assertion `static_cast< void * >( cor.current ) == static_cast< void * >( cor.start + cor.size )' failed; got [0x7f6ee52a4104] != [0x7f6ee52a4105] instead)
18:04 mornfall no to asi může
18:06 mornfall koukám ale že je rozbitý aj to jak se vybírá splitter pro LLVM
18:06 xstill a nechceš to opravit? já za chvíli mizím (navíc to teda teď nastává i u toho model z #318, ačkoli tam jsem předtím měl jinej assert, což nechápu moc)
18:06 mornfall chci, ale asi se k tomu nedostanu dřív než v úterý
20:59 xstill hm, to není úplně brzo no…
20:59 xstill třeba to do té doby opravím

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