Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-20

| 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/
11:43 xenthree3 joined #divine
11:43 xenthree3 left #divine
13:46 xstill mornfall: pošli ten mail
13:51 mornfall jo jo
14:45 xstill a díval ses na ten bricks?
14:46 mornfall od minula ne, ale dnes večer nebo zítra se k tomu vrátim
14:47 xstill ještě bych ti mohl poslat lart, ten by taky měl jít zamergovat jednoduše
14:47 mornfall víkend jsem si už rezervoval na divine
14:47 mornfall jo pošli
14:47 xstill v jakém stavu to vlastně máš?
14:47 mornfall cojávim :D
14:47 xstill tak to bys mohl vědět co jsi udělal
14:49 mornfall uvidíme v pondělí, já sestavim nějakej plán akce
14:49 mornfall mimo jiné podle toho jak moc to bude v neděli večer rozbitý :-)
14:49 mornfall ale pracovat na tom (včetně userspace) by mělo jít hned
14:49 mornfall používat moc ne :P
14:50 xstill jasně, ale tak přibližně…
14:50 xstill LART jsem poslal
14:51 mornfall první věc bude ubít integraci cc a lartu abychom mohli překlopit divine na explicitní interrupt pointy
14:51 xstill to je trivka v podstatě
14:51 xstill už u mě divine compile volal lart
14:52 mornfall všechno je v podstatě trivka :-)
14:52 xstill jen teda nemám celej novej compile ještě
14:53 mornfall co tomu chybí?
14:53 xstill pořádně to vyzkoušet a případně integrovat do divine compile
14:53 xstill pokud jsi teda mezitím nesmazal celý tools/divine
14:53 mornfall smazal
14:53 mornfall takže to nemusíš řešit :))
14:54 xstill co je teď driver divine?
14:54 mornfall jako tools/divine.cpp existuje ale je tam jen signal handler, panic() a main()
14:54 mornfall všechno ostatní šlo do divine/ui
14:55 xstill hm, takže to nechám zatím jako samostatné cc.cpp
14:55 mornfall který je hodně rozkopaný ale spustit to jde
14:55 mornfall jj
14:55 xstill jen to dodělám aby to fungovalo
14:56 xstill a interpreter teda nějak funguje?
14:57 mornfall pointer tracking byl ještě onehdá rozbitej ale to snad spravím, ale na spouštění to jde používat aj bez toho
14:57 mornfall nějaký instrukce občas asi chybí
14:58 mornfall ale to co leze z clangu pro .c mi v tom docela fungovalo
14:58 xstill tak to záleží co, otázka je jestli třeba atomické instrukce raději neřešit lartem
14:59 xstill pak třeba snáz vyřešíš weak cas a tak
14:59 xstill pokud ho chceš dělat i se selháním
15:01 mornfall my asi stejně budem chtít dvě lartový pajpy, jednu v cc a druhou v loaderu
15:01 mornfall nebo nevim, ještě uvidíme
15:01 xstill s tím souhlasím
15:01 mornfall je potřeba rozmyslet kde který transformace dělat a jak
15:02 mornfall ono hlavně interpret nepoužívá (aspoň na horkých cestách) LLVM, ale nějakou interní reprezentaci
15:02 xstill ty které můžou rozbít následné transformace musíš dělat v loaderu
15:02 xstill třeba tyhle atomické věci bys musel pokud bys je chtěl řešit lartem
15:04 mornfall lart má nevýhodu, že ono je to LLVM API trochu neohrabaný, ale zase je dobrý že to jde vydumpovat a podívat se do toho, případně s tím něco dělat
15:05 mornfall teď myslim pro věci který jsou specifický pro náš interpret a netýkají se třeba codegenu
15:05 mornfall jakože asi nechceme protipříklad pro gdb generovat s transformovanýma atomicama... nebo nevim :-)
15:05 mornfall možná chceme protože weakmem
15:12 xstill klidně můžem, to není takovej problém
15:12 xstill stejně tam budou explicitní switch pointy
15:12 mornfall jo no

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