Alessandro Di Federico 247879f7fc model::Type::ID: switch to progressive IDs ...

This commit switches `model::Type::ID` from being a GUID to be a
progressive number, in order to make things easier for humans.

On top of this, this commit introduces the following changes:

* TypeCopier: import all the necessary PrimitiveTypes and improve
  handling of CustomName.
* Move Kind as the last field of the key of each TupleTree type used in
  an `UpcastablePointer`.
* Update the ground truth of tests to ignore the `CustomName` in favor
  of focusing on `OriginalName`.
* Increase adoption of `model::Binary::makeType`, equivalent to
  `Binary.recordNewType(makeType<model::*Type>())`.

2023-08-23 16:14:04 +02:00

..

__init__.py

model::Type::ID: switch to progressive IDs

2023-08-23 16:14:04 +02:00

external.py

revng-check-conventions: introduce flake8

2022-04-20 09:56:44 +02:00