summaryrefslogtreecommitdiff
path: root/FreeRTOS-Plus
Commit message (Collapse)AuthorAgeFilesLines
* Update version number to V10.4.1 (#281)syncBack10_4_1David Chalco2020-09-1756-56/+56
|
* Update Version number to 10.4.0 (#237)David Chalco2020-09-1056-56/+56
|
* Tracelyzer version updates (#261)Cobus van Eeden2020-09-101-1/+1
| | | * Update Tracelyzer version numbers
* TCP: Update version number and History.txt (#247)Aniruddha Kanhere2020-09-0854-54/+56
| | | | * Update the version number * Update History.txt
* Create winbase.h (#248)Aniruddha Kanhere2020-09-081-0/+1
|
* Build: replace scons with makefile (#235)alfred gedeon2020-09-041-1/+1
| | | | | | | | | | * 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>
* TCP: Update History.txt file (#243)Aniruddha Kanhere2020-09-041-0/+36
| | | * Update the History.txt
* Create a new branch and address 10.8 warnings (#241)Aniruddha Kanhere2020-09-042-16/+34
|
* Address various MISRA warnings v3 (#240)Aniruddha Kanhere2020-09-033-9/+16
| | | | | | | * Add a branch and make MISRA changes * initialize the value * Update after Gary's comments
* Address various MISRA warnings v2 (#238)Aniruddha Kanhere2020-09-025-14/+20
| | | | | | | * Address some MISRA warnings * Change the return type * Update FreeRTOS_Sockets.c
* Address MISRA errors of various kinds (#234)Aniruddha Kanhere2020-09-017-44/+44
| | | | | * MISRA 21.15 changes * MISRA 11.8 changes
* Address a few MISRA 2.2 violations in FreeRTOS_IP.c (#230)Aniruddha Kanhere2020-08-311-0/+10
| | | | | | | | | | | * 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.
* Address MISRA 21.15 violations in FreeRTOS_Sockets.c (#229)Gary Wicker2020-08-311-4/+12
| | | | | | | * 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>
* TCP: Address MISRA rule 11.3 violations (Part 2) (#227)Aniruddha Kanhere2020-08-314-41/+77
|
* Use unsigned types/constants where needed. (#226)Gary Wicker2020-08-282-5/+7
| | | Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
* TCP: Address MISRA rule11.3 violations (#225)Aniruddha Kanhere2020-08-286-89/+222
|
* Add CBMC proof for prvProcessEthernetPacket (#199)Aniruddha Kanhere2020-08-273-0/+97
| | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* Utility macros to improve readability/static analysis. (#219)Aniruddha Kanhere2020-08-273-42/+72
| | | | | | | | | | | | | * Update FreeRTOS_IP_Private.h * Update FreeRTOS_Sockets.h * Update FreeRTOS_DNS.c * Correct version number * Update version number * Update version number
* Fix Posix demo build and remove src directory (#213)alfred gedeon2020-08-271-1/+0
| | | | | | | | * 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>
* Move forward Kernel submodule pointer (#218)Cobus van Eeden2020-08-261-0/+4
| | | | | | * Move forward Kernel submodule pointer * Fixing patches for CBMC proofs * Update proofs to assume cTxLock != 127 * Update proofs to assume cRxLock != 127
* CBMC proof for vProcessGeneratedUDPPacket (#203)Aniruddha Kanhere2020-08-243-0/+130
| | | | | | | | | | | | | | | | | * Add Proof * Update * Update the proof * Update the proof * Clean-up * Clean-up v2 * Update freertos_api.c * update stub
* CBMC proof for ulARPRemoveCacheEntryByMac (#198)Aniruddha Kanhere2020-08-242-0/+43
| | | | | | | | | | | | | | | * 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
* CBMC: Add proof for vSocketBind (#202)Aniruddha Kanhere2020-08-246-0/+286
| | | | | | | | | | | | | | | | | | | | | * 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
* Update #169 -- Percepio Tracealyzer Recorder v4.3.11 (#201)Ming Yue2020-08-1338-13440/+16058
| | | | | | | * * Pull Request for Percepio Tracealyzer Recorder v4.3.11 * Update Tracealyzer demo config file. Co-authored-by: Erik Tamlin <erik.tamlin@percepio.com>
* Remove unused wolfSSL files. (#197)Ming Yue2020-08-11974-210690/+7
| | | | | | | * Remove unused wolfSSL files. * Add back some removed ciphers. * Update VS project file.
* Update wolfSSL to the latest version(v.4.4.0) (#186)TakayukiMatsuo2020-08-071185-67907/+833288
| | | | | | | | | | | | * 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>
* Remove CBMC patch which is not used anymore (#187)Aniruddha Kanhere2020-08-031-26/+0
| | | | | * Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch * Delete 0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch
* Remove dependency of CBMC on Patches (#181)Aniruddha Kanhere2020-08-0110-286/+36
| | | | | | | | | | | | | | | | | | | * 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!
* Misc changes (#183)Aniruddha Kanhere2020-07-293-5/+5
|
* MISRA compliance changes for FreeRTOS+TCP headers (#165)Aniruddha Kanhere2020-07-292-8/+6
| | | | | | | * misra changes * Update FreeRTOS_IP_Private.h * Update FreeRTOS_IP_Private.h
* UPD MISRA changes (#164)Aniruddha Kanhere2020-07-291-1/+1
| | | Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
* MISRA changes in FreeRTOS_TCP_WIN.c (#162)Aniruddha Kanhere2020-07-291-3/+2
|
* MISRA compliance changes in FreeRTOS_Sockets{.c/.h} (#161)Aniruddha Kanhere2020-07-297-292/+299
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* MISRA compliance changes for FreeRTOS_TCP_IP.c (#160)Aniruddha Kanhere2020-07-292-267/+321
| | | | | | | | | * 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>
* Sync with +TCP amazon-FreeRTOS (#158)Aniruddha Kanhere2020-07-228-617/+756
| | | | | | | * DNS.c commit * IP.c commit * Add various source & header files
* FreeRTOS+TCP Adding the combined driver for SAM4E and SAME70 v2 (#78)Hein Tibosch2020-07-133-0/+3270
| | | | | | | | * 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>
* Add changes from 2225-2227 amazon-FreeRTOS (#134)Aniruddha Kanhere2020-07-132-26/+340
|
* Add Full TCP test suite - not using secure sockets (#131)Aniruddha Kanhere2020-07-1047-0/+9979
| | | | | | | * Add Full-TCP suite * delete unnecessary files * Change after Joshua's comments
* Add checks in FreeRTOS_Socket.c (#104)Aniruddha Kanhere2020-07-011-7/+25
| | | | | | | | | | | | | * 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
* Folder structure change + Fix broken Projects (#103)Aniruddha Kanhere2020-06-2662-7549/+6804
| | | | | | | | | * Update folder structure * Correct project files * Move test folder * Some changes after Yuki's comments
* FreeRTOS+TCP : add memory statistics and dump packets, v3 (#83)Hein Tibosch2020-06-244-0/+1200
| | | | | | | | * 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>
* Feature/multiple direct to task notifications (#73)RichardBarry2020-06-081-4/+4
| | | | | | | | | | | | | | * 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.
* Remove Empty and Un-referenced folder from Demo (#86)Aniruddha Kanhere2020-06-052-9/+0
|
* Fix a Bug and corresponding CBMC patch (#84)Aniruddha Kanhere2020-06-032-73/+70
| | | | | | | | | | | * 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>
* Add Project for running integration tests v2 (#80)Aniruddha Kanhere2020-06-0242-15/+12888
| | | | | | | | | | | | | | | * 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>
* Sync with a:FR (#75)Aniruddha Kanhere2020-05-2890-3984/+6105
| | | | | | | | | | | | | | | | | | | | | * 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>
* Test: Add Linux Networking support with demo application (#71)alfred gedeon2020-05-271-0/+889
| | | | | | | | | | * 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>
* FreeRTOS-Plus: Unit testing Infrastructure and examples (#72)Aniruddha Kanhere2020-05-2222-2/+1932
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* FreeRTOS+TCP : renewing DHCP lease while network is down (#53)Hein Tibosch2020-05-061-10/+17
| | | | Co-authored-by: Hein Tibosch <hein@htibosch.net> Co-authored-by: Gary Wicker <14828980+gkwicker@users.noreply.github.com>
* Move CBMC proofs to FreeRTOS+ directory (#64)AniruddhaKanhere2020-05-05136-0/+6609
| | | | | | | | | | | * 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>
View Lorry Controller Status