List view

• Completed Olden and Ptrdist Conversions

  This is the follow-on to the Preliminary Evaluation. For this milestone, we want to convert all the remaining Olden and Ptrdist benchmarks to Checked C, so that we can evaluate the overhead of our runtime checks compared to Deputy and CCured.

  No due date

  •15/20 issues closed
  75% complete5 open15 closed