Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-25

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
05:48 yaqwsx joined #divine
06:30 yaqwsx joined #divine
07:21 xheno joined #divine
10:33 yaqwsx joined #divine
11:30 kejsty joined #divine
11:31 kejsty http://pastebin.com/082K4JJF
18:05 xstill mornfall: něco zásadního po té co jsem odešel?
18:06 mornfall ani ne, jen ti tam zbylo runtime/ v #include
18:06 mornfall a viki bude asi zitra delat na ltl
18:07 mornfall a nefunguje nam inttoptr
18:08 xstill sakra, takže to mám amendnout, nebo jsi to udělal?
18:09 mornfall ja to opravim
18:11 xstill OK
18:11 xstill co bude Viki dělat na LTL
18:12 xstill dokážu nějak darcs přesvědčit aby se kvůli pull díval do dvou rep?
18:27 mornfall nevim o tom
18:27 mornfall viki bude z ltl vyrabet monitor
18:28 mornfall jestli to bude zahrnovat aj novy/jiny prrklad ltl na ba jeste zitra proberem
18:29 xstill aha
18:30 xstill spot potenciálně, ale zas tam může být problém s licencí
18:30 xstill pokud by měl být přibuilděný, což asi chceme
18:32 xstill (spot je GPL3)
18:34 xstill otázka je jestli ten spotovej bazmek vůbec umí exportovat BA a ne jen ty jejich transition based generalized blbosti
18:38 xstill jo, umí
18:39 xstill https://spot.lrde.epita.fr/doxygen/classspot_1_1translator.html
19:18 mornfall no o spotu vím
19:19 mornfall on má dokonce i nějaký API
19:19 mornfall ale stejně se mi do toho moc nechce
19:19 xstill tak tvrdí se (alespoň teda v okolí strejdy), že je v podstatě nejlepší v překladu
19:19 xstill proč se ti do toho nechce?
19:22 mornfall třeba proto že to je cca 10x větší než divine
19:22 mornfall jenom ve spot/ je něco jako 80k řádek
19:22 mornfall a distribuční tar má 11M komprimovanej
19:24 mornfall navíc to že je lepší se většinou projevuje na formulích které píšou jen lidi co se LTL intenzivně zabývaj
19:27 xstill aha, to je trochu přerostlý no
19:27 xstill ještě můžeme z Fandy Blahoudka vytáhnout nějaký nový ltl3ba, ale to nevím jestli vyhrajeme
19:29 mornfall no já bych asi klidně Viki nechal napsat si to, kdyžtak to bude mít jako cvičení... jestli se teda rozhodne že to che vzít z gruntu
19:29 mornfall jinak asi zůstanem u ltl2ba který v tom divinu bylo
19:29 mornfall aspoň v téhle iteraci
19:31 xstill napsat si co? Monitor bude stejně potřeba tvořit, rozdíl bude jen v tom jak bude vypadat vstup pro to…
19:32 mornfall no to jo, ale docela se tvářila že by spočítala ten automat z LTL sama
19:33 xstill jo až tak :-D
19:33 xstill ale víš co, za mě klidně
19:33 mornfall a já proti tomu asi nic nemam, pokud to bude malý a jednoduchý budu asi radši, dokud nenarazíme na to že lidi používaj ltl a generuje to velký automaty který pak ničí divine
19:33 mornfall a pak můžem řešit co s tím
19:34 xstill :-)
21:23 yaqwsx joined #divine

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