Comments (3)
HerbertJordan
commented on May 21, 2024
What version of clang are you using? OpenMP is only supported by clang since 3.8.
from souffle.
b-scholz
commented on May 21, 2024
I get following output:
clang version 3.5.0
Target: x86_64-apple-darwin15.3.0
Thread model: posix
typing clang-omp++ -v. I installed clang-omp by brew install clang-omp.
You are right - it might be a good point to double-check whether a new version of clang has no issues.
from souffle.
commented on May 21, 2024
brew deploys an initial version of the openmp project (around version 3.5) which seems to be buggy and make the Souffle's test-cases fail.
I rebuilt the latest version of clang++ 3.9 with the openmp project. The test-cases are passing.
I believe we need to wait until brew is upgrading clang-omp to a newer version or adding the omp project to the llvm brew package.
from souffle.
Related Issues (20)
- Registration may not run when using the C++ interface HOT 4
- Assertion failure on `Auto-Scheduling` HOT 1
- Programmatic provenance interactions
- User defined constraints HOT 1
- Weird "Ungrounded variable" error reporting HOT 4
- Ability To Project Records In Rules HOT 1
- `-t explain` has problems: Existing relationships were not discovered HOT 1
- Provenance gives `Tuple not found` result for imported facts with symbol type.
- Is there are other ways to control the number of relationships calculated, in addition to limitsize HOT 1
- Question about self join HOT 1
- ADTs with negation HOT 2
- Record types and SQLite output HOT 4
- Provenance displays incorrect facts in derivation tree for less-than relation
- Performance in interpreter mode HOT 2
- An exception unhandled in MainDriver.cpp HOT 4
- Assertion error in ast2ram: "variable not grounded" (functor example) HOT 2
- no conversion for stoi when parsing --jobs=auto (without OPENMP) HOT 4
- concurrency-related sporadic crashes on ARM architecture HOT 3
- Ungrounded record error when destructuring with don't-cares?
- Unexpected Assertion Error in Aggregation HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from souffle.