Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / freertos/corepkcs11 issues and pull requests

#50 - CBMC: Proof for C_GetAttributeValue

Pull Request - State: closed - Opened by lundinc2 almost 4 years ago

#50 - CBMC: Proof for C_GetAttributeValue

Pull Request - State: closed - Opened by lundinc2 almost 4 years ago

#49 - Use CSDK spellcheck.

Pull Request - State: closed - Opened by lundinc2 almost 4 years ago

#49 - Use CSDK spellcheck.

Pull Request - State: closed - Opened by lundinc2 almost 4 years ago

#48 - CBMC proofs

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#48 - CBMC proofs

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#47 - Use spellcheck tool from C-SDK.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#47 - Use spellcheck tool from C-SDK.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#46 - Update 3rdparty folder to align with other coreREPOS

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#46 - Update 3rdparty folder to align with other coreREPOS

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#45 - Update manifest file with dependencies.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#45 - Update manifest file with dependencies.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#44 - Add AWS secrets PR check

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#44 - Add AWS secrets PR check

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#43 - Fix log formatting warnings when at DEBUG level

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#43 - Fix log formatting warnings when at DEBUG level

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#42 - CBMC proof for C_CreateObject

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#42 - CBMC proof for C_CreateObject

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#41 - Update all relevant master to main references.

Pull Request - State: closed - Opened by sarenameas about 4 years ago

#41 - Update all relevant master to main references.

Pull Request - State: closed - Opened by sarenameas about 4 years ago

#40 - Remove internal only tiny link.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#40 - Remove internal only tiny link.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#39 - Add changes needed for C-SDK doxygen.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#39 - Add changes needed for C-SDK doxygen.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#38 - CMBC: Proofs for sessions and RNG

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#38 - CMBC: Proofs for sessions and RNG

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#37 - Add default config for corePKCS11

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#37 - Add default config for corePKCS11

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#36 - Submodule update

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#36 - Submodule update

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#35 - CBMC: Proof for C_Initialize and C_Finalize

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#35 - CBMC: Proof for C_Initialize and C_Finalize

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#34 - Add coverity analysis build target.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#34 - Add coverity analysis build target.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#33 - CBMC: Proofs for core_pkcs11.c

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#32 - CBMC: xGetSlotList

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#32 - CBMC: xGetSlotList

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#31 - Added a proof for PKI_pkcs11SignatureTombedTLS.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#31 - Added a proof for PKI_pkcs11SignatureTombedTLS.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#30 - Add CODEOWNERS rule for PR bar raisers.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#30 - Add CODEOWNERS rule for PR bar raisers.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#29 - Add CBMC and first CBMC proof

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#29 - Add CBMC and first CBMC proof

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#28 - MISRA Fix: Linux architecture warnings and recent regressions

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#28 - MISRA Fix: Linux architecture warnings and recent regressions

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#27 - Add SECURITY.md

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#27 - Add SECURITY.md

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#26 - Add a POSIX port.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#26 - Add a POSIX port.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#25 - MISRA Update from POSIX port

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#25 - MISRA Update from POSIX port

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#24 - Indentation fixes in .gitmodules

Pull Request - State: closed - Opened by aggarw13 about 4 years ago

#24 - Indentation fixes in .gitmodules

Pull Request - State: closed - Opened by aggarw13 about 4 years ago

#23 - Fix warnings when compiling with Log levels increased.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#23 - Fix warnings when compiling with Log levels increased.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#22 - Add changelog for new release

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#22 - Add changelog for new release

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#21 - Submodule update

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#21 - Submodule update

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#20 - Rename iot prefix to core prefix

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#20 - Rename iot prefix to core prefix

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#19 - Update README.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#19 - Update README.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#18 - Release candidate

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#18 - Release candidate

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#17 - 100% Unit test coverage

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#17 - 100% Unit test coverage

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#15 - Draft manifest.yml and CHANGELOG.md

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#14 - Move threading_alt.h into an include folder

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#13 - Added PKCS #11 Source File Size Estimates

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#12 - Fixed MISRA Regressions When Removing FreeRTOS Kernel Calls

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#11 - Test coverage

Pull Request - State: closed - Opened by dachalco about 4 years ago

#10 - More test coverage

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#9 - Refactor Complexity regression

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#8 - Add link checker to CI

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#7 - Pin mbed TLS branch and add mbed TLS utils folder

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#6 - Sync PKCS repo with AFR.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#5 - Removed dependency of FreeRTOS Kernel

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#4 - Documentation update.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#3 - Add coverity config.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#2 - Update README and add MISRA documentation.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago

#1 - Add CI.

Pull Request - State: closed - Opened by lundinc2 about 4 years ago