Pulse · souffle-lang/souffle-lang.github.io · GitHub

April 16, 2025 – May 16, 2025

Overview

2 Active pull requests

2 Active issues
- 2 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 1 New issue

2 Pull requests merged by 2 people

Fix broken link to doop in applications.md
#166 merged May 7, 2025
Bump nokogiri from 1.18.4 to 1.18.8
#165 merged May 7, 2025

1 Issue closed by 1 person

Correct DOOP URL
#149 closed May 7, 2025

1 Issue opened by 1 person

Link to `Try it out` : plang1.cs.usyd.edu.au’s server IP address could not be found.
#167 opened May 13, 2025