COMMITS
July 13, 2026
Q
Update vcpkg Git commit ID in CI workflow (#2593)
Quentin Sabah committed
July 12, 2026
J
Fix provenance explanations for multiple constraints (#2585)
jjjxia committed
J
Fix least-free-vars SIPS metric (#2587)
jjjxia committed
July 7, 2026
M
Merge pull request #2592 from mmcgr/osx
Martin McGrane committed
S
fix(debian/control): add missing build dependencies (#2582)
Sebastian Humenda committed
M
Update CI to work with new images (#2591)
Martin McGrane committed
June 30, 2026
M
Handle AppleClang + OpenMP
Martin McGrane committed
June 24, 2026
M
Only use ld_classic with 15 <= Xcode < 26
Martin McGrane committed
June 22, 2026
M
de-duplicate rpaths
Martin McGrane committed
M
un-deprecate cmake + sqlite3
Martin McGrane committed
June 17, 2026
M
Un-deprecate iterators
Martin McGrane committed
June 27, 2026
M
Stop installing already installed ninja
Martin McGrane committed
M
checkout@v4 -> @v7 straggler
Martin McGrane committed
M
Update artifact scripts
Martin McGrane committed
June 26, 2026
M
VSCode 2022 -> 2026
Martin McGrane committed
May 4, 2026
J
Merge pull request #2580 from quentin/fix-windows-build
Julien Henry committed
May 2, 2026
Q
Disable vcpkg binary caching
Quentin Sabah committed
A
Fix SWIG bindings SEGFAULT when .dl filename contains hyphens (#2573)
Alvaro Frias committed
March 29, 2026
Q
tests: remove _Pragma from cpp keyword syntactic test (#2577)
Quentin Sabah committed
December 10, 2025
Q
chore: create fedora-43 package (#2566)
Quentin Sabah committed
J
Merge pull request #2570 from quentin/ci-macos-15
Julien Henry committed
J
Merge pull request #2569 from souffle-lang/ground_typecast
Julien Henry committed
Q
chore: update Intel MacOS image to `macos-15-intel`
Quentin Sabah committed
December 9, 2025
J
Fix Groundness analysis in presence of TypeCast
Julien Henry committed
December 7, 2025
Q
fix: wrong handling of subsumptive clauses in magic transformers (#2567)
Quentin Sabah committed
November 15, 2025
Q
fix multiple bugs in ResolveAliases transform. (#2564)
Quentin Sabah committed
November 13, 2025
M
make mcpp optional for fedora builds (#2554)
Mario Wenzel committed
November 6, 2025
Q
Fix PartitionBodyLiteralsTransformer with subsumptive clause (#2562)
Quentin Sabah committed
September 8, 2025
Q
Increase souffle stack size when built with MSVC (#2558)
Quentin Sabah committed
June 17, 2025
Q
CI: use windows-2025 (#2547)
Quentin Sabah committed