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

Misc Refactoring/Improvements #387

Merged
merged 15 commits into from May 25, 2017
Merged

Misc Refactoring/Improvements #387

merged 15 commits into from May 25, 2017

Conversation

ghost
Copy link

@ghost ghost commented May 25, 2017

This pull request bundles a bunch of very small changes, each too minor to justify its own pull request but taken as a whole too major to simply bundle with another.

They include:

  • souffle-sh now includes a command to format with clang
  • tabs have been replaced by four spaces
  • fixes for certain misspelled words
  • drop statements have been added to the ram program after stores, to free memory earlier in the case of lots of stores
  • signed ints in PrecedenceGraph have been replaced by unsigned (the use of signed/unsiged here was previously inconsistent and unnecessary)
  • removed now obsolete methods from RamStatements.h, as the IO system has handled their functionality for a while now
  • a test has been added for issue Aggregate Semantic Check Missing #128, which can be uncommented in evaluation.at when that is solved (I've posted a comment on the relevant issue giving instructions to do this)
  • added some nice utility methods in GraphUtils and PrecedenceGraph for design reasons

@ghost ghost mentioned this pull request May 25, 2017
@mmcgr
Copy link
Member

mmcgr commented May 25, 2017

This is going to fail the style tests for several files. clang-format changed behaviour between 3.8 and 3.9 (I think you could call it a bugfix) It looks like you're using clang-format-4.0 or so, but the check uses 3.8.

I suggest you remove all the files where you are only changing style. They can be updated when the style checker is updated. That will be done when it looks like clang-format-3.9+ is more common.

@ghost
Copy link
Author

ghost commented May 25, 2017

Ahh, ok. Thank you, that probably just saved me an evening of torture. I'll fix it up and push the changes.


public:
static constexpr const char* name = "scc-graph";

void run(const AstTranslationUnit& translationUnit) override;

int getSCCForRelation(const AstRelation* relation) {
return nodeToSCC[relation];
const unsigned getSCCForRelation(const AstRelation* relation) const {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Do these non-reference returns really need to return a const?

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No there is no reason for them to do that and I shall change it back.

@mmcgr mmcgr merged commit 71f8f66 into souffle-lang:master May 25, 2017
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.

None yet

1 participant