-
Christoph Mallon authored
When creating an entity for a floatingpoint constant, first try to reduce the size, then check, whether it already exists. This way only a single entity is created for e.g. a double and a float 1.0.
84354a35
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
When creating an entity for a floatingpoint constant, first try to reduce the size, then check, whether it already exists. This way only a single entity is created for e.g. a double and a float 1.0.