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

[Brunner Márton]

Sziasztok!

Nekem is jó a szerda.

Marci


On 2018-01-04 10:36, Leskó Dániel wrote:
> 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
>
>
> _______________________________________________
> P4 mailing list
> P4 at plc.inf.elte.hu
> https://plc.inf.elte.hu/mailman/listinfo/p4