Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Index analysis refactor #1 #1781

Merged
merged 11 commits into from
Dec 3, 2020

Conversation

SamArch27
Copy link
Collaborator

This is the first in a series of pull requests to refactor the index analysis code.

In this PR we make the MinIndexSelection class internal to the IndexAnalysis. Therefore, all consumers of MinIndexSelection now depend on the IndexAnalysis instead which calls the corresponding methods on the MinIndexSelection class.

@b-scholz

@souffle-lang-bot
Copy link
Collaborator

Can one of the admins verify this patch for jenkins?

b-scholz
b-scholz previously approved these changes Dec 1, 2020
@b-scholz
Copy link
Member

b-scholz commented Dec 1, 2020

The source tests do not work. Can you fix this? You can check this by typing make check in the src directory.

@codecov
Copy link

codecov bot commented Dec 1, 2020

Codecov Report

Merging #1781 (c8660c5) into master (bbe7516) will increase coverage by 0.00%.
The diff coverage is 100.00%.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1781   +/-   ##
=======================================
  Coverage   80.57%   80.57%           
=======================================
  Files         398      398           
  Lines       25128    25137    +9     
=======================================
+ Hits        20246    20255    +9     
  Misses       4882     4882           
Flag Coverage Δ
full ?

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
src/interpreter/ProvenanceIndex.cpp 66.66% <ø> (ø)
src/interpreter/BTreeIndex.cpp 66.66% <100.00%> (ø)
src/interpreter/Engine.cpp 89.59% <100.00%> (-0.02%) ⬇️
src/interpreter/EqrelIndex.cpp 100.00% <100.00%> (ø)
src/interpreter/Generator.cpp 97.32% <100.00%> (-0.01%) ⬇️
src/interpreter/Relation.h 89.47% <100.00%> (+0.11%) ⬆️
src/ram/analysis/Index.cpp 96.25% <100.00%> (+0.01%) ⬆️
src/ram/analysis/Index.h 95.55% <100.00%> (-0.65%) ⬇️
src/ram/transform/IndexedInequality.cpp 85.05% <100.00%> (ø)
src/synthesiser/Relation.cpp 98.29% <100.00%> (ø)
... and 8 more

@mmcgr
Copy link
Member

mmcgr commented Dec 2, 2020

Jenkins, test this please

@b-scholz b-scholz merged commit c6dc9dc into souffle-lang:master Dec 3, 2020
@SamArch27 SamArch27 mentioned this pull request Dec 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants