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
src
cpp
library
boost
cstdint.hpp
Generated by
1.15.0