souffle-lang/souffle

Issues

• An exception unhandled in MainDriver.cpp

  #2470 opened 9 months ago by Mz1z
  4

• Discriminants/variant numbers are checked too late, causing assertion violations in user-defined functor

  #2508 opened 3 months ago by markusscherer
  2

• Aggregate filtering on own facts/rules

  #2507 opened 3 months ago by rogersm
  2

• Stateful functors sometimes crash on souffle with a 64bit wordsize, work correctly for a 32bit wordsize

  #2506 opened 3 months ago by sifislag
  8

• Souffle doesn't build for x86 because of `ParallelUtil.h:649:68: error: requested alignment '96' is not a positive power of 2`

  #2502 opened 3 months ago by MIvanchev
  12

• Variable names get trimmed to 1024 characters without proper warning

  #2504 opened 4 months ago by DIvanov503
  3

• Fedora RPM not available as documented

  #2505 opened 3 months ago by vorburger
  1

• Test `syntactic/cpp_keywords_run_souffle` failing and others not run

  #2503 opened 4 months ago by MIvanchev
  1

• `--parse-errors` executes the given Datalog file

  #2501 opened 4 months ago by iliastsa
  3

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

  #2499 opened 4 months ago by AdiHarif
  2

• Incorrect Handling of ".include" in Identifiers in Souffle Parser

  #2497 opened 5 months ago by Mingtao521
  2

• `jni.h` not found when running with `-s java` in Ubuntu

  #2496 opened 5 months ago by DIvanov503
  0

• Build error on Fedora 40 for Souffle 2.2

  #2490 opened 5 months ago by tchoutri
  8

• Unexpected Assertion Error in Aggregation

  #2486 opened 7 months ago by ryokoCL
  1

• Ungrounded record error when destructuring with don't-cares?

  #2482 opened 8 months ago by quentin
  0

• Assertion error in ast2ram: "variable not grounded" (functor example)

  #2474 opened 8 months ago by aaronbembenek
  2

• Question about self join

  #2447 opened 8 months ago by StarGazerM
  1

• concurrency-related sporadic crashes on ARM architecture

  #2476 opened 8 months ago by quentin
  3

• no conversion for stoi when parsing --jobs=auto (without OPENMP)

  #2475 opened 8 months ago by christopher-tilt-str
  4

• Performance in interpreter mode

  #2468 opened 10 months ago by jsjzgy
  2

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

  #2466 opened 10 months ago by justinlubin
  0

• Record types and SQLite output

  #2457 opened a year ago by cd1m0
  4

• Segmentation fault caused by unconstrained count disjunction

  #2416 opened a year ago by ChillMagic
  1

• Insufficient checking on unground variable

  #2379 opened 2 years ago by DerZc
  1

• Assertion failure on `Auto-Scheduling`

  #2426 opened a year ago by DerZc
  1

• Is there are other ways to control the number of relationships calculated, in addition to limitsize

  #2444 opened a year ago by fe1w0
  1

• Ability To Project Records In Rules

  #2436 opened a year ago by chrisnevers
  1

• ADTs with negation

  #2448 opened a year ago by gilbert
  2

• Provenance gives `Tuple not found` result for imported facts with symbol type.

  #2441 opened a year ago by zweiyi21
  0

• Weird "Ungrounded variable" error reporting

  #2435 opened a year ago by butterunderflow
  4

• `-t explain` has problems: Existing relationships were not discovered

  #2437 opened a year ago by fe1w0
  1

• SQLite reader silently replaces empty strings with "n/a"

  #2411 opened a year ago by dbueno
  1

• User defined constraints

  #2430 opened a year ago by AdiHarif
  1

• Registration may not run when using the C++ interface

  #2424 opened a year ago by aDifferentJT
  4

• Programmatic provenance interactions

  #2429 opened a year ago by d0rata
  0

• More information about the structure of ADTs in SQLITE output?

  #2418 opened a year ago by abcAndreas
  0

• Parser: address boundary error

  #2408 opened a year ago by ceclin
  2

• UNKNOWN Version

  #2413 opened a year ago by 1396510211
  2

• Compilation error in Mac

  #2404 opened 2 years ago by siscia
  2

• Souffle 2.4 release?

  #2393 opened 2 years ago by aeflores
  4

• Unexpected type error when aliasing record type

  #2398 opened 2 years ago by Gueckmooh
  0

• Provenance gives `Relation not found` error for relations with record types.

  #2392 opened 2 years ago by MarkMizzi
  1

• A problem about souffle-2.3？

  #2395 opened 2 years ago by lwy0518
  2

• Race condition suppresses helpful parse error messages

  #2386 opened 2 years ago by adamjseitz
  1

• 64-bit values for 32-bit RAM_DOMAIN?

  #2389 opened 2 years ago by ruricolist
  4

• Maybe there is a clerical error in official doc.

  #2391 opened 2 years ago by fynch3r
  1

• `eqrel` doesn't work well with provenance

  #2385 opened 2 years ago by DerZc
  0

• Build on Linux failed: filesystem: No such file or director

  #2390 opened 2 years ago by veronica320
  3

• A problem about subsumption.

  #2382 opened 2 years ago by DerZc
  0

• `magic` causes different result

  #2375 opened 2 years ago by DerZc
  0