Finish renaming / moving tansiv components according to #21 (!13) · Merge requests · tansiv / TANSIV

RILLING Louis requested to merge dev/rename into master Nov 08, 2021

CI currently blocked by Qemu build issues with gcc-11 on Debian testing. Otherwise all changes look like building and running fine.

Edited Nov 12, 2021 by RILLING Louis

Finish renaming / moving tansiv components according to #21