-
Notifications
You must be signed in to change notification settings - Fork 211
Issues: souffle-lang/souffle
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
souffle provenance explainer crashes for explanations involving algebraic data types
#2521
opened Dec 12, 2024 by
kleaver
MacOS issue building with cmake (ld: library not found for -ld_classic)
compatibility
#2520
opened Dec 7, 2024 by
yusefmian
Variable names get trimmed to 1024 characters without proper warning
enhancement
#2504
opened Aug 5, 2024 by
DIvanov503
Test
syntactic/cpp_keywords_run_souffle
failing and others not run
question
#2503
opened Jul 28, 2024 by
MIvanchev
ADT Constructors' ordinal value is according to alphabetical order, not declaration order
documentation
question
#2499
opened Jul 22, 2024 by
AdiHarif
jni.h
not found when running with -s java
in Ubuntu
compatibility
question
#2496
opened Jun 26, 2024 by
DIvanov503
concurrency-related sporadic crashes on ARM architecture
bug - identified
Bugs with an identified cause
#2476
opened Mar 15, 2024 by
quentin
Assertion error in ast2ram: "variable not grounded" (functor example)
enhancement
#2474
opened Mar 8, 2024 by
aaronbembenek
Provenance displays incorrect facts in derivation tree for less-than relation
#2466
opened Jan 16, 2024 by
justinlubin
Provenance gives
Tuple not found
result for imported facts with symbol type.
#2441
opened Nov 21, 2023 by
zweiyi21
Assertion failure on Bugs with an identified cause
Auto-Scheduling
bug - identified
#2426
opened Jul 18, 2023 by
DerZc
Registration may not run when using the C++ interface
question
#2424
opened Jul 12, 2023 by
aDifferentJT
More information about the structure of ADTs in SQLITE output?
question
#2418
opened Jun 26, 2023 by
abcAndreas
Provenance gives
Relation not found
error for relations with record types.
enhancement
#2392
opened Jan 23, 2023 by
MarkMizzi
Insufficient checking on unground variable
bug - identified
Bugs with an identified cause
#2379
opened Dec 23, 2022 by
DerZc
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.