Ecosyste.ms: Issues

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

GitHub / microsoft/checkedc issues and pull requests

#100 - Update motivation and definitions of Explicit Dynamic Checks

Issue - State: closed - Opened by lenary about 8 years ago - 1 comment

#100 - Update motivation and definitions of Explicit Dynamic Checks

Issue - State: closed - Opened by lenary about 8 years ago - 1 comment

#99 - Adds Explicit Dynamic Check

Pull Request - State: closed - Opened by lenary about 8 years ago

#99 - Adds Explicit Dynamic Check

Pull Request - State: closed - Opened by lenary about 8 years ago

#98 - Update initialization requirements for automatic variables

Issue - State: closed - Opened by dtarditi about 8 years ago - 1 comment

#98 - Update initialization requirements for automatic variables

Issue - State: closed - Opened by dtarditi about 8 years ago - 1 comment

#97 - Adds Explicit Dynamic Check

Pull Request - State: closed - Opened by lenary about 8 years ago

#97 - Adds Explicit Dynamic Check

Pull Request - State: closed - Opened by lenary about 8 years ago

#96 - Update tests to ensure automatic variables are initialized.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#96 - Update tests to ensure automatic variables are initialized.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#95 - Fixes non-portable casts in tests

Pull Request - State: closed - Opened by lenary about 8 years ago

#95 - Fixes non-portable casts in tests

Pull Request - State: closed - Opened by lenary about 8 years ago

#94 - Fixing missing header file include for test.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#94 - Fixing missing header file include for test.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#92 - Fix non-portable tests of integers with bounds declarations.

Issue - State: closed - Opened by dtarditi about 8 years ago - 3 comments

#91 - Finalize version 0.6 of the Checked C specification.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#91 - Finalize version 0.6 of the Checked C specification.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#90 - Allow bounds declarations for integer-typed variables.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#90 - Allow bounds declarations for integer-typed variables.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#88 - Improve section on bounds for structure types.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#86 - Add tests for redeclarations of variables with bounds.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#86 - Add tests for redeclarations of variables with bounds.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#85 - Think through declarations of bounds for checked array variables.

Issue - State: open - Opened by dtarditi about 8 years ago - 1 comment

#85 - Think through declarations of bounds for checked array variables.

Issue - State: open - Opened by dtarditi about 8 years ago - 1 comment

#84 - Update error messages for bounds mismatches.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#84 - Update error messages for bounds mismatches.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#83 - Test redeclarations of functions with bounds declarations.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#83 - Test redeclarations of functions with bounds declarations.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#82 - Test checking of bounds declarations for function pointer types.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#82 - Test checking of bounds declarations for function pointer types.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#81 - Provide guidance on bounds-safe interfaces for function pointers.

Issue - State: open - Opened by dtarditi about 8 years ago - 2 comments

#81 - Provide guidance on bounds-safe interfaces for function pointers.

Issue - State: open - Opened by dtarditi about 8 years ago - 2 comments

#80 - Add description of bounds-safe interface types.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#80 - Add description of bounds-safe interface types.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#79 - Allow bounds declarations for integer-typed variables

Issue - State: closed - Opened by dtarditi about 8 years ago

#79 - Allow bounds declarations for integer-typed variables

Issue - State: closed - Opened by dtarditi about 8 years ago

#78 - Fixes for typos in implicit casting examples.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#78 - Fixes for typos in implicit casting examples.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#77 - Update README.md and other md files.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#77 - Update README.md and other md files.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#76 - Release version 0.6 of the Checked C specification

Issue - State: closed - Opened by dtarditi about 8 years ago

#76 - Release version 0.6 of the Checked C specification

Issue - State: closed - Opened by dtarditi about 8 years ago

#74 - Add type compatibility rules for structure types

Issue - State: closed - Opened by dtarditi about 8 years ago

#74 - Add type compatibility rules for structure types

Issue - State: closed - Opened by dtarditi about 8 years ago

#73 - Extend function types with bounds information

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#73 - Extend function types with bounds information

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#72 - Missed a section rename.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#72 - Missed a section rename.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#71 - Rename some sections.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#71 - Rename some sections.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#70 - Improve the ordering of material in Chapter 3.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#70 - Improve the ordering of material in Chapter 3.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#68 - Change specification to describe updated Checked C keywords.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#68 - Change specification to describe updated Checked C keywords.

Pull Request - State: closed - Opened by dtarditi about 8 years ago

#67 - Test redeclarations of no-prototype functions with checked types.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#67 - Test redeclarations of no-prototype functions with checked types.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#66 - Add rules to specification for functions without prototypes.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#66 - Add rules to specification for functions without prototypes.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#65 - Feature tests for checking bounds-safe interface annotations.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#65 - Feature tests for checking bounds-safe interface annotations.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#64 - Tests for parsing bounds-safe interface types that are array types.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#64 - Tests for parsing bounds-safe interface types that are array types.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#62 - Test misplacement of return bounds expressions.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#62 - Test misplacement of return bounds expressions.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#61 - Rename type to itype in bounds-safe interface tests.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#61 - Rename type to itype in bounds-safe interface tests.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#60 - Describe bounds-safe interoperation types

Issue - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#60 - Describe bounds-safe interoperation types

Issue - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#59 - Feature tests for bounds-safe interface implicit type conversions.

Pull Request - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#59 - Feature tests for bounds-safe interface implicit type conversions.

Pull Request - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#57 - use-after-free, complementary library

Issue - State: closed - Opened by duneroadrunner over 8 years ago - 3 comments

#57 - use-after-free, complementary library

Issue - State: closed - Opened by duneroadrunner over 8 years ago - 3 comments

#56 - Add tests of parsing interop type annotations.

Pull Request - State: closed - Opened by dtarditi over 8 years ago - 2 comments

#56 - Add tests of parsing interop type annotations.

Pull Request - State: closed - Opened by dtarditi over 8 years ago - 2 comments

#55 - usage of unchecked pointers with bounds-safe interface type annotation

Issue - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#55 - usage of unchecked pointers with bounds-safe interface type annotation

Issue - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#54 - Fix test breaks due to type rename.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#54 - Fix test breaks due to type rename.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#53 - Change specification to describe updated Checked C keywords

Issue - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#53 - Change specification to describe updated Checked C keywords

Issue - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#52 - Change Checked C keywords to avoid conflicts with existing identifiers.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#52 - Change Checked C keywords to avoid conflicts with existing identifiers.

Pull Request - State: closed - Opened by dtarditi over 8 years ago

#51 - Test type checking of bounds range expressions

Pull Request - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#51 - Test type checking of bounds range expressions

Pull Request - State: closed - Opened by dtarditi over 8 years ago - 1 comment

#50 - how to do runtime check

Issue - State: closed - Opened by zhangyibobobo over 8 years ago - 3 comments
Labels: question

#50 - how to do runtime check

Issue - State: closed - Opened by zhangyibobobo over 8 years ago - 3 comments
Labels: question