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

Porting Souffle to MAC OS X / G++
#1 by b-scholz was merged Mar 12, 2016 Loading��
Fixed clang support
#2 by HerbertJordan was merged Mar 13, 2016 Loading…
header cmath was missing to use pow() function
#3 by souffle-lang was merged Mar 14, 2016 Loading…
Headerfile missing for the brew clang-omp build
#4 by b-scholz was merged Mar 15, 2016 Loading…
Update .travis.yml
#5 by b-scholz was closed Mar 15, 2016 Loading…
Update .travis.yml
#6 by b-scholz was closed Mar 15, 2016 Loading…
Limited the number of threads in parallel utils test.
#7 by HerbertJordan was merged Mar 15, 2016 Loading…
Update README.md for MAC OS X
#8 by b-scholz was merged Mar 16, 2016 Loading…
Update README.md
#9 by b-scholz was closed Mar 16, 2016 Loading…
Update .travis.yml
#12 by b-scholz was closed Mar 18, 2016 Loading…
Travis ci mac os attempt
#13 by b-scholz was closed Mar 18, 2016 Loading…
Travis ci mac os attempt
#14 by b-scholz was closed Mar 18, 2016 Loading…
Travis ci mac os attempt
#15 by b-scholz was closed Mar 19, 2016 Loading…
Travis ci mac os attempt
#16 by b-scholz was closed Mar 19, 2016 Loading…
Travis ci mac os attempt
#17 by b-scholz was closed Mar 19, 2016 Loading…
Travis ci mac os attempt
#18 by b-scholz was closed Mar 19, 2016 Loading…
Travis ci mac os attempt
#19 by b-scholz was closed Mar 19, 2016 Loading…
Travis ci mac os attempt
#20 by b-scholz was closed Mar 22, 2016 Loading…
Update README.md
#21 by b-scholz was merged Mar 20, 2016 Loading…
Travis ci mac os attempt
#26 by b-scholz was closed Mar 23, 2016 Loading…
Update README.md
#27 by b-scholz was merged Mar 23, 2016 Loading…
Add type declarations in components
#28 by b-scholz was closed Mar 31, 2016 Loading…
Packaging for debian
#31 by kavorobyov was merged Mar 30, 2016 Loading…
Added support for multiple headers in rules.
#34 by HerbertJordan was merged Mar 31, 2016 Loading…
Re-enabled Doxygen
#37 by b-scholz was closed Mar 31, 2016 Loading…
ProTip! no:milestone will show everything without a milestone.