souffle icon indicating copy to clipboard operation
souffle copied to clipboard

Published 20 hours ago • verified publisher icon souffle-lang

Update Documentation

Open b-scholz opened this issue 2 years ago • 2 comments

We added new features to Souffle. We need to check whether these new features are adequately reflected in the documentation:

  • [ ] Scheduling (new scheduling heuristic / auto-scheduling)
  • [ ] Extensions of Souffle's component system are reflected in the documentation
  • [ ] Alias for records
  • [ ] Include directives
  • [ ] Optional libffi
  • [ ] Subsumption

b-scholz avatar May 14 '22 12:05 b-scholz

Hi Bernhard, Regarding optional libffi, I revamped the Build page: https://github.com/souffle-lang/souffle-lang.github.io/pull/112

quentin avatar May 18 '22 07:05 quentin

Wonderful! I will look after subsumption. I have started with it (rail diagrams etc.).

b-scholz avatar May 18 '22 22:05 b-scholz