ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
suffix.hpp
Go to the documentation of this file.
1
// Boost config.hpp configuration header file ------------------------------//
2
3
// Copyright (c) 2001-2003 John Maddock
4
// Copyright (c) 2001 Darin Adler
5
// Copyright (c) 2001 Peter Dimov
6
// Copyright (c) 2002 Bill Kempf
7
// Copyright (c) 2002 Jens Maurer
8
// Copyright (c) 2002-2003 David Abrahams
9
// Copyright (c) 2003 Gennaro Prota
10
// Copyright (c) 2003 Eric Friedman
11
// Copyright (c) 2010 Eric Jourdanneau, Joel Falcou
12
// Distributed under the Boost Software License, Version 1.0. (See
13
// accompanying file LICENSE_1_0.txt or copy at
14
// http://www.boost.org/LICENSE_1_0.txt)
15
16
// See http://www.boost.org/ for most recent version.
17
18
// Boost config.hpp policy and rationale documentation has been moved to
19
// http://www.boost.org/libs/config/
20
//
21
// This file is intended to be stable, and relatively unchanging.
22
// It should contain boilerplate code only - no compiler specific
23
// code unless it is unavoidable - no changes unless unavoidable.
24
25
#ifndef BOOST_CONFIG_SUFFIX_HPP
26
#define BOOST_CONFIG_SUFFIX_HPP
27
28
#endif
src
cpp
library
boost
config
suffix.hpp
Generated by
1.15.0