search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
913 stars 206 forks source link

Add 32 bit versions of MSVC intrinsics #2463

Closed Xazax-hun closed 9 months ago

Xazax-hun commented 9 months ago

In some cases, this is enough to make Souffle work on Windows on 32 bit machines.

codecov[bot] commented 9 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (9ac6b24) 78.18% compared to head (6fa70c5) 78.18%. Report is 2 commits behind head on master.

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/souffle-lang/souffle/pull/2463/graphs/tree.svg?width=650&height=150&src=pr&token=uyaWjuodpY&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang)](https://app.codecov.io/gh/souffle-lang/souffle/pull/2463?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang) ```diff @@ Coverage Diff @@ ## master #2463 +/- ## ======================================= Coverage 78.18% 78.18% ======================================= Files 486 486 Lines 32422 32422 ======================================= + Hits 25349 25350 +1 + Misses 7073 7072 -1 ``` | [Files](https://app.codecov.io/gh/souffle-lang/souffle/pull/2463?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang) | Coverage Δ | | |---|---|---| | [src/include/souffle/datastructure/PiggyList.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2463?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2luY2x1ZGUvc291ZmZsZS9kYXRhc3RydWN0dXJlL1BpZ2d5TGlzdC5o) | `100.00% <ø> (ø)` | | | [src/include/souffle/utility/MiscUtil.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2463?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2luY2x1ZGUvc291ZmZsZS91dGlsaXR5L01pc2NVdGlsLmg=) | `82.85% <ø> (ø)` | | ... and [2 files with indirect coverage changes](https://app.codecov.io/gh/souffle-lang/souffle/pull/2463/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang)