Some progress on better field_address.
More progress.
More progress
More progress.
More progress. When reroot a segment of an array, it should be a non-empty segment. Unpack glob tactic has not been tested. It will be tested after the whole floyd works.
More progress. Also, some holes about proj_except_reptype are narrowed.
More progress. And more holes of dependent typed computation are filled or narrowed.
Finish updating floyd.
Some update in progs ans sha. Leave the rest updating to the time when I am in China.
Merge branch 'Update_fieldaddress'
Merge branch 'master' of https://github.com/PrincetonUniversity/VST