ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cstdint.hpp
Go to the documentation of this file.
1// boost cstdint.hpp header file ------------------------------------------//
2
3// (C) Copyright Beman Dawes 1999.
4// (C) Copyright Jens Mauer 2001
5// (C) Copyright John Maddock 2001
6// Distributed under the Boost
7// Software License, Version 1.0. (See accompanying file
8// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
9
10// See http://www.boost.org/libs/integer for documentation.
11
12// Revision History
13// 31 Oct 01 use BOOST_HAS_LONG_LONG to check for "long long" (Jens M.)
14// 16 Apr 01 check LONGLONG_MAX when looking for "long long" (Jens Maurer)
15// 23 Jan 01 prefer "long" over "int" for int32_t and intmax_t (Jens Maurer)
16// 12 Nov 00 Merged <boost/stdint.h> (Jens Maurer)
17// 23 Sep 00 Added INTXX_C macro support (John Maddock).
18// 22 Sep 00 Better 64-bit support (John Maddock)
19// 29 Jun 00 Reimplement to avoid including stdint.h within namespace boost
20// 8 Aug 99 Initial version (Beman Dawes)
21
22#ifndef BOOST_CSTDINT_HPP
23#define BOOST_CSTDINT_HPP
24
25#endif