2621e60124
TCP: Update version number and History.txt ( #247 )
...
* Update the version number
* Update History.txt
5 years ago
40e410ee8e
Create winbase.h ( #248 )
5 years ago
6b502b5dd3
Build: replace scons with makefile ( #235 )
...
* Build: transform scons into Makefile
* Build: add Makefile dependencies
* Build: remove some tabs from Makefile
* Build: Make builds out of source, move wait for event to kernel port
* Test: update the full test to print status messages
* Build: replace lpthread with pthread
Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
5 years ago
c1b06040fe
TCP: Update History.txt file ( #243 )
...
* Update the History.txt
5 years ago
889d3e8667
Create a new branch and address 10.8 warnings ( #241 )
5 years ago
05b4d4fc64
Address various MISRA warnings v3 ( #240 )
...
* Add a branch and make MISRA changes
* initialize the value
* Update after Gary's comments
5 years ago
cacf4ad7f9
Address various MISRA warnings v2 ( #238 )
...
* Address some MISRA warnings
* Change the return type
* Update FreeRTOS_Sockets.c
5 years ago
0341050048
Address MISRA errors of various kinds ( #234 )
...
* MISRA 21.15 changes
* MISRA 11.8 changes
5 years ago
18d238ad5c
Address a few MISRA 2.2 violations in FreeRTOS_IP.c ( #230 )
...
* Make changes for MISRA rule 2.2
* Add comments to explain changes
* Fix a typo
* Actually fix a typo
I missed a spot in the previous commit.
5 years ago
e2ab092351
Address MISRA 21.15 violations in FreeRTOS_Sockets.c ( #229 )
...
* Use unsigned types/constants where needed.
* Address MISRA 21.15 violations in FreeRTOS_Sockets.c
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
5 years ago
7cb57324fd
TCP: Address MISRA rule 11.3 violations (Part 2) ( #227 )
5 years ago
bcd5dec6c4
Use unsigned types/constants where needed. ( #226 )
...
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
5 years ago
3fc432f7be
TCP: Address MISRA rule11.3 violations ( #225 )
5 years ago
66371d0cf0
Add CBMC proof for prvProcessEthernetPacket ( #199 )
...
* Add proof
* Remove and Rename files
* Modify the makefile
* Update Makefile.json
* Add _static to FreeRTOS_IP.c
* Update prvProcessEthernetPacket_harness.c
* Update the proof and add list to stubs
* add assertions
* Update the proof
* cleanup
* Update
* Update after @yanjos-dev's comment
* Remove unnecessary assumption
5 years ago
0b48e6a3b5
Utility macros to improve readability/static analysis. ( #219 )
...
* Update FreeRTOS_IP_Private.h
* Update FreeRTOS_Sockets.h
* Update FreeRTOS_DNS.c
* Correct version number
* Update version number
* Update version number
5 years ago
638262fab1
Fix Posix demo build and remove src directory ( #213 )
...
* Fix: build errors, remove src directory and bring all files up
* Fix: Remove not needed header
* Doc: fix main comments
* Doc: fix comment
Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
5 years ago
4a026fd703
Move forward Kernel submodule pointer ( #218 )
...
* Move forward Kernel submodule pointer
* Fixing patches for CBMC proofs
* Update proofs to assume cTxLock != 127
* Update proofs to assume cRxLock != 127
5 years ago
86117b5173
CBMC proof for vProcessGeneratedUDPPacket ( #203 )
...
* Add Proof
* Update
* Update the proof
* Update the proof
* Clean-up
* Clean-up v2
* Update freertos_api.c
* update stub
5 years ago
3c573ad091
CBMC proof for ulARPRemoveCacheEntryByMac ( #198 )
...
* Add Proof
* update
* Delete ulARPRemoveCacheEntryByMAC_harness.c
* Changes after Mark's comments
* Update after @yanjos-dev's comment
* Remove confusing variable name
* Update ulARPRemoveCacheEntryByMac_harness.c
5 years ago
6eba275f89
CBMC: Add proof for vSocketBind ( #202 )
...
* Add proof
* Update
* Update MakefileCommon.json
* Undo changes
* Undo changes in MakefileCommon.json
* Update Makefile.json
* Update Makefile.json
* Update Makefile.json
* Change v1
* Change v2
5 years ago
d248555de5
Update #169 -- Percepio Tracealyzer Recorder v4.3.11 ( #201 )
...
* * Pull Request for Percepio Tracealyzer Recorder v4.3.11
* Update Tracealyzer demo config file.
Co-authored-by: Erik Tamlin <erik.tamlin@percepio.com>
5 years ago
70dcbe4527
Remove unused wolfSSL files. ( #197 )
...
* Remove unused wolfSSL files.
* Add back some removed ciphers.
* Update VS project file.
5 years ago
94aa31c3cb
Update wolfSSL to the latest version(v.4.4.0) ( #186 )
...
* deleted old version wolfSSL before updating
* updated wolfSSL to the latest version(v4.4.0)
* updated wolfSSL to the latest version(v4.4.0)
* added macros for timing resistance
Co-authored-by: RichardBarry <3073890+RichardBarry@users.noreply.github.com>
Co-authored-by: Ming Yue <mingyue86010@gmail.com>
5 years ago
f32a0647c8
Remove CBMC patch which is not used anymore ( #187 )
...
* Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch
* Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch
5 years ago
08af68ef90
Remove dependency of CBMC on Patches ( #181 )
...
* Changes to DHCP
* CBMC DNS changes
* Changes for TCP_IP
* Changes to TCP_WIN
* Define away static to nothing
* Remove patches
* Changes after Mark's comments v1
* Update MakefileCommon.json
* Correction!
5 years ago
a7fec906a4
Misc changes ( #183 )
5 years ago
07cf5e07e4
MISRA compliance changes for FreeRTOS+TCP headers ( #165 )
...
* misra changes
* Update FreeRTOS_IP_Private.h
* Update FreeRTOS_IP_Private.h
5 years ago
e903ac0fed
UPD MISRA changes ( #164 )
...
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
97551bf44e
MISRA changes in FreeRTOS_TCP_WIN.c ( #162 )
5 years ago
f2611cc5e5
MISRA compliance changes in FreeRTOS_Sockets{.c/.h} ( #161 )
...
* MISRA changes Sockets
* add other changes
* Update FreeRTOSIPConfig.h
* Update FreeRTOSIPConfig.h
* Update FreeRTOSIPConfig.h
* Update FreeRTOSIPConfig.h
* correction
* Add 'U'
* Update FreeRTOS_Sockets.h
* Update FreeRTOS_Sockets.h
* Update FreeRTOS_Sockets.c
* Update FreeRTOS_Sockets.h
* Update after Gary's comments
* Correction reverted
5 years ago
ae4d4d38d9
MISRA compliance changes for FreeRTOS_TCP_IP.c ( #160 )
...
* MISRA tcp-ip changes
* Changes after Hein's comments on original PR
* Update FreeRTOS_TCP_IP.c
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
e0d62163b0
Sync with +TCP amazon-FreeRTOS ( #158 )
...
* DNS.c commit
* IP.c commit
* Add various source & header files
5 years ago
c720c18ada
FreeRTOS+TCP Adding the combined driver for SAM4E and SAME70 v2 ( #78 )
...
* Adding a combined +TCP driver for SAM4E and SAME70
* Changes after review from Aniruddha
Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
5 years ago
4237049b12
Add changes from 2225-2227 amazon-FreeRTOS ( #134 )
5 years ago
7caa328634
Add Full TCP test suite - not using secure sockets ( #131 )
...
* Add Full-TCP suite
* delete unnecessary files
* Change after Joshua's comments
5 years ago
d5fedeaa96
Add checks in FreeRTOS_Socket.c ( #104 )
...
* Add fail-safes to FreeRTOS_Socket.c
* Use all 'pd' errors
* Correction after Hein's comments
* Correction after Hein's comments v2
* Changes after Hein's comments
* Update after Gary's comments
5 years ago
a9b2aac4e9
Folder structure change + Fix broken Projects ( #103 )
...
* Update folder structure
* Correct project files
* Move test folder
* Some changes after Yuki's comments
5 years ago
98bfc38bf3
FreeRTOS+TCP : add memory statistics and dump packets, v3 ( #83 )
...
* FreeRTOS+TCP : add memory statistics and dump packets, v3
* Two changes as requested by Aniruddha
Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
5 years ago
2df5eeef57
Feature/multiple direct to task notifications ( #73 )
...
* Add TaskNotifyArray.c with the single task tests updated to use the task notification array up to the point where the timer is created.
* Continue working on TaskNotifyArray.c to test the new task notification indexes. Next TaskNotifyArray.c will be refactored to break the tests up a bit.
* Refactor and update the comments in TaskNotifyArray.c - no functional changes.
* Change from the task notify "array" to task notification "indexed" nomenclature in the new task notification API functions that work on one particular task notification with the array of task notifications.
* Update the implementation of the taskNOTIFY_TAKE() and taskNOTIFY_WAIT() trace macros to take the array index of the task notification they are acting on.
Rename configNUMBER_OF_TASK_NOTIFICATIONS to configTASK_NOTIFICATION_ARRAY_ENTRIES.
Add FreeRTOS/Demo/Common/Minimal/TaskNotifyArray.c to the Visual Studio project - the file implements tests specific to the behaviour of the indexed task notification functions and should be used in addition to the tests already provided in FreeRTOS/Demo/Common/Minimal/TaskNotify.c.
5 years ago
b9e4ecfaf7
Remove Empty and Un-referenced folder from Demo ( #86 )
5 years ago
f11bcc8acc
Fix a Bug and corresponding CBMC patch ( #84 )
...
* Update remove-static-in-freertos-tcp-ip.patch
* Update FreeRTOS_TCP_IP.c
* Update remove-static-in-freertos-tcp-ip.patch
* Update remove-static-in-freertos-tcp-ip.patch
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
6efc39f44b
Add Project for running integration tests v2 ( #80 )
...
* Project for integration tests
* relative paths in project files
* relative paths in project files-1
* relative paths in project files-2
* addressed comments
* addressed comments v2
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
cb7edd2323
Sync with a:FR ( #75 )
...
* AFR sync
* AFR sync: CBMC
* AFR sync: CBMC: remove .bak files
* AFR sync: CBMC: more cleanup
* Corrected CBMC proofs
* Corrected CBMC patches
* Corrected CBMC patches-1
* Corrected CBMC patches-2
* remove .bak files (3)
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
6557291e54
Test: Add Linux Networking support with demo application ( #71 )
...
* Test: Add Linux Networking support with demo application
* Test: revert files affected by uncrustify
* Test: revert files affected by uncrustify
Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
95a3a02f95
FreeRTOS-Plus: Unit testing Infrastructure and examples ( #72 )
...
* Added CMock as submodule
* Makefile added
* Removed TEMP from Makefile
* Added configuration files and header files
* Update Makefile
* Test runner working
* make clean
* Example added with README
* Update README.md
* Restored +TCP files
* Cleared +TCP changes
* removed comments from Makefile
* Update README.md
* Update README.md
* Update README.md
* Updated Test/Unit-test/readme.md
5 years ago
5003d17fed
FreeRTOS+TCP : renewing DHCP lease while network is down ( #53 )
...
Co-authored-by: Hein Tibosch <hein@htibosch.net>
Co-authored-by: Gary Wicker <14828980+gkwicker@users.noreply.github.com>
5 years ago
d95624c5d6
Move CBMC proofs to FreeRTOS+ directory ( #64 )
...
* move CBMC proofs to FreeRTOS+ directory
* Failing proofs corrected
* ParseDNSReply proof added back
* removed queue_init.h from -Plus/Test
Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
5 years ago
40a31b6d35
'uL' -> 'UL'
5 years ago
5b3a289b69
Changes after Gary's comments
5 years ago
edf68637dd
Update FreeRTOS_ARP.c
5 years ago
Aniruddha Kanhere
alfred gedeon
Gary Wicker
Cobus van Eeden
Ming Yue
TakayukiMatsuo
Hein Tibosch
RichardBarry