Ecosyste.ms: Issues

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

GitHub / hengxin/consistencychecking issues and pull requests

#19 - Paper: Section 5 —— Read Centric Verifying Algorithm

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: enhancement, todo, paper

#18 - Paper: overview of Section 5 and outline of its subsections

Issue - State: open - Opened by hengxin almost 12 years ago - 1 comment
Labels: todo, paper

#17 - Paper: review Section 3 and Section 4

Issue - State: closed - Opened by hengxin almost 12 years ago - 2 comments
Labels: question, todo, paper

#16 - Test: Joint tests for two checking algorithms

Issue - State: open - Opened by hengxin almost 12 years ago - 1 comment
Labels: todo, test

#15 - Test: Handling with special testcase (observations)

Issue - State: closed - Opened by hengxin almost 12 years ago - 1 comment
Labels: bug, todo, test

#14 - Field WritePool: Where to place?

Issue - State: closed - Opened by hengxin almost 12 years ago - 2 comments
Labels: enhancement, check

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

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: question, todo

#12 - Check: extreme case in checking algorithm

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: todo, test, check

#11 - Doc: repair JavaDoc

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: check, doc

#10 - TestCase: How to generate executions with _high quality_?

Issue - State: closed - Opened by hengxin almost 12 years ago - 1 comment
Labels: question, todo, test

#9 - Partial self-test

Issue - State: closed - Opened by hengxin almost 12 years ago
Labels: todo, test

#8 - Migrating Code: ClosureGraph Algorithm

Issue - State: closed - Opened by hengxin almost 12 years ago - 4 comments
Labels: todo, test

#7 - Paper: to improve the Algorithm and find out the underlying principle

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: question, todo, paper

#7 - Paper: to improve the Algorithm and find out the underlying principle

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: question, todo, paper

#6 - ReadIncChecker Class: testcase Fig7

Issue - State: closed - Opened by hengxin almost 12 years ago - 2 comments
Labels: todo

#5 - ReadIncOperation Class: "cycle detection" in apply_wprimew_order method

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: todo

#4 - What do LatestWriteMap and GlobalActiveWritesMap do?

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: question

#3 - ReadIncChecker Class: readFromDW method (remove writes)

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: enhancement

#2 - DotUI Class: visualization for GlobalActiveWritesMap

Issue - State: closed - Opened by hengxin almost 12 years ago - 1 comment
Labels: todo

#1 - ReadIncOperation Class: propagation in apply_wprimew_order method

Issue - State: open - Opened by hengxin almost 12 years ago
Labels: enhancement