Issues

• Paper: Section 5 —— Read Centric Verifying Algorithm

  enhancementpapertodo
  hengxin/ConsistencyChecking#19 · Filter by author hengxin opened on Jan 20, 2013
  

• Paper: overview of Section 5 and outline of its subsections

  papertodo
  hengxin/ConsistencyChecking#18 · Filter by author hengxin opened on Jan 18, 2013
  1

  

• Test: Joint tests for two checking algorithms

  testtodo
  hengxin/ConsistencyChecking#16 · Filter by author hengxin opened on Jan 11, 2013
  1

  

• ReadIncChecker class: questions about the implementation of read-inc checking algorithm

  questiontodo
  hengxin/ConsistencyChecking#13 · Filter by author hengxin opened on Jan 9, 2013
  

• Check: extreme case in checking algorithm

  checktesttodo
  hengxin/ConsistencyChecking#12 · Filter by author hengxin opened on Jan 9, 2013
  

• Doc: repair JavaDoc

  checkdoc
  hengxin/ConsistencyChecking#11 · Filter by author hengxin opened on Jan 9, 2013
  

• Paper: to improve the Algorithm and find out the underlying principle

  paperquestiontodo
  hengxin/ConsistencyChecking#7 · Filter by author hengxin opened on Jan 6, 2013
  

• ReadIncOperation Class: "cycle detection" in apply_wprimew_order method

  todo
  hengxin/ConsistencyChecking#5 · Filter by author hengxin opened on Jan 4, 2013
  

• What do LatestWriteMap and GlobalActiveWritesMap do?

  question
  hengxin/ConsistencyChecking#4 · Filter by author hengxin opened on Jan 4, 2013
  

• ReadIncChecker Class: readFromDW method (remove writes)

  enhancement
  hengxin/ConsistencyChecking#3 · Filter by author hengxin opened on Jan 4, 2013
  

• ReadIncOperation Class: propagation in apply_wprimew_order method

  enhancement
  hengxin/ConsistencyChecking#1 · Filter by author hengxin opened on Jan 4, 2013