Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-08-08

| 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/
09:04 yaqwsx joined #divine
09:05 yaqwsx Ahoj, funguje v Divinu nějak rozumně trace? Dostávám fault "conditional jump depends on an undefined value" a potřeboval bych zjistit odkud se bere nedefinovaná hodnota. A pokud ano, jak ho použít?
09:09 mornfall trace v jakém smyslu?
09:09 mornfall divine run --autotrace calls test.c?
09:10 mornfall (teoreticky bys měl taky dostat backtrace od fault handleru)
11:42 mornfall yaqwsx: zjistil jsi něco?
11:51 yaqwsx Zatím to vypadá, že se špatně drží informace o inicializovanosti argumentů předávaných DiOSu. Klíč je OK - ten jsem schopen vypsat, ale jeho hodnotu už ne.
11:51 yaqwsx Jak můžu v Darcsu krokovat po patchích zpátky? Je darcs rollback ten zprávný způsob?
11:52 mornfall spíš unpull, ale záleží co máš za změny
11:52 mornfall myslíš _env?
11:55 yaqwsx Jojo, env
11:56 mornfall (hlavně nedělej unpull na něco co není v žádným jiným repu)
11:56 mornfall nejlepší je asi udělat si zálohu repa a pak unpull
11:57 mornfall pull z tý zálohy pak ty umazaný změny vrátí
11:58 yaqwsx Ok, díky, jdu lokalizovat co se změnilo.
12:51 yaqwsx " operand -1 has undefined value" :D
13:13 yaqwsx Problém se objevuje někde mezi patchi 2bbb1c328e8499299f053d9e41e68112dae0e4ab ( VM: Simplify MutableHeap::valid()) a 91d5effd9f6eb86ff57d2eaa70b0e6fb837a5d08 (bricks: Add a Rep typedef to mem::Pool::Pointer)
13:24 yaqwsx Abych byl přesný - mezi výše zmíněnými patchi při pokusu o čtení envu vyskočí chyba "operand -1 has undefined value", v patchi c77f15c31436f82a06f465059ca0a4097eb16e9e (VM: Avoid detours for values where defbits() are derived) se ta chyba změní na přístup k neinicializované paměti.
13:24 yaqwsx zkusím zjistit, co se tam děje.
13:35 xstill yaqwsx: operand -1 je pravděpodobně poslední (tj. první zezadu) viz eval.hpp, funkce operand (nebo value)
16:21 yaqwsx joined #divine

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