Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-08-19

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

All times shown according to UTC.

Time Nick Message
01:49 ilbot3 joined #divine
01:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:46 yaqwsx joined #divine
10:37 mornfall yaqwsx: jediný k čemu jsem se dopracoval je invalid dereference v _pthread_entry
10:37 mornfall yaqwsx: musím nějak vyřešit nedeterminismus v sim-u a pak třeba budu vědět víc
10:38 yaqwsx Ok, já jsem taky na nic zatím nepřišel (Divine v debuggeru je skutečně zážitek :D). BTW: ta invalid dereference se bere kde?
10:41 mornfall no na to právě potřebuju vylepšit sim abych na to přišel :)
10:41 yaqwsx Ok, ok
10:41 mornfall z run/verify mám jen funkci
10:41 mornfall a ona není tak malá aby bylo jasný co se tam kazí
10:45 mornfall xstill chtěl dodělat čísla řádek do fault handleru tuším ;-)
10:45 mornfall to by asi taky dost pomohlo
10:46 mornfall (sim teď bere nejlevější větvi a tedy se do _pthread_entry nikdy nedostane, neboť cyklí v pthread_join :)
12:59 mornfall yaqwsx: jdu rozkopat scheduler a __vm_trace, máš něco s čím by se to mohlo poprat?
13:03 yaqwsx_cz joined #divine
18:36 yaqwsx_cz joined #divine
22:21 mornfall no a teď si vytimeoutuje
23:36 mornfall no tomu říkám kvalitní bug
23:38 mornfall clang/llvm na if ( x ) --y; generuje %inc = sext i1 ( výsledek if-u ) to i32; %y.0 = add %y %inc
23:38 mornfall no a co myslíte že divine řekne na sext i1
23:39 mornfall (protože to reprezentuje osmi bitama, tak přesně to co nechceme, totiž +1, takže v takovýmhle kódu se -- chová jako ++)
23:39 mornfall mam z toho velkou radost
23:39 mornfall jdu radši spát :-)
23:41 mornfall nicméně záhadné ukončení programu jsem opravil
23:41 mornfall teď jen nefunguje scheduler kvůli tomu --

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