Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / luc-tielen/souffle-haskell issues and pull requests

#77 - Support GHC 9.6 in CI

Pull Request - State: closed - Opened by tchoutri 10 months ago - 1 comment

#75 - New hackage release?

Issue - State: closed - Opened by emeinhardt about 1 year ago - 1 comment

#74 - Add support for building with GHC 9.6.2

Pull Request - State: closed - Opened by kpadmasola about 1 year ago

#73 - Add missing imports

Pull Request - State: closed - Opened by TristanCacqueray over 1 year ago - 3 comments

#72 - fix for permission denied error during git submodule update

Pull Request - State: closed - Opened by kpadmasola over 1 year ago - 1 comment

#71 - Support for building with ghc-9.4.4

Pull Request - State: closed - Opened by kpadmasola over 1 year ago - 1 comment

#70 - Remove nix setup

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#69 - Upgrade to text2.0

Pull Request - State: closed - Opened by luc-tielen over 1 year ago

#68 - Fix building of docs

Issue - State: closed - Opened by luc-tielen about 2 years ago - 1 comment

#67 - Upgrade to text 2.0

Issue - State: open - Opened by luc-tielen over 2 years ago

#66 - WIP: nix/ghc: add support for 902+922

Pull Request - State: closed - Opened by smunix over 2 years ago - 2 comments

#65 - Support Souffle 2.3

Pull Request - State: closed - Opened by luc-tielen over 2 years ago

#64 - Relaxed serialization constraints

Pull Request - State: closed - Opened by luc-tielen over 2 years ago

#63 - ghc: bump 921 -> 922

Pull Request - State: closed - Opened by smunix over 2 years ago - 1 comment

#61 - ghc: bump 902 -> 921

Pull Request - State: closed - Opened by smunix over 2 years ago

#60 - Bump ghc version

Pull Request - State: closed - Opened by luc-tielen over 2 years ago

#59 - fix haskell packages overlay

Pull Request - State: closed - Opened by smunix over 2 years ago - 1 comment

#58 - New DerivingVia API

Pull Request - State: closed - Opened by luc-tielen over 2 years ago

#57 - Add souffle-haskell to haskellPackages in flake.nix overlay

Issue - State: closed - Opened by luc-tielen over 2 years ago

#56 - fix devshell + macosx builds

Pull Request - State: closed - Opened by smunix over 2 years ago - 1 comment

#55 - Support souffle 2.2

Pull Request - State: closed - Opened by luc-tielen over 2 years ago

#54 - Composing analyses

Pull Request - State: closed - Opened by luc-tielen almost 3 years ago

#53 - gh-action: add GITHUB_TOKEN

Pull Request - State: closed - Opened by smunix almost 3 years ago

#52 - Speed up CI by uploading OSX artifacts

Issue - State: open - Opened by luc-tielen almost 3 years ago - 1 comment

#51 - gh-action: use luctielen cachix

Pull Request - State: closed - Opened by smunix almost 3 years ago - 1 comment

#50 - fix.macosx: add support for build on macos

Pull Request - State: closed - Opened by smunix almost 3 years ago

#49 - gh-actions: initial setup

Pull Request - State: closed - Opened by smunix almost 3 years ago - 2 comments

#48 - support for nix flake builds

Pull Request - State: closed - Opened by smunix almost 3 years ago

#47 - Update souffle version to 2.1

Pull Request - State: closed - Opened by luc-tielen about 3 years ago

#46 - Darwin nix build failure

Issue - State: closed - Opened by dmjio over 3 years ago - 7 comments

#45 - Fix bug with certain asserts

Pull Request - State: closed - Opened by luc-tielen over 3 years ago

#44 - Add hspec-discover to testsuite build-tool-depends

Pull Request - State: closed - Opened by luc-tielen over 3 years ago - 1 comment

#43 - Reuse bytearrays

Pull Request - State: closed - Opened by luc-tielen over 3 years ago

#42 - Add more marshalling tests

Pull Request - State: closed - Opened by luc-tielen over 3 years ago

#41 - Move DSL to separate package

Pull Request - State: closed - Opened by luc-tielen over 3 years ago

#40 - Optimize data transfer between Haskell & C++

Pull Request - State: closed - Opened by luc-tielen over 3 years ago

#39 - Update nix env

Pull Request - State: closed - Opened by luc-tielen over 3 years ago

#38 - Add role annotations

Pull Request - State: closed - Opened by luc-tielen over 3 years ago

#37 - Async exception safety

Pull Request - State: closed - Opened by luc-tielen almost 4 years ago

#36 - Proof of concept for higher-order DSL API

Pull Request - State: open - Opened by gergoerdi almost 4 years ago - 2 comments

#35 - Fixing TypeFamilyDependencies error and some warnings

Pull Request - State: closed - Opened by sordina almost 4 years ago - 1 comment

#34 - Many warnings with GHC 8.10.2

Issue - State: closed - Opened by sordina almost 4 years ago - 4 comments

#33 - Support souffle 2.0.2

Pull Request - State: closed - Opened by luc-tielen about 4 years ago

#32 - Cannot compile on OSX with souffle 2.0.2

Issue - State: closed - Opened by DavideFauri about 4 years ago - 6 comments

#31 - Remove cabal file from .gitignore

Pull Request - State: closed - Opened by luc-tielen about 4 years ago

#30 - Stack needs .cabal files.

Issue - State: closed - Opened by csabahruska about 4 years ago - 2 comments

#29 - Fix C++ and Nix build errors

Pull Request - State: closed - Opened by luc-tielen about 4 years ago

#28 - error while building with nix

Issue - State: closed - Opened by BrianHicks about 4 years ago - 6 comments

#27 - Remove CPP options, support GHC8.10

Pull Request - State: closed - Opened by luc-tielen about 4 years ago

#26 - Bump Souffle version

Pull Request - State: closed - Opened by luc-tielen about 4 years ago

#25 - Extra fact options

Pull Request - State: closed - Opened by luc-tielen about 4 years ago

#24 - Automatic interpreter cleanup

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#23 - Direction handling

Pull Request - State: closed - Opened by luc-tielen over 4 years ago
Labels: enhancement

#22 - Add embedded DSL for generating Souffle code

Pull Request - State: closed - Opened by luc-tielen over 4 years ago
Labels: enhancement

#21 - Add support for floats

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#20 - Add support for unsigned primitives

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#19 - getFacts: add support for arrays

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#18 - Make Haskell libraries using souffle self-contained

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#17 - `gcc' failed in phase `C Compiler'.

Issue - State: closed - Opened by aaronguo1996 over 4 years ago - 3 comments

#16 - Use souffle 2.0.0

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#15 - Make Haskell libraries using souffle self-contained

Pull Request - State: closed - Opened by luc-tielen over 4 years ago - 1 comment

#14 - Print all fix

Pull Request - State: closed - Opened by csabahruska over 4 years ago

#13 - New way of embedding C++ Souffle code in Haskell application

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#12 - Improving interpreter configuration and feedback.

Pull Request - State: closed - Opened by andorp over 4 years ago - 1 comment

#11 - Include Souffle headers + fix writeAll API

Pull Request - State: closed - Opened by csabahruska over 4 years ago - 6 comments

#10 - Optimize marshalling

Pull Request - State: closed - Opened by luc-tielen over 4 years ago
Labels: enhancement

#9 - Fix/auto derive marshal for large records

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#8 - Trim dependencies

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#7 - Sketch of souffle interpreter module.

Pull Request - State: closed - Opened by andorp over 4 years ago - 3 comments

#6 - Ci

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#5 - Compilation error of test suite on linux.

Issue - State: closed - Opened by andorp over 4 years ago - 4 comments

#4 - Nix: fix issue with missing patch for hedgehog

Pull Request - State: closed - Opened by luc-tielen over 4 years ago

#3 - User Defined Souffle functions in Haskell

Issue - State: closed - Opened by samirsa-csco almost 5 years ago - 2 comments

#2 - Feature/expose souffle multithreading api

Pull Request - State: closed - Opened by luc-tielen almost 5 years ago

#1 - API for multi-threaded Souffle execution

Issue - State: closed - Opened by csabahruska almost 5 years ago - 1 comment