Search results

the magic set may lead to negative optimization

Status: Open.

#2572 In souffle-lang/souffle;

· Raindragon-abc opened on Jan 9, 2026

unfavorable reordering leads to warning or error

question

Status: Open.

#2549 In souffle-lang/souffle;

· maweki opened on Jun 18, 2025

SWIG python bindings SEGFAULT if name of <code>.dl</code> file contains <code>-</code>

bug - identifiedBugs with an identified causeBugs with an identified cause

Status: Open.

Bug

#2533 In souffle-lang/souffle;

· mschwaig opened on Feb 26, 2025

Printing of IO Directives with Records is broken

enhancement

Status: Open.

#2531 In souffle-lang/souffle;

· cd1m0 opened on Feb 14, 2025

souffle provenance explainer crashes for explanations involving algebraic data types

bug - identifiedBugs with an identified causeBugs with an identified cause

enhancement

Status: Open.

Bug

#2521 In souffle-lang/souffle;

· kleaver opened on Dec 12, 2024

Variable names get trimmed to 1024 characters without proper warning

enhancement

Status: Open.

#2504 In souffle-lang/souffle;

· DIvanov503 opened on Aug 5, 2024

Test <code>syntactic/cpp_keywords_run_souffle</code> failing and others not run

question

Status: Open.

#2503 In souffle-lang/souffle;

· MIvanchev opened on Jul 28, 2024

ADT Constructors' ordinal value is according to alphabetical order, not declaration order

documentation

question

Status: Open.

#2499 In souffle-lang/souffle;

· AdiHarif opened on Jul 22, 2024

<code>jni.h</code> not found when running with <code>-s java</code> in Ubuntu

compatibility

question

Status: Open.

#2496 In souffle-lang/souffle;

· DIvanov503 opened on Jun 26, 2024

concurrency-related sporadic crashes on ARM architecture

bug - identifiedBugs with an identified causeBugs with an identified cause

Status: Open.

#2476 In souffle-lang/souffle;

· quentin opened on Mar 15, 2024

ADT and record values returned by a user-defined functor cannot get destructed into sub-parts

enhancement

Status: Open.

#2474 In souffle-lang/souffle;

· aaronbembenek opened on Mar 8, 2024

Provenance displays incorrect facts in derivation tree for less-than relation

bug - triageBugs with unknown causes that require further investigationBugs with unknown causes that require further investigation

Status: Open.

#2466 In souffle-lang/souffle;

· justinlubin opened on Jan 16, 2024