Issues
- 0
- 1
New hackage release?
#75 opened by emeinhardt - 1
Fix building of docs
#68 opened by luc-tielen - 0
Upgrade to text 2.0
#67 opened by luc-tielen - 0
- 0
- 1
Speed up CI by uploading OSX artifacts
#52 opened by luc-tielen - 7
Darwin nix build failure
#46 opened by dmjio - 4
Many warnings with GHC 8.10.2
#34 opened by sordina - 6
Cannot compile on OSX with souffle 2.0.2
#32 opened by DavideFauri - 6
error while building with nix
#28 opened by BrianHicks - 2
Stack needs .cabal files.
#30 opened by csabahruska - 3
`gcc' failed in phase `C Compiler'.
#17 opened by aaronguo1996 - 2
- 4
Compilation error of test suite on linux.
#5 opened by andorp - 1
API for multi-threaded Souffle execution
#1 opened by csabahruska