Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
vampire
The Vampire Prover, theorem prover for first-order logic
https://vprover.github.io/
Overview
Dependencies
QA report
Pull requests
0
Bugs
5
Security
0
Changelog
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
Description
Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
File a new Bug
Confirm a bug
Participate in our monthly Bugday
Shortcuts
Packages Bugs (5)
Stabilization Bugs (0)
Keywording Bugs (0)