Support for C eaddrof, union and array types#213

Merged

tahina-pro merged 6 commits intomasterfrom protz_eaddrof

Oct 5, 2021

+586-502

Commits on Aug 5, 2021

Expose eaddroff following FStarLang/FStar@75355a6
protz
committed

Commits on Aug 10, 2021

Commits on Aug 12, 2021

Expose array types (occupies >= 1 word of space) as opposed to pointer types (always 1 word of space)
protz
committed

Commits on Oct 5, 2021

Merge branch 'master' of github.com:FStarLang/kremlin into protz_eaddrof
tahina-pro
committed