[codegen] more cleaning

This commit is contained in:
Philippe Tillet
2019-10-13 02:26:30 -04:00
parent cb12fc1a87
commit e787ce0cab
5 changed files with 125 additions and 826 deletions

File diff suppressed because it is too large Load Diff