]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6acdcaf) | patch
Get cryptominisat2 compiling:
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 4 Jul 2010 05:42:13 +0000 (05:42 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 4 Jul 2010 05:42:13 +0000 (05:42 +0000)
commitd32b33380641c5aa960c080d855162ac5b169e43
treeb392e46b9491dbaf2bdd2ef7b782723844a8c14dtree | snapshot
parent6acdcaffa8121c5fed09d00466bd6200228ae6e6commit | diff
Get cryptominisat2 compiling:

* Add a cutdown copy of the Boost library.
* Comment out most of the Cryptominisat2 custom code. I've changed the IFDEFs to cryptominisat__2, which leaves the code in, but which isn't defined.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@915 e59a4935-1847-0410-ae03-e826735625c1
244 files changed:
scripts/Makefile.common diff | blob | history
src/STPManager/STP.cpp diff | blob | history
src/boost/config.hpp [new file with mode: 0644] blob
src/boost/config/abi/borland_prefix.hpp [new file with mode: 0644] blob
src/boost/config/abi/borland_suffix.hpp [new file with mode: 0644] blob
src/boost/config/abi/msvc_prefix.hpp [new file with mode: 0644] blob
src/boost/config/abi/msvc_suffix.hpp [new file with mode: 0644] blob
src/boost/config/abi_prefix.hpp [new file with mode: 0644] blob
src/boost/config/abi_suffix.hpp [new file with mode: 0644] blob
src/boost/config/auto_link.hpp [new file with mode: 0644] blob
src/boost/config/compiler/borland.hpp [new file with mode: 0644] blob
src/boost/config/compiler/codegear.hpp [new file with mode: 0644] blob
src/boost/config/compiler/comeau.hpp [new file with mode: 0644] blob
src/boost/config/compiler/common_edg.hpp [new file with mode: 0644] blob
src/boost/config/compiler/compaq_cxx.hpp [new file with mode: 0644] blob
src/boost/config/compiler/digitalmars.hpp [new file with mode: 0644] blob
src/boost/config/compiler/gcc.hpp [new file with mode: 0644] blob
src/boost/config/compiler/gcc_xml.hpp [new file with mode: 0644] blob
src/boost/config/compiler/greenhills.hpp [new file with mode: 0644] blob
src/boost/config/compiler/hp_acc.hpp [new file with mode: 0644] blob
src/boost/config/compiler/intel.hpp [new file with mode: 0644] blob
src/boost/config/compiler/kai.hpp [new file with mode: 0644] blob
src/boost/config/compiler/metrowerks.hpp [new file with mode: 0644] blob
src/boost/config/compiler/mpw.hpp [new file with mode: 0644] blob
src/boost/config/compiler/nvcc.hpp [new file with mode: 0644] blob
src/boost/config/compiler/pgi.hpp [new file with mode: 0644] blob
src/boost/config/compiler/sgi_mipspro.hpp [new file with mode: 0644] blob
src/boost/config/compiler/sunpro_cc.hpp [new file with mode: 0644] blob
src/boost/config/compiler/vacpp.hpp [new file with mode: 0644] blob
src/boost/config/compiler/visualc.hpp [new file with mode: 0644] blob
src/boost/config/no_tr1/cmath.hpp [new file with mode: 0644] blob
src/boost/config/no_tr1/complex.hpp [new file with mode: 0644] blob
src/boost/config/no_tr1/functional.hpp [new file with mode: 0644] blob
src/boost/config/no_tr1/memory.hpp [new file with mode: 0644] blob
src/boost/config/no_tr1/utility.hpp [new file with mode: 0644] blob
src/boost/config/platform/aix.hpp [new file with mode: 0644] blob
src/boost/config/platform/amigaos.hpp [new file with mode: 0644] blob
src/boost/config/platform/beos.hpp [new file with mode: 0644] blob
src/boost/config/platform/bsd.hpp [new file with mode: 0644] blob
src/boost/config/platform/cygwin.hpp [new file with mode: 0644] blob
src/boost/config/platform/hpux.hpp [new file with mode: 0644] blob
src/boost/config/platform/irix.hpp [new file with mode: 0644] blob
src/boost/config/platform/linux.hpp [new file with mode: 0644] blob
src/boost/config/platform/macos.hpp [new file with mode: 0644] blob
src/boost/config/platform/qnxnto.hpp [new file with mode: 0644] blob
src/boost/config/platform/solaris.hpp [new file with mode: 0644] blob
src/boost/config/platform/symbian.hpp [new file with mode: 0644] blob
src/boost/config/platform/vxworks.hpp [new file with mode: 0644] blob
src/boost/config/platform/win32.hpp [new file with mode: 0644] blob
src/boost/config/posix_features.hpp [new file with mode: 0644] blob
src/boost/config/requires_threads.hpp [new file with mode: 0644] blob
src/boost/config/select_compiler_config.hpp [new file with mode: 0644] blob
src/boost/config/select_platform_config.hpp [new file with mode: 0644] blob
src/boost/config/select_stdlib_config.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/dinkumware.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/libcomo.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/libstdcpp3.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/modena.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/msl.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/roguewave.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/sgi.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/stlport.hpp [new file with mode: 0644] blob
src/boost/config/stdlib/vacpp.hpp [new file with mode: 0644] blob
src/boost/config/suffix.hpp [new file with mode: 0644] blob
src/boost/config/user.hpp [new file with mode: 0644] blob
src/boost/config/warning_disable.hpp [new file with mode: 0644] blob
src/boost/detail/algorithm.hpp [new file with mode: 0644] blob
src/boost/detail/allocator_utilities.hpp [new file with mode: 0644] blob
src/boost/detail/atomic_count.hpp [new file with mode: 0644] blob
src/boost/detail/binary_search.hpp [new file with mode: 0644] blob
src/boost/detail/call_traits.hpp [new file with mode: 0644] blob
src/boost/detail/catch_exceptions.hpp [new file with mode: 0644] blob
src/boost/detail/compressed_pair.hpp [new file with mode: 0644] blob
src/boost/detail/container_fwd.hpp [new file with mode: 0644] blob
src/boost/detail/dynamic_bitset.hpp [new file with mode: 0644] blob
src/boost/detail/endian.hpp [new file with mode: 0644] blob
src/boost/detail/has_default_constructor.hpp [new file with mode: 0644] blob
src/boost/detail/identifier.hpp [new file with mode: 0644] blob
src/boost/detail/indirect_traits.hpp [new file with mode: 0644] blob
src/boost/detail/interlocked.hpp [new file with mode: 0644] blob
src/boost/detail/is_function_ref_tester.hpp [new file with mode: 0644] blob
src/boost/detail/is_incrementable.hpp [new file with mode: 0644] blob
src/boost/detail/is_xxx.hpp [new file with mode: 0644] blob
src/boost/detail/iterator.hpp [new file with mode: 0644] blob
src/boost/detail/lcast_precision.hpp [new file with mode: 0644] blob
src/boost/detail/lightweight_mutex.hpp [new file with mode: 0644] blob
src/boost/detail/lightweight_test.hpp [new file with mode: 0644] blob
src/boost/detail/lightweight_thread.hpp [new file with mode: 0644] blob
src/boost/detail/limits.hpp [new file with mode: 0644] blob
src/boost/detail/named_template_params.hpp [new file with mode: 0644] blob
src/boost/detail/no_exceptions_support.hpp [new file with mode: 0644] blob
src/boost/detail/none_t.hpp [new file with mode: 0644] blob
src/boost/detail/numeric_traits.hpp [new file with mode: 0644] blob
src/boost/detail/ob_call_traits.hpp [new file with mode: 0644] blob
src/boost/detail/ob_compressed_pair.hpp [new file with mode: 0644] blob
src/boost/detail/quick_allocator.hpp [new file with mode: 0644] blob
src/boost/detail/reference_content.hpp [new file with mode: 0644] blob
src/boost/detail/scoped_enum_emulation.hpp [new file with mode: 0644] blob
src/boost/detail/select_type.hpp [new file with mode: 0644] blob
src/boost/detail/sp_typeinfo.hpp [new file with mode: 0644] blob
src/boost/detail/templated_streams.hpp [new file with mode: 0644] blob
src/boost/detail/utf8_codecvt_facet.hpp [new file with mode: 0644] blob
src/boost/detail/workaround.hpp [new file with mode: 0644] blob
src/boost/pool/detail/ct_gcd_lcm.hpp [new file with mode: 0644] blob
src/boost/pool/detail/for.m4 [new file with mode: 0644] blob
src/boost/pool/detail/gcd_lcm.hpp [new file with mode: 0644] blob
src/boost/pool/detail/guard.hpp [new file with mode: 0644] blob
src/boost/pool/detail/mutex.hpp [new file with mode: 0644] blob
src/boost/pool/detail/pool_construct.bat [new file with mode: 0755] blob
src/boost/pool/detail/pool_construct.inc [new file with mode: 0644] blob
src/boost/pool/detail/pool_construct.m4 [new file with mode: 0644] blob
src/boost/pool/detail/pool_construct.sh [new file with mode: 0644] blob
src/boost/pool/detail/pool_construct_simple.bat [new file with mode: 0755] blob
src/boost/pool/detail/pool_construct_simple.inc [new file with mode: 0644] blob
src/boost/pool/detail/pool_construct_simple.m4 [new file with mode: 0644] blob
src/boost/pool/detail/pool_construct_simple.sh [new file with mode: 0644] blob
src/boost/pool/detail/singleton.hpp [new file with mode: 0644] blob
src/boost/pool/object_pool.hpp [new file with mode: 0644] blob
src/boost/pool/pool.hpp [new file with mode: 0644] blob
src/boost/pool/pool_alloc.hpp [new file with mode: 0644] blob
src/boost/pool/poolfwd.hpp [new file with mode: 0644] blob
src/boost/pool/simple_segregated_storage.hpp [new file with mode: 0644] blob
src/boost/pool/singleton_pool.hpp [new file with mode: 0644] blob
src/boost/static_assert.hpp [new file with mode: 0644] blob
src/boost/type_traits/add_const.hpp [new file with mode: 0644] blob
src/boost/type_traits/add_cv.hpp [new file with mode: 0644] blob
src/boost/type_traits/add_pointer.hpp [new file with mode: 0644] blob
src/boost/type_traits/add_reference.hpp [new file with mode: 0644] blob
src/boost/type_traits/add_volatile.hpp [new file with mode: 0644] blob
src/boost/type_traits/aligned_storage.hpp [new file with mode: 0644] blob
src/boost/type_traits/alignment_of.hpp [new file with mode: 0644] blob
src/boost/type_traits/alignment_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/arithmetic_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/array_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/broken_compiler_spec.hpp [new file with mode: 0644] blob
src/boost/type_traits/composite_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/config.hpp [new file with mode: 0644] blob
src/boost/type_traits/conversion_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/cv_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/decay.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/bool_trait_def.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/bool_trait_undef.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/cv_traits_impl.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/false_result.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/ice_and.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/ice_eq.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/ice_not.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/ice_or.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/is_function_ptr_helper.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/is_function_ptr_tester.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/is_mem_fun_pointer_impl.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/is_mem_fun_pointer_tester.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/size_t_trait_def.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/size_t_trait_undef.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/template_arity_spec.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/type_trait_def.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/type_trait_undef.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/wrap.hpp [new file with mode: 0644] blob
src/boost/type_traits/detail/yes_no_type.hpp [new file with mode: 0644] blob
src/boost/type_traits/extent.hpp [new file with mode: 0644] blob
src/boost/type_traits/floating_point_promotion.hpp [new file with mode: 0644] blob
src/boost/type_traits/function_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_new_operator.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_nothrow_assign.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_nothrow_constructor.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_nothrow_copy.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_nothrow_destructor.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_trivial_assign.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_trivial_constructor.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_trivial_copy.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_trivial_destructor.hpp [new file with mode: 0644] blob
src/boost/type_traits/has_virtual_destructor.hpp [new file with mode: 0644] blob
src/boost/type_traits/ice.hpp [new file with mode: 0644] blob
src/boost/type_traits/integral_constant.hpp [new file with mode: 0644] blob
src/boost/type_traits/integral_promotion.hpp [new file with mode: 0644] blob
src/boost/type_traits/intrinsics.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_abstract.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_arithmetic.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_array.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_base_and_derived.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_base_of.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_base_of_tr1.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_class.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_complex.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_compound.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_const.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_convertible.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_empty.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_enum.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_float.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_floating_point.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_function.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_fundamental.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_integral.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_member_function_pointer.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_member_object_pointer.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_member_pointer.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_object.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_pod.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_pointer.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_polymorphic.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_reference.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_same.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_scalar.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_signed.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_stateless.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_union.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_unsigned.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_virtual_base_of.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_void.hpp [new file with mode: 0644] blob
src/boost/type_traits/is_volatile.hpp [new file with mode: 0644] blob
src/boost/type_traits/make_signed.hpp [new file with mode: 0644] blob
src/boost/type_traits/make_unsigned.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_all_extents.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_bounds.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_const.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_cv.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_extent.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_pointer.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_reference.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/remove_volatile.hpp [new file with mode: 0644] blob
src/boost/type_traits/msvc/typeof.hpp [new file with mode: 0644] blob
src/boost/type_traits/object_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/promote.hpp [new file with mode: 0644] blob
src/boost/type_traits/rank.hpp [new file with mode: 0644] blob
src/boost/type_traits/reference_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_all_extents.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_bounds.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_const.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_cv.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_extent.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_pointer.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_reference.hpp [new file with mode: 0644] blob
src/boost/type_traits/remove_volatile.hpp [new file with mode: 0644] blob
src/boost/type_traits/same_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/transform_traits.hpp [new file with mode: 0644] blob
src/boost/type_traits/transform_traits_spec.hpp [new file with mode: 0644] blob
src/boost/type_traits/type_with_alignment.hpp [new file with mode: 0644] blob
src/main/main.cpp diff | blob | history
src/sat/cryptominisat2/Makefile diff | blob | history
src/to-sat/AIG/ToSATAIG.h diff | blob | history
src/to-sat/BitBlaster.cpp diff | blob | history
src/to-sat/ToCNF.cpp diff | blob | history
src/to-sat/ToSAT.cpp diff | blob | history
STP Constraint Solver.