Search results

Encode the DPJ rules in an SMT solver

Status: Open.

#15 In dpj/DPJizer;

· reprogrammer opened on Jul 20, 2011

Make the effect inference independent of the order of method declarations

Constraint Solving

Status: Open.

#14 In dpj/DPJizer;

· reprogrammer opened on Jun 11, 2011

Support inferring the region annotations of recursive programs

Constraint Solving

Status: Open.

#13 In dpj/DPJizer;

· reprogrammer opened on Jun 7, 2011

Ensure that the read effects and write effects of parallel tasks are disjoint

Constraint Solving

Status: Open.

#12 In dpj/DPJizer;

· reprogrammer opened on Jun 7, 2011

Ensure that the write effects of different iterations of a foreach loop are disjoint

Constraint Solving

Status: Open.

#11 In dpj/DPJizer;

· reprogrammer opened on May 3, 2011

Ensure that the write effects of parallel tasks are disjoint

Constraint Solving

Status: Open.

#10 In dpj/DPJizer;

· reprogrammer opened on May 3, 2011

The subtyping checks for multi-dimensional arrays should be fixed

Constraint Generation

Status: Open.

#6 In dpj/DPJizer;

· reprogrammer opened on Feb 15, 2011