sci-mathematics/

vampire

Bug Reports

• sci-mathematics/vampire-4.8 fails to compile: Portability.hpp:23:20: error: static assertion failed: Vampire assumes that the size of a pointer is 8 bytes for efficiency reasons This may be relaxed in future, but for the moment expect problems if running

  928097 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/vampire-4.9 fails to compile: hashtable_policy.h:1491:67: error: converting to Lib::STLAllocator<std::__detail::_Hash_node<std::pair<Kernel::Clause const, Lib::Stack<Kernel::Literal> >, true> > from initializer list would use explicit con

  948184 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/vampire-4.9 fails to compile: Hash.hpp:292:51: error: uintptr_t does not name a type [-Wtemplate-body]

  942341 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/vampire-4.9 fails to compile: Hash.hpp:291:11: error: instantiating erroneous template

  944752 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/vampire-4.9 fails tests: 3 - UnificationWithAbstraction (Failed)

  940574 - Assigned to Gentoo Science Mathematics related packages