[P4] mai megbeszélés

[Tejfel Máté]

Sziasztok!

   Amolyan összefoglalónak, mikről beszéltünk ma.

A cikk kapcsán LDani igérte, hogy jövő hétre megpróbál összehegeszteni 
egy összefüggő NAT-os példát. Peti kérlek írd meg, te hogy állsz a 
mérésekkel.

A github kapcsán abban maradtunk, hogy egyrészt Marci feltölti a 
változásokat 2-3 kommitban, illetve Robi felrakja a p4_16-hoz készülő 
dolgokat külön branch-be. Viszont a jelenlegi "p4c" reponevet jó lenne 
megváltoztatni. Amilyen elborult ötletek eddig eszünkbe jutottak:

- HOP4, HOPPPP14, HOPPPP16

- valami halnév angolul (catfish, sardine, hering ... ?)

- P4c14, P4c16

  Ha van valami jó ötletetek szóljatok. Ezt még a héten jó lenne eldönteni.

A P4 workshop-ra megpróbálhatnánk vmit küldeni. Müködő p4_16 kódunk 
addigra nem nagyon lesz, de amit megpróbálhatnánk eladni, az a koncepció 
és a működö rész elmesélése P4_14-re, illetve annak leírása, miként 
emelnék át a koncepciót p4_16-ra. Akár úgy is gondolkodhatnánk, hogy kb. 
a cikkhez tartozó előadást mondanánk el itt (pláne ha végül nem 
konferenciára küldjük) kiegészítve a p4_16-os dolgokkal...

Az invalid field-et tartalmazó table-match-nél azt mondtuk, hogy 
gyakorlatilag számítson miss-nek. Felmerült, hogy esetleg lehetne debug 
üzzemmódunk, amikor ilyen helyen warningokat dobálunk, illetve esetleg 
belive-me üzemmódunk, amikor elhagyjuk az ilyen jellegű ellenőrzéseket, 
hogy gyorsabb legyen a kód...

Mivel a k-sok raktak fel szemantikadefiníciót p4_14-hez arról 
beszélgettünk még, hogy milyen irányba vigyük el Marci diplomamunkáját:

- szemantikadefiníció + bizonyítás p4_14-hez másban (Isabelle-HOL ?)

- a felrakott k-s felhasználása programvizsgálathoz

- a felrakott k-s alapján szemantika definíció P4_16-hoz

                        M.