microsoft/checkedc issues and pull requests

#49 - decide whether to use C underscore pattern for new keywords

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

#49 - decide whether to use C underscore pattern for new keywords

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

#48 - Tests for checking type requirements for bounds declarations.

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

#48 - Tests for checking type requirements for bounds declarations.

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

#47 - Test typechecking of count bounds expressions.

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

#47 - Test typechecking of count bounds expressions.

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

#46 - Test checked properties of dimensions of multi-dimensional arrays

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

#46 - Test checked properties of dimensions of multi-dimensional arrays

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

#45 - Add code of conduct.

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

#45 - Add code of conduct.

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

#44 - Typedefs and checked multi-dimensional arrays.

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

#44 - Typedefs and checked multi-dimensional arrays.

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

#43 - Update version number for specification.

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

#43 - Update version number for specification.

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

#42 - Alternative designs for bounds of address-of a pointer dereference.

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

#42 - Alternative designs for bounds of address-of a pointer dereference.

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

#41 - expand implicit conversions for pointers to arrays

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

#41 - expand implicit conversions for pointers to arrays

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

#40 - Update description of checked pointers.

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

#40 - Update description of checked pointers.

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

#39 - Allow uses of enumeration constants in member bounds

Issue - State: open - Opened by dtarditi over 8 years ago
Labels: enhancement

#39 - Allow uses of enumeration constants in member bounds

Issue - State: open - Opened by dtarditi over 8 years ago
Labels: enhancement

#38 - Allow bounds declarations on union members?

Issue - State: open - Opened by dtarditi over 8 years ago
Labels: enhancement, question

#38 - Allow bounds declarations on union members?

Issue - State: open - Opened by dtarditi over 8 years ago
Labels: enhancement, question

#37 - Feature tests for parsing member bounds.

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

#37 - Feature tests for parsing member bounds.

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

#36 - Decide what to do about old-style C function declarations

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

#36 - Decide what to do about old-style C function declarations

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

#35 - Add feature tests for parsing return bounds expressions.

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

#35 - Add feature tests for parsing return bounds expressions.

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

#34 - Disallow array_ptrs to function types

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

#34 - Disallow array_ptrs to function types

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

#33 - Add feature tests for parsing bounds declarations.

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

#33 - Add feature tests for parsing bounds declarations.

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

#32 - Test parsing bounds expressions in parameter list scopes.

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

#32 - Test parsing bounds expressions in parameter list scopes.

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

#31 - Add feature tests for parsing bounds expressions in function parameter lists

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

#31 - Add feature tests for parsing bounds expressions in function parameter lists

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

#30 - Update checked_array_typechecking.c

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

#30 - Update checked_array_typechecking.c

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

#29 - Fix Typo

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

#29 - Fix Typo

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

#28 - Update README URLs based on HTTP redirects

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

#28 - Update README URLs based on HTTP redirects

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

#27 - Add a wish list of projects.

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

#27 - Add a wish list of projects.

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

#26 - Can you instead upload your spec in the Markdown language that's more amenable to GitHub?

Issue - State: closed - Opened by KumarL over 8 years ago - 10 comments

#26 - Can you instead upload your spec in the Markdown language that's more amenable to GitHub?

Issue - State: closed - Opened by KumarL over 8 years ago - 10 comments

#25 - Add tests for parsing and typechecking new checked types

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

#25 - Add tests for parsing and typechecking new checked types

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

#24 - Fix lost highlighting of code and fix typos

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

#24 - Fix lost highlighting of code and fix typos

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

#23 - Add additional references to related work section

Issue - State: open - Opened by dtarditi over 8 years ago
Labels: enhancement

#23 - Add additional references to related work section

Issue - State: open - Opened by dtarditi over 8 years ago
Labels: enhancement

#22 - Allow use of unchecked keyword to declare unchecked arrays?

Issue - State: closed - Opened by dtarditi over 8 years ago - 2 comments
Labels: enhancement, question

#22 - Allow use of unchecked keyword to declare unchecked arrays?

Issue - State: closed - Opened by dtarditi over 8 years ago - 2 comments
Labels: enhancement, question

#21 - Clarify some parts of bounds declaration checking.

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

#21 - Clarify some parts of bounds declaration checking.

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

#20 - Allow implicit conversions from pointers to unchecked arrays to pointers to checked arrays

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

#19 - Handle parameters with array types specially in description of bounds declaration checking

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

#19 - Handle parameters with array types specially in description of bounds declaration checking

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

#18 - Add missing address-of cases to description of bounds declaration checking

Issue - State: closed - Opened by dtarditi over 8 years ago - 2 comments
Labels: enhancement

#18 - Add missing address-of cases to description of bounds declaration checking

Issue - State: closed - Opened by dtarditi over 8 years ago - 2 comments
Labels: enhancement

#17 - The 'any' bounds is a confusing concept

Issue - State: open - Opened by dtarditi over 8 years ago - 1 comment
Labels: enhancement, question

#17 - The 'any' bounds is a confusing concept

Issue - State: open - Opened by dtarditi over 8 years ago - 1 comment
Labels: enhancement, question

#16 - Revise related work section in design document

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

#16 - Revise related work section in design document

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

#15 - Describe cv modifiers and checked pointer types.

Pull Request - State: closed - Opened by dtarditi almost 9 years ago

#14 - Do not use safe and unsafe to describe pointer types.

Pull Request - State: closed - Opened by dtarditi almost 9 years ago

#13 - Rename array_view to span.

Pull Request - State: closed - Opened by dtarditi almost 9 years ago - 2 comments

#12 - add discussion of const/volatile modifiers for new pointer types

Issue - State: closed - Opened by dtarditi almost 9 years ago - 1 comment
Labels: enhancement

#11 - discuss terminology of safe vs. unsafe pointers

Issue - State: closed - Opened by dtarditi almost 9 years ago - 3 comments
Labels: question

#10 - Implicit conversions and comparison operands.

Pull Request - State: closed - Opened by dtarditi almost 9 years ago

#9 - discuss mixing of safe and unsafe types

Issue - State: closed - Opened by dtarditi almost 9 years ago - 2 comments
Labels: question

#8 - add uncheckedptr<T> type constructor

Issue - State: closed - Opened by dtarditi almost 9 years ago - 3 comments
Labels: enhancement

#7 - Allow comparison and subtraction of ptr types.

Pull Request - State: closed - Opened by dtarditi almost 9 years ago

#6 - Revamp discussion of implicit conversions involving safe pointers

Pull Request - State: closed - Opened by dtarditi almost 9 years ago

#5 - Return values for functions with bounds-safe interfaces

Issue - State: open - Opened by dtarditi almost 9 years ago

#4 - improve description of cast operators

Issue - State: closed - Opened by dtarditi almost 9 years ago - 1 comment
Labels: enhancement

#3 - Coloring of text missing in Section 3.7.3

Issue - State: closed - Opened by dtarditi almost 9 years ago - 1 comment
Labels: bug

#2 - Add rules for checking that variables and members with checked pointer types are initialized before use.

Issue - State: closed - Opened by dtarditi almost 9 years ago - 2 comments
Labels: enhancement

#1 - Change array_view to span in specification document

Issue - State: closed - Opened by dtarditi almost 9 years ago - 1 comment
Labels: enhancement

GitHub / microsoft/checkedc issues and pull requests