summaryrefslogtreecommitdiff
path: root/FreeRTOS/Test
Commit message (Expand)AuthorAgeFilesLines
* Add unit tests for GetStaticBuffer functions (#964)Darian2023-03-2014-55/+967
* Fix CBMC proof failures (#946)Gaurav-Aggarwal-AWS2023-03-063-14/+14
* Create SMP on target test framework. (#911)ActoryOu2023-03-0612-0/+970
* Add CBMC proof-running GitHub Action (#924)Kareem Khazem2023-03-033-0/+224
* Use CBMC XML output to enable VSCode debugger (#912)Kareem Khazem2023-01-131-13/+12
* Update unit test for equal priority task (#903)chinglee-iot2023-01-061-10/+292
* [AUTO][RELEASE]: Bump file header version to "202212.00"jasonpcarroll2022-12-1091-91/+91
* [AUTO][RELEASE]: Bump file header version to "202211.00"jasonpcarroll2022-12-0191-91/+91
* FreeRTOS Windows Simulator Build Changes and LTS 2.0 Update (#872)Soren Ptak2022-11-292-5/+5
* Remove coroutines (#874)Paul Bartell2022-11-2215-70/+9
* Add Vectored Interrupt Support To SiFive RISC-V Demo (#871)Kody Stribrny2022-11-091-9/+1
* Add a unit test for tasks.c (#867)Gaurav-Aggarwal-AWS2022-11-031-0/+51
* Update VeriFast proofs (#836)Nathan Chong2022-10-2731-1859/+1872
* Fix test failure in FreeRTOS-Kernel PR #568 (#852)Gaurav-Aggarwal-AWS2022-09-291-1/+3
* Created a generic portmacro.h file in the CBMC include folder (#847)akshayutture2022-09-262-1/+255
* Kernel timers.c tasks.c Unit Test (#539)alfred gedeon2022-08-1630-402/+9953
* Fix queue/static config for upstream changesPaul Bartell2022-08-091-1/+1
* Add unit tests for stream buffer callback overrides (#832)Ravishankar Bhagavandas2022-07-299-53/+1363
* Remove litani submodule and update README to include a section on CBMC (#829)Angelo Nakos2022-07-252-20/+15
* Define INCLUDE_xTaskGetCurrentTaskHandle in FreeRTOSConfig.h (#822)Gaurav-Aggarwal-AWS2022-06-212-1/+3
* Add a hardware definition project for the MicroZed board (#607)RichardBarry2022-03-211-1/+1
* Update readme file with latest instructions to run CBMC proofs (#801)Aniruddha Kanhere2022-03-031-82/+38
* Update uncrustify configuration and improve CI setup (see FreeRTOS/FreeRTOS-K...swaldhoer2022-02-049-215/+215
* Add tests to increase queue code coverage (#770)Gaurav-Aggarwal-AWS2022-01-051-0/+91
* Add tests to cover https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 (#768)Gaurav-Aggarwal-AWS2022-01-053-6/+46
* Fix tests needed for https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/435 (#766)Gaurav-Aggarwal-AWS2022-01-047-0/+48
* Apply release changes to main branch (#759)johnrhen2021-12-23123-186/+186
* Always prepare source tree for cbmc proofs (#743)Mark Tuttle2021-12-171-2/+1
* Advance litani submodule for CBMC proofs (#725)Mark Tuttle2021-12-061-0/+0
* Enable C89 flag for unit tests (#718)Gaurav-Aggarwal-AWS2021-11-181-1/+1
* Fix CI check failureGaurav Aggarwal2021-11-152-2/+2
* Revert "Revert "UT: Add streambuffer test to make PR #391 pass (#690)""Gaurav Aggarwal2021-11-156-37/+464
* [AUTO][RELEASE]: Bump submodules per manifest.yml for V202111.00202111.00aggarg2021-11-131-0/+0
* [AUTO][RELEASE]: Bump file header version to "202111.00"aggarg2021-11-1374-74/+74
* Revert "UT: Add streambuffer test to make PR #391 pass (#690)"Gaurav Aggarwal2021-11-126-464/+37
* UT: Add streambuffer test to make PR #391 pass (#690)alfred gedeon2021-10-156-37/+464
* Advance litani submodule for cbmc proofs to latest version (#687)Mark Tuttle2021-10-151-0/+0
* Add CBMC viewer configuration files (#683)Mark Tuttle2021-09-1341-14/+1084
* [AUTO][RELEASE]: Bump submodules per manifest.yml for V202107.00202107.00tianmc12021-07-241-0/+0
* [AUTO][RELEASE]: Bump file header version to "202107.00"tianmc12021-07-2474-74/+74
* Add uncrustify github workflow (#659)alfred gedeon2021-07-2292-3039/+3373
* Remove or rework assumptions in queue proofs (#603)Dan Good2021-06-0433-124/+57
* Update unit tests to match changes in queue.c (#614)Dan Good2021-06-019-534/+56
* Test: Mask unit test warning (#592)alfred gedeon2021-05-275-6/+18
* Clean up commits. (#596)Carl Lundin2021-05-171-1/+1
* Aws only files spell check (#593)Aniruddha Kanhere2021-05-1320-94/+97
* Merge FreeRTOS 202104.00 to main (#585)Archit Aggarwal2021-04-2932-60/+60
* Add queue.c CMock unit test (#552)Paul Bartell2021-04-2059-134/+13146
* Fix spelling in stream_buffer_utest.cmasterPaul Bartell2021-04-071-23/+25
* Fix spelling in message_buffer_utest.cPaul Bartell2021-04-071-19/+21
View Lorry Controller Status