summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Revert "Add test for timer start delayed past expiration (#557)"revert-557-add-test-late-timer-startRichardBarry2021-04-171-51/+0
* Add test for timer start delayed past expiration (#557)Jeff Tenney2021-04-171-0/+51
* prune .git from versioning search (#561)David Chalco2021-04-161-1/+4
* Bump submodules of Kernel and AWS libraries (#564)Archit Aggarwal2021-04-165-3/+3
* Update README cloning instructions to set core.symlinks for Windows (#556)Oscar Michael Abrina2021-04-141-0/+5
* Fix typo in History.txt (#559)Archit Aggarwal2021-04-131-1/+1
* Relocate History.txt and fix an typo (#558)Archit Aggarwal2021-04-131-0/+0
* Add test for backlogged auto-reload timer (#553)Jeff Tenney2021-04-122-8/+94
* Add MQTT Agent submodule (#551)Muneeb Ahmed2021-04-097-0/+394
* Small RISC-V spike demo improvements (#554)Tim Newsome2021-04-084-17/+31
* Bump pyyaml from 5.3.1 to 5.4 in /.github/scripts/common (#555)dependabot[bot]2021-04-081-1/+1
* Fix spelling in stream_buffer_utest.cmasterPaul Bartell2021-04-071-23/+25
* Fix spelling in message_buffer_utest.cPaul Bartell2021-04-071-19/+21
* Update test commentsGaurav Aggarwal2021-04-071-1/+2
* Fix typo in message_buffer_utest.cPaul Bartell2021-04-071-1/+1
* Remove imporper TEST_PROTECT usage from message_buffer_utest.c.Paul Bartell2021-04-071-39/+42
* Remove improper TEST_PROTECT usage which results in an infinite loop when an ...Paul Bartell2021-04-071-86/+57
* Reintroduce quarantined CBMC test (#516)Carl Lundin2021-04-071-0/+9
* Run kernel unit tests against FreeRTOS-Kernel repository main branch and the ...Paul Bartell2021-04-061-1/+43
* Add RISC-V demo for the spike simulator. (#532)Tim Newsome2021-04-0214-1/+1097
* Update Tasks.c CBMC Proofs to Latest Code (#547)Carl Lundin2021-04-023-34/+33
* Re-enable list, message_buffer, and stream_buffers unit testsPaul Bartell2021-04-011-3/+3
* Add event_groups.c Unit Test (#536)Ming Yue2021-04-015-4/+952
* Work around gcov json output bugPaul Bartell2021-03-311-1/+1
* Adding unit tests for stream buffer and message buffer (#528)Ravishankar Bhagavandas2021-03-308-0/+2354
* Force a branch in the definition of configASSERT in the default CMock FreeRTO...Paul Bartell2021-03-241-75/+85
* Collect initial coverage data so that untagged functions are still included i...Paul Bartell2021-03-231-2/+12
* Run kernel unit tests on pull requests and pushes.Paul Bartell2021-03-221-4/+1
* Skip filtering of coverage if no @coverage tags are found in a _utest.c filePaul Bartell2021-03-221-3/+11
* Add message buffer space available coherency test (#515)Cobus van Eeden2021-03-205-6/+118
* Kernel UT: Enable preprocessor when running cflow in callgraph.py (#530)Paul Bartell2021-03-192-4/+31
* Run kernel CMock unit tests when they are changed. (#531)Paul Bartell2021-03-191-0/+41
* Update serial.c for latest microchip DFP (1.6.88 from 1.1.40) (#517)newbs2021-03-181-4/+3
* update configurations.xml to use the latest Microchip AVR DFP 1.6.88 (#518)newbs2021-03-161-1/+1
* Make the address sanitizer optional for CMock kernel unit tests (#526)Paul Bartell2021-03-162-2/+11
* Demo: remove commented code, and unused macros (#525)alfred gedeon2021-03-161-40/+0
* Clean up CMock makefiles and add coverage filtering (#523)Paul Bartell2021-03-1520-342/+1123
* Add custom metrics to defender demo (#507)Archit Gupta2021-03-058-120/+379
* Changed git-secrets check to check all PR branches. (#521)xuelix2021-03-051-2/+0
* Added git-secrets check to Github Action (#520)xuelix2021-03-041-0/+26
* Minor VeriFast proof changes to match V10.4.3 (#519)Nathan Chong2021-02-2529-33/+148
* Update corePKCS11 submodule. (#505)Carl Lundin2021-02-221-0/+0
* Correct FreeRTOS.org link in main_full.c for: (#510)Carl Lundin2021-02-222-2/+2
* Create Cortex-M3 QEMU project for testing with the IAR compiler (#503)RichardBarry2021-02-1920-0/+10306
* Update python version to 3.7.10 (#512)Carl Lundin2021-02-182-13/+13
* Add unity memory extension, fake_assert, and enable -fsanitize=address (#506)Paul Bartell2021-02-1811-59/+151
* Generate JUnit style report for kernel unit test (#504)alfred gedeon2021-02-151-8/+12
* Unit Test/timer[0] (#502)David Chalco2021-02-144-3/+233
* Add Litani to run CBMC proofs (#501)Carl Lundin2021-02-126-19/+350
* Kernel list.c Unit Test (#497)alfred gedeon2021-02-116-38/+1118