Diff#328

Open

datang1992 wants to merge 5 commits into

Commits on Oct 18, 2014

GraphDiff basics.
datang1992
committed

Commits on Oct 28, 2014

Use trace to solve the label problem.
datang1992
committed

Commits on Oct 29, 2014

basic parse for translating the origin CBN into new CBN.
datang1992
committed

Commits on Nov 29, 2014

small changes for CBN diff
datang1992
committed

Commits on Jan 21, 2015

First step for the ensure support.
datang1992
committed