Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-10-06

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

All times shown according to UTC.

Time Nick Message
00:33 divine-buildbot joined #divine
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/
02:18 divine-buildbot Hey! build divine-nightly-release #17 is complete: Success [finished]
02:32 divine-buildbot joined #divine
03:06 divine-buildbot Hey! build divine-nightly-debug #17 is complete: Success [finished]
04:23 mornfall yaqwsx: už jsem to někdy viděl, ale že bych si pamatoval co to bylo...
06:07 yaqwsx Vyhazují mi to všechny testy.
06:10 yaqwsx Ale když to spustím ručně, funguje.
06:11 yaqwsx Hm,tTo asi souvisí s local.make.
06:11 yaqwsx xstill: Nesetkal ses s tím?
06:16 xstill_ yaqwsx: s čím?
06:17 yaqwsx Všechny testy končí s chybou: "computing RR...LLVM ERROR: Code generator does not support intrinsic function 'llvm.dbg.value'!"
06:17 xstill_ na arke?
06:18 yaqwsx j
06:20 xstill_ a verify ti na ty testy prochází? protže když pustím divine z tvého /var/tmp buildu tak mi verify funguje
06:21 yaqwsx Když pustím verify ručně na testy, tak to funguje.
06:21 yaqwsx Mmt, ještě je tam na začátku vlastně jedna chyba, kterou jsem přehlédl: lib/flavour: line 10: util: No such file or directory
06:22 xstill_ jo to tam je pořád
06:22 xstill_ takže když kopíruješ ze spadlého testu přesně ten příkaz který se spouští tak to projde?
06:59 evenfall to je zase bordel...
07:19 yaqwsx joined #divine
07:19 yaqwsx Nové pozorování: debug build divinu funguje, release vyhazuje výše uvedenou chybu.
08:25 xstill_ mornfall: chceš jen na memics?
08:27 xstill_ potřebuju vyřešit ubytování
10:03 yaqwsx joined #divine
10:05 vlada_ joined #divine
10:29 yaqwsx joined #divine
10:29 yaqwsx mornfall, xstill: Budu asi potřebovat pomoc s tou chyboou v release módu - nevím jak ji uchopit (asi mi chybí kus LLVM backgroundu)
10:40 vlada_ joined #divine
11:07 evenfall yaqwsx: no, podívej se do diff-u :-)
11:08 evenfall yaqwsx: nebo nám ho někam postni
11:15 xstill_ evenfall: co ten memics?
11:24 yaqwsx joined #divine
11:44 evenfall xstill_: mám jen mail od Boudy a od Strejdu... co memics?
11:46 xstill_ jestli chceš jet (a jestli chceš  snídani)
11:46 xstill_ abych zajistil ubytování dohromady
11:46 xstill_ peníze na to jsou
11:46 evenfall no já bych jel a snídani nechci :-) jen teda v neděli potřebuju vypadnout už ráno (ale jestli to bude jako bývalo tak většina programu je pátek a sobota?)
11:50 xstill_ OK, tak ti zarezervuju bydlení (ta neděle asi problém není)
11:52 evenfall ok
12:06 xstill_ mornfall: jo Matej Hrušovský mi říkal, že stánek po té prezentaci můžeme mít
13:23 xstill_ mornfall: divine blije spoustu chyb ve valgrindu (třeba i na test/c/assert.c), neinicializované věci v hashsetu, překrývající se memcpy (asi) v poolu
13:23 xstill_ je možné, že to díky tomu v releasu padá
13:23 xstill_ (ve valgrindu je to v debugu)
17:46 mornfall xstill_: no nevim, computing RR... mi celý proběhlo bez jedinýho valgrind hlášení
17:48 mornfall já to yaqwsx repo nepřečtu a diff jsem nikde neviděl
18:59 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
19:13 xstill mornfall: computing rr jo, ale zbytek verify ne
19:13 mornfall jo, ale to je pro ten bug celkem irelevantní
19:14 xstill pro tenhle jo, ale Katce to docela podezřele sekví v release
19:15 mornfall a v debugu to funguje? to je divný
19:16 xstill funguje, to by mohly být právě ty nedefinované věci co reportuje valgrind
19:17 xstill ale zatím jsem to víc nezkoumal, protože stejně potřebuje debugovat ty své testy a to může dělat v debugu
19:17 mornfall nedovedu si moc představit jak by to co vidím vedlo na segv, ale zkusím to odstranit
19:20 xstill jo a Honza zjistil, že ten bug zmizí když vyhodí ten nullptr z volání handleru
19:20 mornfall :-)
19:20 mornfall a přišel aj na to proč to tak je?
19:21 xstill to zatím asi ne
19:21 xstill ale dost mě překvapuje, že bug v interpretru se projeví v intrinsicLowering nebo kde to padá
19:21 xstill to nedává moc smysl
19:24 mornfall a je to stoprocentně jediná věc co měnil?
19:24 xstill myslím, že v divine jo, jinak měnil runtime
19:25 mornfall no a to nedává smysl?
19:25 xstill že by to způsobila změna v runtime?
19:25 xstill prý když ten nullptr vyhodí tak to funguje
19:25 mornfall třeba změnil prototyp fault handleru
19:26 mornfall jinak nevim co se mohlo stát
19:26 xstill a to může způsobit takovouhle věc?
19:26 xstill to přece nedává smysl špatný typ handleru by se měl projevit až když se ten handler spustí, ne?
19:26 xstill a i v debugu
19:26 xstill ale to asi nemá smysl řešit bez Honzy
19:27 mornfall ale houby, vždyť to padá při procházení bitkódu
19:27 mornfall takže je smysluplný že změna bitkódu má dopad na to co to dělá
19:29 mornfall třeba kdyby tam vyskočil nějakej constexpr bitcast kterej tam předtím nebyl, tak mě rozhodně nepřekvapí, že se to může rozbít
21:45 yaqwsx joined #divine

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