Add some missing cstdint includes

[swt2c]

Newer versions of GCC have become more strict about this, resulting in errors similar to the following:

In file included from /<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/abstract_domain.hpp:47,
                 from /<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/interval.hpp:46,
                 from /<<PKGBUILDDIR>>/analyzer/src/analysis/pointer/pointer.cpp:48:
/<<PKGBUILDDIR>>/core/include/ikos/core/domain/machine_int/operator.hpp:97:24: error: ‘uint64_t’ has not been declared
   97 |                        uint64_t result_bit_width,
      |                        ^~~~~~~~

[ivanperez-keera]

@swt2c All good. I'm just adding some doc locally to the git repo. I only changed the commit message. I'll wait a few minutes for this to build. Thanks!

EDIT: We also have to do the CLA. I almost forgot!

[ivanperez-keera]

I know this is a small patch, but can you please sign one of the two CLAs: https://github.com/NASA-SW-VnV/ikos/tree/master/doc/contribute. Send it by email to ikos@lists.nasa.gov, CC-ing me ivan.perezdominguez@nasa.gov.

Thanks!

[swt2c]

I know this is a small patch, but can you please sign one of the two CLAs: https://github.com/NASA-SW-VnV/ikos/tree/master/doc/contribute. Send it by email to ikos@lists.nasa.gov, CC-ing me ivan.perezdominguez@nasa.gov.

Thanks!

Done.

[ivanperez-keera]

Thanks! Received!