Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-07-15

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:55 xstill mornfall: co v state.dump() znamená to l<něco> a to číslo za zavináčem u rámců?
06:57 mornfall l = local, <něco> je typ (ProgramInfo::Value::Type)
06:57 mornfall @x je offset v rámci
07:00 xstill dík
07:09 xstill hm, když se mi podaří zkopírovat pointer flag na něco co je menší než pointer tak kanonizace mi potom asi od toho místa vezme 8 bajtů jako pointer. Asi by si to mělo kontrolovat, že v tom místě se vejde pointer.
07:16 mornfall hm, memcpy intrinsic?
07:16 mornfall bitcast to kontroluje
07:16 mornfall teda trunc
07:16 mornfall bitcast je na stejnou velikost
07:17 xstill jo no i když tam (trunc) se to řeší
07:17 xstill v tomhle modelu mám bitcast na pointer a pak load
07:18 mornfall memcopy kontroluje že přepisuje pointr kterej začíná před, ale už neřeší rozbití 'from' pointru
07:18 xstill jak se může rozbít from?
07:19 mornfall no ne, že from je kus pointru
07:19 mornfall takže výsledek kopie bude nějakej rozbitej pointr
07:20 xstill aha
07:39 mornfall no nic, jdu na vlak a na výlet, večer se ukážu a možná dořešim ten stacksave... (bitkód už mam)
07:40 mornfall scalarmem snad zítra
08:58 xstill nojo
08:59 xstill a já mám v nursery nějak moc objektů na který nic neukazuje
09:20 xstill hm, proč se bitcast někdy nacpe přímo do parametru call-u a někdy se na jeho výsledek vytvoří registr?
10:45 spito je v pořádku, že je divine rozbitý?
10:47 xstill co myslíš?
13:28 xstill mornfall: tak bylo rozbitý convert, poslal jsem ti patch
13:38 xstill takže to vypadá, že by to snad konečně mohlo fungovat, jen potřebuju release build abych toho petersona zkusil
14:10 xstill hm, ten model bude pekelně velkej, doufám, že to tu chybu alespoň najde
19:58 xstill hm, tak se mi počítač zvládnul neprobudit zrovna když mi tu běděl celý odpoledne divine a než jsem ho uspal tak jsem se na výsledek nepodíval :-/
20:34 xstill hm, proč mi to zase padá
20:50 xstill mornfall: dokážu nějak v userpsace vynutit kontrolu, že je něco heap pointer?

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