Commit Graph

3676 Commits (main)
 

Author SHA1 Message Date
Alfred Gedeon 6881522370 Demo: fix trace vs coverage options, add option no trace on enter 4 years ago
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.
4 years ago
Alfred Gedeon d9ddcc0134 Add Lexicon word 4 years ago
Alfred Gedeon 9904e571f9 Remove extra Makefile print 4 years ago
Alfred Gedeon b0e693e88b Demo: exit 1 on error exit 2 on Ctrl_C 4 years ago
Alfred Gedeon e84fc19966 Make full demo exit on error 4 years ago
dependabot[bot] aed7209b7a
Bump urllib3 from 1.26.4 to 1.26.5 in /.github/scripts/common (#617)
Bumps [urllib3](https://github.com/urllib3/urllib3) from 1.26.4 to 1.26.5.
- [Release notes](https://github.com/urllib3/urllib3/releases)
- [Changelog](https://github.com/urllib3/urllib3/blob/main/CHANGES.rst)
- [Commits](https://github.com/urllib3/urllib3/compare/1.26.4...1.26.5)

---
updated-dependencies:
- dependency-name: urllib3
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
4 years ago
Dan Good f37753da06
Update unit tests to match changes in queue.c (#614) 4 years ago
Paul Bartell ea798d0612
Update release scripts to handle new "<DEVELOPMENT BRANCH>" version tags. (#615)
Add support for setting the main branch version number in task.h from within the github auto release workflow.
4 years ago
Alfred Gedeon 0c0333985b Run unctustify, fix some Readme wording 4 years ago
Alfred Gedeon a2029c781c Enable profiling for the linux port 4 years ago
dependabot[bot] 784fb8c157 Bump urllib3 from 1.26.3 to 1.26.4 in /.github/scripts/common
Bumps [urllib3](https://github.com/urllib3/urllib3) from 1.26.3 to 1.26.4.
- [Release notes](https://github.com/urllib3/urllib3/releases)
- [Changelog](https://github.com/urllib3/urllib3/blob/main/CHANGES.rst)
- [Commits](https://github.com/urllib3/urllib3/compare/1.26.3...1.26.4)

Signed-off-by: dependabot[bot] <support@github.com>
4 years ago
Paul Bartell e78feebe7b Allow pip to determine the correct version of colorama and requests 4 years ago
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
4 years ago
Paul Bartell 459a6cbb4c Update header_checker.py to support python and assembly files.
Add support for checking and verifying SPDX license identifiers.
4 years ago
alfred gedeon 3c4049c8f7
Update kernel HEAD (#611) 4 years ago
jasonpcarroll 803016a27a
Updated demo_config.h and include paths for OTA demos (#605)
Co-authored-by: Jason Carroll <czjaso@amazon.com>
4 years ago
Joseph Julicher 5d3ec8031f
deprecating the mcf5235 demos (#609) 4 years ago
Archit Gupta c134a58115
Fix missed variable rename (#600) 4 years ago
Carl Lundin 4ad4c7679e
Clean up commits. (#596) 4 years ago
Hein Tibosch db1f4542e5
Let vAssertCalled() produce some logging to stdout (#598) 4 years ago
Aniruddha Kanhere 1bc759d413
Aws only files spell check (#593)
* Added spell check

* All words

* Add a missing word

* Fix header checks

* Fix header checks v1

* Fix header check v2

* Updated freertos link in header

* Fixed afr link in the header

* Fix last of header checks

* Update the spell check script to check amazon licensed files only

* Fixed paths and added comments

* Try with modified repo

* Add inplace substitute option to sed

* Use official repo as the spell checker source

* Add vendor file to the ignored list

Co-authored-by: root <root@ip-172-31-5-28.us-west-2.compute.internal>
4 years ago
Archit Aggarwal e117bdcd17
Add CI check for verifying manifest.yml (#590) 4 years ago
Archit Aggarwal 420a821514
Add some hyperlinks for the recently concluded FreeRTOS 202104.00 release (#588) 4 years ago
David Chalco c1a1bd9774
fix versioning of header checks (#587) 4 years ago
Archit Aggarwal 971a6e1d22
Merge FreeRTOS 202104.00 to main (#585) 4 years ago
Prasad Vyawahare 04f0f68f61
OTA Demos (#573)
This change adds the OTA demos and required dependencies and helper components .
* Add demos , configs and project files
* Add subscription manager
* Add HTTP utils
* Submodules the OTA LTS 3.0 Library.
* Add OTA pal
4 years ago
Archit Aggarwal 43bd42db27
Rename MQTT Agent structs and files (#576) 4 years ago
alfred gedeon 1fe418dc9f
Remove unecessary file (#495) 4 years ago
Archit Aggarwal 82036163f9
Update release script to upload doxygen artifact for release-candidate branch (#571) 4 years ago
Archit Aggarwal 6b0c4ea233
Update release.py to support passing branch parameter (#570) 4 years ago
Archit Aggarwal fd9c1eb7a5
Automate doxygen ZIP creation with GitHub Action (#568)
Automate creation of doxygen ZIP output by using the custom doxygen GitHub Action, that has been updated to generate ZIP artifact in PR
4 years ago
TakayukiMatsuo 1e2f99a11b
Add feature to set credentials using buffer in MQTT_Mutual_Auth_wolfSSL demo (#522)
* Add feature to set credentials using buffer
* Change instructions for giving credential data via buffer
4 years ago
RichardBarry 9f10725bee
Minor update to the UART write function in the IAR/QEMU/MPS2 demo (#535)
* Minor update to the UART write function in the IAR/QEMU/MPS2 demo project.  Now the function checks to ensure there is space in the Tx buffer before writing to the buffer - although this does not appear to be necessary in QEMU it is more correct.

* Update main.c

Co-authored-by: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
4 years ago
Archit Aggarwal 5ac8279c1b
Change Shadow submodule to point to LTS release tag (#567) 4 years ago
Muneeb Ahmed ef6194a7ce
Replace multithreading demo with MQTT Agent (#563)
* Update MQTT agent submodule

* Copy MQTT agent demo files

* Remove other demos from connection manager

* Update demo config and uncrustify

* Update readme files

* Fix headers
4 years ago
Paul Bartell 7a695784bc
Add queue.c CMock unit test (#552)
* Disregard coverage data without a function_name field set

* Fix calling make on subdirectories

* Undefine FORTIFY_SOURCE when running without ENABLE_SANITIZERS

* Add queue and semaphore unit tests

* Update FreeRTOS-Kernel submodule revision
4 years ago
RichardBarry 53af0ec62e
Revert "Add test for timer start delayed past expiration (#557)" (#566)
This reverts commit 9c91199016.
4 years ago
Jeff Tenney 9c91199016
Add test for timer start delayed past expiration (#557)
Co-authored-by: Dan Good <49254594+dan4thewin@users.noreply.github.com>
Co-authored-by: RichardBarry <3073890+RichardBarry@users.noreply.github.com>
4 years ago
David Chalco 2560a50a7b
prune .git from versioning search (#561)
Co-authored-by: Archit Aggarwal <architag@amazon.com>
4 years ago
Archit Aggarwal 999e81e721
Bump submodules of Kernel and AWS libraries (#564) 4 years ago
Oscar Michael Abrina 4249f5ce11
Update README cloning instructions to set core.symlinks for Windows (#556)
* Update README cloning instructions to set core.symlinks for Windows

* Add purpose
4 years ago
Archit Aggarwal 5440581dcd
Fix typo in History.txt (#559) 4 years ago
Archit Aggarwal cd75d5607f
Relocate History.txt and fix an typo (#558) 4 years ago
Jeff Tenney f2bcfb3866
Add test for backlogged auto-reload timer (#553)
* Add test for backlogged auto-reset timer

Must call vTimerDemoIncludeBacklogTests() to activate.

* Fix little style issues

- Update to new header
- Add parentheses (style)
- Remove trailing space accidentally introduced

* Don't verify full clearing of backlog

The timer task should be free to process the stop request without a
specific requirement to work through the backlog of callbacks for the
stopped timer.  The timer task should be allowed to cancel the entire
backlog, part of it, or none of it.  In other words, once the
application sends the stop request, it should not depend on receiving
any more callbacks, even backlogged ones.

The only requirement here is that the timer stop as requested.

Co-authored-by: Joseph Julicher <jjulicher@mac.com>
Co-authored-by: Cobus van Eeden <35851496+cobusve@users.noreply.github.com>
4 years ago
Muneeb Ahmed 1f47a22b23
Add MQTT Agent submodule (#551)
* Add MQTT Agent submodule

* Add MQTT agent platform files

Co-authored-by: abhidixi11 <44424462+abhidixi11@users.noreply.github.com>
Co-authored-by: Joseph Julicher <jjulicher@mac.com>
4 years ago
Tim Newsome c280f26c1b
Small RISC-V spike demo improvements (#554)
* Put XLEN into .o files.

Makes it easier to work on voth RV32 and RV64 binaries side-by-side.

* Let the debugger disable HTIF use.

* Makefile now links the binary at BASE_ADDRESS

I need this so I can easily generate the appropriate binaries for
riscv-tests/debug. Unfortunately there doesn't seem to be any good
mechanism to externally define values for lds files, so I'm running it
through the C preprocessor.

Co-authored-by: Joseph Julicher <jjulicher@mac.com>
4 years ago
dependabot[bot] f87eb7d0d4
Bump pyyaml from 5.3.1 to 5.4 in /.github/scripts/common (#555)
Bumps [pyyaml](https://github.com/yaml/pyyaml) from 5.3.1 to 5.4.
- [Release notes](https://github.com/yaml/pyyaml/releases)
- [Changelog](https://github.com/yaml/pyyaml/blob/master/CHANGES)
- [Commits](https://github.com/yaml/pyyaml/compare/5.3.1...5.4)

Signed-off-by: dependabot[bot] <support@github.com>

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
4 years ago
Paul Bartell 595b05bce8 Fix spelling in stream_buffer_utest.c 4 years ago
Paul Bartell 58b1f9b27d Fix spelling in message_buffer_utest.c 4 years ago