Ciltrace#35

Open

jrrk wants to merge 2 commits intocil-project:developfrom

Commits on Sep 1, 2017

Rename Trace -> Ciltrace
Jonathan Kimmitt
committed
Update cil.mllib to reflect rename Trace -> Ciltrace
Jonathan Kimmitt
committed