kar-rahul-aws
8b98d08bcc
Update queue Unit Tests to add uxQueueItemSize ( #1040 )
...
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
2023-07-18 15:12:00 +05:30
kar-rahul-aws
6682dbbc5b
Update submodule pointer for Kernel V10.6.0 ( #1037 )
...
* Update submodule pointer for Kernel V10.6.0
* Update commit hash
* Fix failed CBMC proofs
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update manifest.yml
* Update hash commit to match submodule
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
2023-07-18 09:28:02 +05:30
kar-rahul-aws
5d94b20aa8
Make changes required for MPU enhancements ( #1034 )
...
1. Add macro configUSE_MPU_WRAPPERS_V1 to allow Demo compatibility with
the old mpu wrapper .
2. Add Dummy xMPU_SETTINGS in portmacro.h file for Unit Tests .
Signed-off-by: kar-rahul-aws <karahulx@amazon.com>
2023-07-13 16:32:05 +05:30
Aniruddha Kanhere
1277ba1661
Revert "Remove coroutines ( #874 )" ( #1019 )
...
* Revert "Remove coroutines (#874 )"
This reverts commit 569c78fd8c
2023-06-09 15:25:48 -07:00
Gaurav-Aggarwal-AWS
2f5b186ea2
Add unit tests for kernel PR #679 ( #1015 )
...
Also, fix the broken tests by that PR.
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2023-05-25 16:24:35 +05:30
Darian
e7d31258f6
Add unit tests for GetStaticBuffer functions ( #964 )
...
Add unit tests for the various ...GetStaticBuffer() functions added in
https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/641 .
---------
Co-authored-by: Paul Bartell <pbartell@amazon.com>
2023-03-20 11:41:13 -07:00
Gaurav-Aggarwal-AWS
3c09383fab
Fix CBMC proof failures ( #946 )
...
* Fix CBMC proof failures
These were introduced in PR #620 .
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update manifest
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2023-03-06 15:15:38 +05:30
ActoryOu
67911f83a6
Create SMP on target test framework. ( #911 )
...
* Framework initialization.
* Move testRunner.c to test case subfolder.
* Update README doc and formatting.
* Add default configurations in test_config.h.
* Fix License & formatting check.
* Fix typo.
* Move setup/teardown functions to main.c file.
* Move setup/teardown functions back.
* Update README doc.
* Patch for comments.
* Correct test runner file name.
* Move test_config.h to the end of FreeRTOSConfig.h.
* Add undef in test_config.h and description in README doc.
* Correct the file format.
* Fix chinglee-iot comments.
* Code review suggestions
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix spell check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
---------
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
2023-03-06 13:17:27 +05:30
Kareem Khazem
408c3841ea
Add CBMC proof-running GitHub Action ( #924 )
...
This commit adds a GitHub Action that runs the CBMC proofs upon every
push and pull request. This is intended to replace the current CBMC CI.
2023-03-03 14:35:42 -08:00
Kareem Khazem
c7b3124565
Use CBMC XML output to enable VSCode debugger ( #912 )
...
Prior to this commit, CBMC would emit logging information in plain text
format, which does not contain information required for the CBMC VSCode
debugger. This commit makes CBMC use XML instead of plain text.
Co-authored-by: Mark Tuttle <tuttle@acm.org>
2023-01-13 13:03:06 -08:00
chinglee-iot
77712c6e53
Update unit test for equal priority task ( #903 )
...
Update the unit test for the following functions to verify that equal priority task won't be preempted
* vTaskResume
* xTaskResumeFromISR
* vTaskPrioritySet
* xTaskResumeAll
4 test cases are added to verify this scenario
* test_xTaskResumeAll_success_2_tasks_eq_prio_running_no_yield
* test_vTaskPrioritySet_success_eq_curr_prio_curr_tcb
* test_vTaskResume_success_eq_curr_prio_not_yield
* test_xTaskResumeFromISR_success_eq_curr_prio_suspended_task
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
2023-01-06 10:32:36 +08:00
jasonpcarroll
6f7f9fd9ed
[AUTO][RELEASE]: Bump file header version to "202212.00"
2022-12-10 01:17:30 +00:00
jasonpcarroll
b9f2248c5b
[AUTO][RELEASE]: Bump file header version to "202211.00"
2022-12-01 00:34:31 +00:00
Soren Ptak
8424589ed1
FreeRTOS Windows Simulator Build Changes and LTS 2.0 Update ( #872 )
...
* Update mbedtls to version v3.2.1
* Adjust include paths for github workflow
* Update FreeRTOS+TCP to v3.1.0
* Add initial VS project files for Kernel, +TCP, and mbedtls
* winpcap: Consolidate to a single copy of WinPcap
* Downgrade library projects to VS 2019. Add heap_4 to kernel.
* Remove *.vcxproj.user files and add to gitignore
* Disable unwanted kernel config options
* Update FreeRTOS+TCP and Kernel include paths
* Update FreeRTOS+TCP Windows Minimal sln
* Remove .suo and .vcxproj.user files
* Update mbedtls transport implementations for mbedtls v3.2.1
* Fix typo in mbedtls_freertos_port.c
* Update vcxproj files for +TCP, Kernel, Mbedtls
* Fix typo in name WindowSimulator -> WindowsSimulator
* Add wpcap lib to FreeRTOS+TCP.vcxproj
* Update FreeRTOS+TCP Minimal Demo for Windows Simulator
* Mask MSVC string function warnings
Aad _CRT_SECURE_NO_WARNINGS preprocessor definition.
* Move projects to their own directories to make VisualStudio happy
* mbedtls_freertos_port.c: Fix formatting?
* Add coreHTTP, Logging libs. Adjust dependencies
* Disable FreeRTOS Kernel malloc failed hook
* Update coreHTTP Plaintext demo
* Rename / relocate transport interface implementations
* Remove old VS project files
* Remove extra core_http_config.h files
* Remove extra FreeRTOSConfig.h files
* Remove extra FreeRTOSIPConfig.h files
* Remove old mbedtls_config.h files
* Remove old FreeRTOSConfig and core_http_config files
* Update HTTP Mutual Auth Demo build files
* Fix transport_plaintext.h include name
* Update HTTP_Plaintext demo build files
* Update CoreHTTP_S3_Download VS project files
* Update HTTP_S3_Upload demo build files
* Update CoreHTTP_S3_Download_Multithreaded demo build files
* Add GithubActions builds for FreeRTOS+ CoreHTTP Demos
* Update S3DownloadHTTPExample.c to be compatible with mbedtls 3.x
* Update GithubActions FreeRTOS+ config file
* Combine core_pkcs11_config.h files into a single one
* Add corePKCS11 VS project file
* Update corePKCS11 WinSim demo project and build files
* Update corePKCS11 library to version 3.5.0
* Modifiying demos to build using static libraries
* Adding a header file
* Two more demos
* Update corePKCS11 demo code and auto-format
* Downgrade corePKCS11 library build file to v142 / VS 2019
* Speed up CI builds with selective submodule initialization
* Separate corePKCS11 demo into it's own job.
* Remove WIN32.vcxproj and WIN32.vcxproj.filters files
* Remove old configuration header files
Partially reverts 73829ced6061e4584e521185178a61b4a437c5e0
* Revert unwanted coreHTTP demo changes
* Changing include paths for demos
* Adding an include
* MQTT WoflSSL Demo update
* wolfSSL Demo changes
* Config changes for MQTT Demos
* Initial Device Defender demo update.
* Initial Device Shadow demo update.
* Update mbedtls_transport_pkcs11 for Mbedtls 3.x
* Update corePKCS11 MQTT Mutual Auth demo
* Add a default definition of SdkLog
* Update CorePKCS11 + MQTT Mutual Auth demo sln name
* Build all configs of coreHTTP demos
* Update coreSNTP Demo build files.
* Update coreSNTP Demo sln name
* Update FreeRTOS+TCP Posix demo
* Update FreeRTOS+TCP Qemu ARM MPS2 AN385 Demo
* Update FreeRTOS+TCP Demo Github Actions builds
* Update Fleet Provisioning WinSim Demo build files
* Remove mbedtls_pk_info_t references from mbedtls_pk_pkcs11.h
* Restore / update the FreeRTOS+TCP Minimal WinSim demo
* Initial Jobs demo update.
* Fix jobs demo build.
* Initial OTA over HTTP demo update.
* Initial OTA over MQTT demo update.
* Ota_Over_Mqtt_Demo build fix.
* OTA over MQTT demo fix.
* Update HTTP demo solution file name for CI.
* Update Github actions workflow to old HTTP demo names.
* Update coreSTNP demo to old solution name.
* Fix defender demo / fix mbedtls config to use threading alt.
* Add MBEDTLS_CONFIG_FILE definition to each config
* Fix config file name.
* MQTT Mutual auth fixes.
* Fix job demo.
* Device shadow demo fixes.
* Fix coreSNTP demo not setting alt threading functions for mbedtls.
* Enable Static allocation, Add default hooks for FreeRTOS Kernel and +TCP
* Add xPlatformIsNetworkUp platform function to FreeRTOS+TCP hooks
* Enable runtime statistics in the Windows Simualator Kernel config
* Revert "Fix coreSNTP demo not setting alt threading functions for mbedtls."
This reverts commit 9069707519561ca8136d58c0f18fb176c9050a1d.
* Revert mbedtls threading related config changes
* Add xPlatformIsNetworkUp function prototype
* Remove boileplate FreeRTOS kernel and +tcp hooks
* Refactor device defender demo for clarity
* Add wait loop calling xPlatformIsNetworkUp
* Add missing vPlatformInitLogging function
* Add vPlatformInitLogging and vLoggingPrintf defitions to logging headers
* Updating the FreeRTOS_Plus_CLI_with_Trace_Windows_Simulator
* Updating the FreeRTOS_Plus_Reliance_Edge_and_CLI_Windows_Simulator demo
* Updates to the FreeRTOS_Plus_WolfSSL_Windows_Simulator demo
* Fixing wrong include path
* Upating FreeRTOS_Plus_WolfSSL_FIPS_Ready_Windows_Simulator demo
* Update coreMQTT WinSim demos to print start and end condition.
* Modifiying repos updated as part of the CLI demo GitHub workflow
* Removing duplicate functions from the FreeRTOS_Plus_TCP_Minimal_Windows_Simulator demo
* Updated FreeRTOS_Plus_TCP_UDP_Mode_CLI_Windows_Simulator demo
* Updating corePKCS11_MQTT_Mutual_Auth_Windows_Simulator Demo to call the static function that creates task
* Fix log message using unitialized string in MQTT Multitask demo.
* Fixing a broken extern function
* Fixing a typo extern function name
* Added a reference to coreHTTP
* Fixing a pre-processor issue in the OTA_Over_Http_Demo
* Updating the MQTT_Mutual_Auth_Demo_with_BG96 demo
* Updating the MQTT_Mutual_Auth_Demo_with_HL7802 demo
* Changes to the MQTT_Mutual_Auth_Demo_with_SARA_R4 demo
* Fix demos for CI.
* Adding the source path to the CBMC proofs for FreeRTOS+TCP
* Spell check fixes, adding words to lexicons
* Fixing a typo
* Add arg to skip prompt in setup script.
* Update paths of script to be relative to the file.
* Changing manifest.yml file to point to corePKCS11 3.5.0
* Added CI markers to cellular demos.
* Fix cellular demo flow.
* Fix celullar demos.
* Initial TCP sockets wrapper rework - will break things.
* First cellular demo fix for new sockets wrapper.
* Minor fix to cellular sockets wrapper.
* Fix mbedtls bio using FreeRTOS Plus TCP call.
* Clean up BG96 demo project files.
* Update HL7802 demo.
* Fix SARA R4 demo for new sockets wrapper.
* Fix Device Defender, Device Shadow, and Fleet PRovisioning.
* Fix Jobs demo.
* Fix OTA over HTTP demo.
* Fix OTA over MQTT demo.
* Fix HTTP mutual auth demo.
* Fix OTA over MQTT demo endianness.
* Fix OTA over HTTP demo endianness.
* Fix HTTP Plaintext demo.
* Fix HTTP S3 download demo.
* Fix plaintext transport
* Fix OTA demos.
* Fix OTA demos.
* Fix OTA HTTP demo.
* Fix HTTP S3 Download multithreaded demo.
* Fix HTTP S3 Upload demo
* Fix corePKCS11 Mutual Auth demo.
* Updating MQTT_Mutual_Auth
* Update pkcs11 setup script.
* Updating the MQTT_Basic_TLS Demo
* Organize PKCS11 demos project.
* Updating MQTT_Keep_Alive demo
* Clean up SNTP demo.
* Updated MQTT_Multitask demo
* Updated MQTT_Plain_Text
* Updating the MQTT_Serializer Demo
* Updating corePKCS11_MQTT_Mutual_Auth_Windows_Simulator
* Updating coreSNTP_Windows_Simulator
* Clean up demo projects.
* Add markers to PKCS11 mutual auth demo.
* Fix Fleet Provisioning demo script.
* Fix SNTP demo solution.
* Fix coreSNTP project files.
* Fix Fleet Provisiong script.
* Fix fleet provisioning script.
* Fix demo config template.
* Fleet provisioning demo markers.
* Updating MQTT_Mutual_Auth_wolfSSL demo and the transport_wolfSSL file
* Fixing FreeRTOS_Plus_TCP_Echo_POSIX
* Fixing CLI and Trace Demos
* Fixing TCP_ECHO_POSIX demo
* Adding a word to the lexicon
* Remove unneeded files.
* Update github workflows to use Ubuntu 20.04.
* Change OTA demo target names to RTOSDemo for OTAE2E tests.
* Fixing Headers
* Updating headers
* Two more headers
* Adding words to the lexicon
* Whitepsace
* Ignore mbedtls config file for header check.
* Removing FreeRTOS Header from the mbedtls_config_v3.2.1.h file
* Fix bug in lPKCS11PkMbedtlsCloseSessionAndFree. Add doxygen api docs.
* Update lexicon.txt
* Fix spelling
* Apply suggestions from code review
Co-authored-by: jasonpcarroll <23126711+jasonpcarroll@users.noreply.github.com>
* Add return code comment for p11_ecdsa_ctx_init
* Rename WindowsSimulator folder to VisualStudio_StaticProjects.
* Remove references to coroutines
* Fix mbedtls_pk_pkcs11.c
* Update to LTS 2.0 submodule pointers (#880 )
* Update submodule pointers to LTS 2.0
* Initial coreMQTT 2.1.1 update.
* Update AWS demos for coreMQTT 2.1.1
* Fix deprecated macro for coreMQTT demos.
* Fix keep alive demo.
* Fix plaintext demo.
* Fix MQTT wolfSSL demo.
* Fix MQTT PKCS11 demo.
* Remove duplicate functions.
* Fix Mutual auth demos for Cellular.
* Fix OTA demos.
* Fix header of plaintext demo config.
* Set writev to NULL for OTA demos.
* Fix mbedlts config for OTA demos.
* Fix spelling.
Co-authored-by: Jason Carroll <czjaso@amazon.com>
* Removing blank line
* Fix jobs demo race condition.
* Fix race condition from WinPCap network interface.
* Update lexicon.
Co-authored-by: Paul Bartell <pbartell@amazon.com>
Co-authored-by: Jason Carroll <czjaso@amazon.com>
Co-authored-by: Paul Bartell <paul.bartell@gmail.com>
Co-authored-by: jasonpcarroll <23126711+jasonpcarroll@users.noreply.github.com>
2022-11-29 14:21:09 -08:00
Paul Bartell
569c78fd8c
Remove coroutines ( #874 )
...
* Remove co-routine centric CORTEX_LM3S102_Rowley demos.
Remove CORTEX_LM3S102_Rowley Demo2 and Demo3.
Update Demo1 to no longer use coroutines.
* Remove co-routines from MB91460_Softune demo
* FreeRTOS_96348hs_SK16FX100PMC: Remove co-routine usage.
Remove co-routine usage from FreeRTOS_96348hs_SK16FX100PMC demo.
* MB96350_Softune_Dice_Kit: Remove co-routine usage
Remove co-routines usage from MB96350_Softune_Dice_Kit demo
* AVR_Dx_IAR: Remove co-routine usage
* AVR_Dx_Atmel_Studio: Remove co-routine usage
* PIC24_MPLAB: Remove autogenerated files and add to .gitignore
* PIC24_MPLAB: Remove co-routine usage from demo
* AVR_ATMega323_IAR: Remove co-routine usage
* ColdFire_MCF52221_CodeWarrior: Remove coroutine usage
* AVR_ATMega4809_MPLAB.X: Remove co-routine usage
* AVR_ATMega4809_IAR: Remove co-routine usage
* AVR_ATMega4809_Atmel_Studio: Remove coroutine usage
* AVR_ATMega323_WinAVR: Remove coroutine usage
* AVR_Dx_MPLAB.X: Remove coroutine usage
* dsPIC_MPLAB: Remove coroutine usage
* CORTEX_LM3S102_GCC: Remove coroutines and coroutine centric demos
* CORTEX_LM3S102_GCC: Update makefile to discard unused symbols
Allows fitting in the limited ram/flash for this part.
* CORTEX_LM3S316_IAR: Remove coroutines
* Demos: Remove references to crflash.c, crhook.c, crflash.h, crhook.h
* Remove coroutine options from FreeRTOSConfig.h files
* Xilinx: Remove backup file generated by revup utility
* Demos: Remove Coroutine related config items and references
* Format CBMC FreeRTOSConfig.h
* Update URL from aws.amazon.com/freertos to github.com/FreeRTOS
* Fix copyright year and license text
* Fix license text in demo files
* Update header check excluded path list
* Add configBENCHMARK to lexicon
2022-11-22 10:29:53 +05:30
Kody Stribrny
54d4eeaa26
Add Vectored Interrupt Support To SiFive RISC-V Demo ( #871 )
...
Update SiFive IAR demo to support vectored interrupts. This is a near copy of https://github.com/FreeRTOS/FreeRTOS/pull/797 .
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-11-09 10:34:04 -08:00
Gaurav-Aggarwal-AWS
aa316fc1b4
Add a unit test for tasks.c ( #867 )
...
* Add a unit test for tasks.c
This test simulates the scenario when a task with priority higher than
the currently executing task is unblocked as a result of the
xTaskIncrementTick call.
This is needed to fix the coverage drop in PR https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/568 .
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add description for the test
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Add doc for another test
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-11-03 11:48:53 -07:00
Nathan Chong
4f87f485d5
Update VeriFast proofs ( #836 )
...
* Undo syntax changes preventing VeriFast parsing
* Update proofs inline with source changes
Outstanding:
- xQueueGenericReset return code
- Not using prvIncrementQueueTxLock or prvIncrementQueueRxLock macros
* Remove git hash check
* Document new changes between proven code and implementation
* Update copyright header
* VeriFast proofs: turn off uncrustify checks
Uncrustify requires formatting of comments that is at odds with VeriFast's
proof annotations, which are contained within comments.
* Update ci.yml
Co-authored-by: Joseph Julicher <jjulicher@mac.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2022-10-27 14:54:38 -07:00
Gaurav-Aggarwal-AWS
3893cbdb12
Fix test failure in FreeRTOS-Kernel PR #568 ( #852 )
...
The test simulates the scenario when a task with priority equal to the
currently executing task is unblocked as a result of the
xTaskIncrementTick call.
Related PR - https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/568
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-09-29 12:03:36 +05:30
akshayutture
856d0e8363
Created a generic portmacro.h file in the CBMC include folder ( #847 )
...
* Created a generic portmacro.h file in the CBMC include folder instead of using the default MSVC-MingW one. This allows each proof to define the portmacro constants it needs and cover all code in the Task Scheduler
* Removed the license text from the portmacro file
* Fix CI checks
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix spell check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
2022-09-26 14:43:54 -07:00
alfred gedeon
1ac492d6aa
Kernel timers.c tasks.c Unit Test ( #539 )
...
* Test: add multi config ability to build system
* Remove Tests that are not implemented yet from the makefile
* Fix header check
* Test: Unit Test tasks.c
* UnitTest: tasks.c Save progress
* saving some work 70% coverage
* coverage 77%
* tasks.c coverage 90%
* tasks.c coverage 95%
* Cleanup and common header
* Cover some extra branches, no_mutex +stack growth
* Fix Makefile not to use modified version of c-preprocessor
* Remove c-preprocessor errros
* Rebase and add some tests
* Fortify_source=1 and O0 are mutually exclusive
* Style: Uncrustify code
* Style: Fix indent
* Fix Header checks
* Add prototypes
* Build: use unifdef instead of the c-preprocessor to generate different configurations
* Build: fix makefile cflags
* Fix UT after upgrading kernel version
* Resolve conflicts and test failures
* Comment fix version number
* Fix build error
* Update FreeRTOS/Test/CMock/Makefile
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
2022-08-16 14:38:26 -07:00
Paul Bartell
55d0ab4bfe
Fix queue/static config for upstream changes
2022-08-09 15:47:46 -07:00
Ravishankar Bhagavandas
9058c39aed
Add unit tests for stream buffer callback overrides ( #832 )
...
* Add tests for streambuffer callback
* Add concurrent readers writers test
* Update manifest
2022-07-29 13:16:52 -07:00
Angelo Nakos
8e881fe73c
Remove litani submodule and update README to include a section on CBMC ( #829 )
...
* Remove Litani submodule
* Update README to include section on CBMC
* Update litani references in Python run script
2022-07-25 13:52:10 -07:00
Gaurav-Aggarwal-AWS
c472c08d3d
Define INCLUDE_xTaskGetCurrentTaskHandle in FreeRTOSConfig.h ( #822 )
...
* Define INCLUDE_xTaskGetCurrentTaskHandle in FreeRTOSConfig.h
This is needed to fix build issues in https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/507
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix header check
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-06-21 22:45:26 +05:30
RichardBarry
1509e4f742
Add a hardware definition project for the MicroZed board ( #607 )
...
Add a hardware definition project for the MicroZed board to the existing Zynq ZC702 project.
Add a text file that describes how to switch the Zynq project form the ZC702 hardware to the MicroZed hardware.
2022-03-21 15:21:59 -07:00
Aniruddha Kanhere
9b7911b046
Update readme file with latest instructions to run CBMC proofs ( #801 )
...
* Update readme
* Address comments
* Update instructions according to comments
* Remove windows based instructions
* Add details for CBMC-viewer
2022-03-03 11:50:35 -08:00
swaldhoer
2b956b97c7
Update uncrustify configuration and improve CI setup (see FreeRTOS/FreeRTOS-Kernel/pull/445) ( #782 )
...
* pin uncrustify version and update configuration file
* Update AbortDelay.c
* Update BlockQ.c
* Update MessageBufferDemo.c
* Update QPeek.c
* Update StaticAllocation.c
* Update integer.c
* Update recmutex.c
* Update create.c
* Update prvCopyDataToQueue.c
* Update prvUnlockQueue.c
* Update vQueueDelete.c
* Update xQueueGenericSend.c
* Update xQueueGenericSendFromISR.c
* Update xQueuePeek.c
* Update xQueueReceive.c
* Update IntSemTest.c
* Update dynamic.c
* Update lexicon.txt
Co-authored-by: alfred gedeon <28123637+alfred2g@users.noreply.github.com>
2022-02-04 13:37:42 -08:00
Gaurav-Aggarwal-AWS
2f5a633383
Add tests to increase queue code coverage ( #770 )
...
These tests cover the following portion in the queue code:
static void prvUnlockQueue( Queue_t * const pxQueue )
{
...
if( prvNotifyQueueSetContainer( pxQueue ) != pdFALSE )
{
/* The queue is a member of a queue set, and posting to
* the queue set caused a higher priority task to unblock.
* A context switch is required. */
vTaskMissedYield();
}
else
{
mtCOVERAGE_TEST_MARKER();
}
...
}
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-01-05 21:05:11 -08:00
Gaurav-Aggarwal-AWS
89938537bc
Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 ( #768 )
...
Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435
This ensures that the coverage does not go down with the PR
https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 .
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-01-05 11:53:53 -08:00
Gaurav-Aggarwal-AWS
26dcb22052
Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 ( #766 )
...
* Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2022-01-04 16:14:54 -08:00
johnrhen
43defa566c
Apply release changes to main branch ( #759 )
...
* Update History.txt and README.md for December release (#744 )
* Update History.txt and README.md for release
* Bump mbedtls submodule to v2.28.0 (#745 )
* Patch project files for mbedtls (#751 )
* Apply group 1 patches
* Apply patches for group 2
* Update project files for mbedTLS new version
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix warnings in projects
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
* Fix warnings in HTTP_S3_Download demo
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
* Update changelog and history for corePKCS11 update (#752 )
* Update submodule pointer and manifest.yml for corePKCS11 (#754 )
* Update readme and history.txt to show that Sigv4 is a newly added library (#756 )
* Revert update to v143 of VS toolset (#757 )
* [AUTO][RELEASE]: Bump file header version to "202112.00"
* Update file headers to satisfy core checks
Co-authored-by: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Co-authored-by: Gaurav Aggarwal <aggarg@amazon.com>
Co-authored-by: johnrhen <johnrhen@users.noreply.github.com>
2021-12-23 10:16:27 -08:00
Mark Tuttle
21f2799392
Always prepare source tree for cbmc proofs ( #743 )
...
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
2021-12-17 10:59:10 -08:00
Mark Tuttle
eb9caf9d98
Advance litani submodule for CBMC proofs ( #725 )
...
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
2021-12-06 17:42:13 -07:00
Gaurav-Aggarwal-AWS
575acb8a1a
Enable C89 flag for unit tests ( #718 )
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2021-11-18 12:47:04 -08:00
Gaurav Aggarwal
4a465406b4
Fix CI check failure
...
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
2021-11-15 13:34:03 -08:00
Gaurav Aggarwal
a86178136d
Revert "Revert "UT: Add streambuffer test to make PR #391 pass ( #690 )""
...
This reverts commit 7340a72dee
2021-11-15 13:34:03 -08:00
aggarg
74e03ddcfe
[AUTO][RELEASE]: Bump submodules per manifest.yml for V202111.00
2021-11-13 02:38:32 +00:00
aggarg
ecd1a8f9f1
[AUTO][RELEASE]: Bump file header version to "202111.00"
2021-11-13 02:37:14 +00:00
Gaurav Aggarwal
7340a72dee
Revert "UT: Add streambuffer test to make PR #391 pass ( #690 )"
...
This reverts commit a32ab34192
2021-11-12 14:03:02 -08:00
alfred gedeon
a32ab34192
UT: Add streambuffer test to make PR #391 pass ( #690 )
...
UT: Add streambuffer test to make PR #391 pass
2021-10-15 16:07:59 -07:00
Mark Tuttle
409adde459
Advance litani submodule for cbmc proofs to latest version ( #687 )
...
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
2021-10-15 07:41:30 -07:00
Mark Tuttle
0390b0fc9b
Add CBMC viewer configuration files ( #683 )
...
* Revert cbmc-viewer flags
* Add cbmc-viewer configuration files
* Repair CBMC patch to prvCopyDataToQueue
Authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
2021-09-13 21:23:35 -04:00
tianmc1
67e5d4e6ec
[AUTO][RELEASE]: Bump submodules per manifest.yml for V202107.00
2021-07-24 00:33:46 +00:00
tianmc1
176f1cae02
[AUTO][RELEASE]: Bump file header version to "202107.00"
2021-07-24 00:32:35 +00:00
alfred gedeon
ae92d8c6ee
Add uncrustify github workflow ( #659 )
...
* Add uncrustify github workflow
* Fix exclusion pattern
* fix find expression
* exclude uncrustify files
* Uncrustify common demo and test files
* exlude white space checking files
* Fix EOL whitespace checker
* Remove whitespaces from EOL
* Fix space at EOL
* Fix find spaces at EOL
Co-authored-by: Archit Aggarwal <architag@amazon.com>
2021-07-22 14:23:48 -07:00
Dan Good
b6624fa44d
Remove or rework assumptions in queue proofs ( #603 )
...
This commit is paired with another to queue.c in the kernel. To
accomodate changes in newer versions of CBMC, the
--pointer-overflow-check is removed.
2021-06-04 15:42:14 -04:00
Dan Good
f37753da06
Update unit tests to match changes in queue.c ( #614 )
2021-06-01 15:33:43 -04:00
alfred gedeon
5136a30399
Test: Mask unit test warning ( #592 )
...
* Test: Mask unit test warning
* Fix Unit Test Bug
* Unit Test: Add setters and getters for xMaskAssertAndAbort
* Fix Warning
* Update Makefile
2021-05-27 16:26:31 -07:00
Carl Lundin
4ad4c7679e
Clean up commits. ( #596 )
2021-05-17 09:42:53 -07:00
