git.libre-soc.org Git - cvc5.git/commit

author	Andres Noetzli <andres.noetzli@gmail.com>
	Fri, 10 Sep 2021 02:58:42 +0000 (19:58 -0700)
committer	GitHub <noreply@github.com>
	Fri, 10 Sep 2021 02:58:42 +0000 (02:58 +0000)
commit	6255b7045c9e21066eb48cead218e44f7add5826
tree	9be8240f0ce11022100072bb6fb46c61ff448420	tree
parent	5369982ff5c493f72e6f8309d8be632866314805	commit \| diff

Use C++17 attributes (#7154)

Currently, we are using non-standard attributes. With C++17, all the
attributes that we use regularly are now standardized. This commit
replaces the compiler-specific attributes with standard ones.

RSS Atom

src/base/check.h		diff \| blob \| history
src/base/output.h		diff \| blob \| history
src/include/cvc5_public.h		diff \| blob \| history
src/preprocessing/util/ite_utilities.cpp		diff \| blob \| history
src/smt_util/boolean_simplification.h		diff \| blob \| history
src/theory/booleans/circuit_propagator.h		diff \| blob \| history
src/theory/quantifiers/term_tuple_enumerator.cpp		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/valuation.h		diff \| blob \| history
test/unit/theory/theory_white.cpp		diff \| blob \| history