FreeRTOS-Plus-TCP ARP/ND Build Separation

Full separation of ND & ARP for better ipv4/ipv6 configuration Separate config macros because ARP/ND have different defaults

Aug 01 '24 21:08 HTRamsey

/bot run formatting

Aug 03 '24 03:08 HTRamsey

Hi @HTRamsey , Thank you for this PR, we will review it internally. Can you also please let us know the plan to fix Unit tests and CBMC failures. Thanks

Aug 27 '24 05:08 moninom1

Probably by the end of the week. It's mostly just name changes & moving stuff so it should be easy to fix

Aug 27 '24 14:08 HTRamsey

Whenever I give a time estimation I guess just double or triple it

Sep 11 '24 13:09 HTRamsey

/bot run formatting

Sep 25 '24 18:09 HTRamsey

@ActoryOu & @moninom1 I may need some assistance on this last part as I don't know much about cbmc

Sep 25 '24 20:09 HTRamsey

@ActoryOu & @moninom1 I may need some assistance on this last part as I don't know much about cbmc

Hi @HTRamsey, I'll take a look on this and it might take some time addressing this. Thank you for notification!

Oct 01 '24 02:10 ActoryOu

Hi @HTRamsey, Sorry for late response. I finially find some time fixing the UT/CBMC issues. Please help take a look when you're available to check if any change is unexpected.

Thank you.

Oct 18 '24 02:10 ActoryOu

@ActoryOu looks good as far as I can tell

Oct 19 '24 08:10 HTRamsey

I don't know how to fix that last proof thing

Nov 08 '24 08:11 HTRamsey

I don't know how to fix that last proof thing

@HTRamsey Thanks for taking care of the other review comments. Will take a look at the failing CBMC proof.

Nov 08 '24 09:11 tony-josi-aws

@tony-josi-aws this is completely unrelated, but is there any way we could get the IPerf code in the tcp_utilities?

Nov 11 '24 13:11 HTRamsey

@HTRamsey That seems like a good idea to me. Tagging @htibosch to know his views as he develop/maintains the version that works for FreeRTOS+TCP.

Nov 11 '24 14:11 tony-josi-aws

@htibosch ping

Jan 09 '25 07:01 HTRamsey