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

[Leskó Dániel]

Sziasztok!

  Nekem a jövő hét szerda még mindig Skype, az utána lévő 3 héten 
viszont személyesen is jó a szerda, de 15:00-tól kezdődik utána vizsgám.

Üdv,
  Dani

2018.01.04. 10:26 keltezéssel, Tejfel Máté írta:
> 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.
>
>
> _______________________________________________
> P4 mailing list
> P4 at plc.inf.elte.hu
> https://plc.inf.elte.hu/mailman/listinfo/p4