List view

• Runtime checking

  This milestone is about adding runtime checking that pointers are non-null and in bounds.

  No due date

  •4/7 issues closed
  57% complete3 open4 closed

• Post-V1: Where clauses

  This is a placeholder milestone that groups together work needed to implement where clauses.

  No due date

  •1/3 issues closed
  33% complete2 open1 closed

• Static checking: subranges

  This is a placeholder milestone that groups together work to extend static checking to allow narrowing of bounds ranges by taking into account relational properties of variables and expressions.

  No due date

  •2/3 issues closed
  66% complete1 open2 closed

• Post-V1: Flow-sensitive bounds declarations

  This is a place holder milestone that groups together needed to implement flow-sensitive bounds declarations, including check of the flow-sensitive bounds declaration.

  No due date

  •3/5 issues closed
  60% complete2 open3 closed

• Static checking: structures

  This is a place holder milestone that groups together needed to extend simple static checking to lvalue expressions with structure types that have member bounds declaration. The lvalue expressions include variables and dereference expressions.

  No due date
  0% complete0 open0 closed

• Postponed

  Work that has been postponed for now and that we currently have no plans to schedule.

  No due date

  •2/4 issues closed
  50% complete2 open2 closed

• Syntax

  The focus of this milestone is implementing parsing and type checking of the Version 1 subset of the Checked C extension. See the Wiki for more details on the Version 1 subset.

  No due date

  •42/44 issues closed
  95% complete2 open42 closed

• Static checking: simple checking

  This is a placeholder milestone that groups together work needed to implement simple static checking of bounds declarations. By simple, we mean checking that relies no normalization, syntactic equality, and facts about variable equality.

  No due date

  •5/13 issues closed
  38% complete8 open5 closed