Skip to content

Pull requests: souffle-lang/souffle

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Third stage of clause translator refactoring.
#1784 by azreika was merged Dec 3, 2020 Loading…
Subsumption
#2106 by b-scholz was closed Nov 4, 2021 Draft
Index analysis refactor #1
#1781 by SamArch27 was merged Dec 3, 2020 Loading…
WIP: Cmake port
#1838 by TomasPuverle was closed Apr 15, 2021 Draft
Refactored Functors (The Refunctoring™)
#853 by azreika was merged Jan 30, 2019 Loading…
Auto-Scheduler for Soufflé
#2237 by SamArch27 was merged Apr 1, 2022 Loading…
Parallelise tests into chunks among workers
#2173 by brofranks was merged Jan 17, 2022 Loading…
Treat Null as n/a In SQLite Input
#2113 by cwarden was merged Nov 8, 2021 Loading…
Refactor directory/class structure
#1545 by mmcgr was merged Jul 27, 2020 Loading…
Fix #2163
#2167 by XiaowenHu96 was merged Jan 14, 2022 Loading…
Update README.md
#27 by b-scholz was merged Mar 23, 2016 Loading…
Fix incorrect handling of ".include" in identifiers
#2498 by Mingtao521 was merged Jul 3, 2024 Loading…
Travis ci mac os attempt
#14 by b-scholz was closed Mar 18, 2016 Loading…
Travis ci mac os attempt
#13 by b-scholz was closed Mar 18, 2016 Loading…
Update .travis.yml
#12 by b-scholz was closed Mar 18, 2016 Loading…
Travis configuration for Multi-OS to work
#11 by sinthetix was closed Mar 23, 2016 Loading…
Update .travis.yml
#6 by b-scholz was closed Mar 15, 2016 Loading…
Update .travis.yml
#5 by b-scholz was closed Mar 15, 2016 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.