Skip to content

Pull requests: FreeRTOS/coreSNTP

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Update word list
#84 by Skptak was closed Jan 9, 2024 Loading…
2 tasks
Clang-Format and CI-CD Update
#77 by Skptak was closed Dec 14, 2023 Loading…
2 tasks
[test] Remove errant space in README.md
#75 by angelonakos was closed Dec 15, 2023 Loading…
.
#74 by karkhaz was closed Mar 21, 2023 Draft
2 tasks
Test CBMC GitHub Action performance
#73 by karkhaz was closed Mar 11, 2023 Draft
Update CBMC starter kit
#60 by angelonakos was merged Jul 14, 2022 Loading…
Loop invariant update
#55 by markrtuttle was closed Dec 1, 2021 Draft
Enable logging macros in CI checks for coreSNTP
#51 by johnrhen was closed Aug 30, 2022 Loading…
Update litani and template submodules for cbmc proofs
#49 by markrtuttle was closed Oct 13, 2021 Loading…
Update README with link to doxygen
#44 by aggarw13 was merged Jul 28, 2021 Loading…
Add code examples in doxygen manual
#42 by aggarw13 was merged Jul 22, 2021 Loading…
Add Porting Guide to Doxygen
#41 by aggarw13 was merged Jul 21, 2021 Loading…
Add MISRA.md and CHANGELOG.md files
#40 by aggarw13 was merged Jul 20, 2021 Loading…
Enable LGTM.com static analysis as PR check
#33 by aggarw13 was closed Jul 24, 2021 Loading…
Fix UDP transport send operation
#32 by aggarw13 was merged Jun 17, 2021 Loading…
Add security mechanisms against replay attacks
#29 by aggarw13 was merged Jun 3, 2021 Loading…
Update Client layer APIs to validate context
#28 by aggarw13 was merged Jun 1, 2021 Loading…
[coreSNTP] Update sntp_send time request proof
#25 by gshvang was merged May 26, 2021 Loading…
[CoreSntp] Sntp_SendTimeRequest cbmc proof
#19 by gshvang was closed May 14, 2021 Loading…
[CoreSntp] Sntp deserialize response proof
#18 by gshvang was closed May 27, 2021 Loading…
Add Sntp_ReceiveTimeResponse API
#16 by aggarw13 was merged May 13, 2021 Loading…
ProTip! Add no:assignee to see everything that’s not assigned.