<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Sziasztok!</p>
<p>A mai hibákkal/hiányosságokkal kapcsolatos előrehaladások:</p>
<ul>
<li>
<p>Konstanssal nem lehet módosítani 32 bitnél nagyobb mezőt:
kijavítva. Bár szokásos módon nem teszteltem agyon, de
látszólag jól működik.</p>
</li>
<li>
<p>A verifikációhoz használandó C kódban a GET_INT32_AUTO_PACKET
makró nem jól működik: nem a példa kód volt a hibás, hanem
tényleg a makró nem működött jól. Ha olyan mező értékét
kérdeztük le vele, ami nem metadata és nem hosszabb mint 16
bit, <b>bájtkonverzió nélkül</b>, akkor nullát kaptunk
eredményül. (Mintha Sanyi korábban jelezte is volna, hogy
találtak valami ilyesmi hibát a makrók működésében.) Remélem,
hogy sikerült most úgy kijavítanom, hogy a javítás nem vezet
be újabb hibát. Fun fact: ez a kód másfél éve hibás.</p>
</li>
</ul>
<p>Ezen kívül a C-s verifikációhoz kapcsolódóan van egy aggasztó
megfigyelésem. Nem tudom, hogy jutottatok-e már bármire a
modify_field C-s verifikációjával, de én ma kíváncsiságból
megnéztem, hogy mit kapunk a preprocesszálás után. A <b>MODIFY_INT32_INT32_AUTO_PACKET</b>
makró feloldása után egy 250 000 karakteres sort kapunk. (Az
optimalizáció után ebből valójában csak egy értékadás marad.) Nem
tudom, hogy a C K-s szemantikája milyen formában várja a kódot, de
valószínűleg ebben a formában nem örülne neki túlságosan.</p>
<p>Marci<br>
</p>
</body>
</html>