[P4] következő megbeszélés

[Tejfel Máté]

Sziasztok!

   A tegnapi végül leginkább telefonos/skype-os beszélgetéssé fajult, 
remélem a jövő heti sikeresebb lesz. Viszont a jövő héten is szerda 
14:00-kor lesz a megbeszélés, mivel csütörtök délutántól egy tanszéki 
rendezvényen leszünk. Ha sokaknak nem jó, kérem jelezzétek, akkor 
esetleg megpróbálok alternatív időpontot keresni...

  A tegnapi megbeszélés rövid összegzése:

     - Leskó Dani csinált leírást az annotációkhoz, este fel is rakta 
svn-be.

     - Robi kicsit elakadt Sanyi példájával, néhány technikai gond miatt 
nem fordul (az addHeader nélkül sem), például ezek egyike (volt), hogy 
nem kezelünk 32 bitnél hosszabb konstansokat, (ezt Marci tegnap 
megpróbálta orvosolni, Robi kérlek próbáld majd ki, így jó-e), Robi 
tovább küzd az addHeader-el, abban maradtunk, hogy először kipróbálja 
egy egyszerűbb példán, ha Sanyié továbbra sem megy

     - Marci rakot fel egy sablont a k-s verifikációhoz, ezt Dániellel 
megnéztük tegnap, jó kiindulási alapnak tűnik

     - Dániel megnézte a C szemantikás k verifikációt és Marci sablonja 
alapján megpróbál összerakni valamit

     - Peti vállalta, hogy utánanéz elérhetőek-e már az Ericsson-os 
gépek és hozzájuk tud-e férni

     - Sanyi jelezte, hogy jó eséllyel rövidesen lesz két normálisabb 
ELTE-s gép, amin tudunk tesztelni

          M.