Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2025

• fix multiple bugs in ResolveAliases transform. (#2564)

  Show description for 89f2abe
  quentin

  authored
  89f2abe

  Copy full SHA for 89f2abe

Commits on Nov 13, 2025

• make mcpp optional for fedora builds (#2554)

  maweki

  authored
  8f44892

  Copy full SHA for 8f44892

Commits on Nov 6, 2025

• Fix PartitionBodyLiteralsTransformer with subsumptive clause (#2562)

  Show description for 8abf896
  quentin

  authored
  8abf896

  Copy full SHA for 8abf896

Commits on Sep 8, 2025

• Increase souffle stack size when built with MSVC (#2558)

  Show description for b37994d
  quentin

  authored
  b37994d

  Copy full SHA for b37994d

Commits on Jun 17, 2025

• CI: use windows-2025 (#2547)

  Show description for d6dfcb1
  quentin

  authored
  d6dfcb1

  Copy full SHA for d6dfcb1

• Limit application of SelingerProfileSipsMetric (#2546)

  Show description for c166170
  strRM

  authored
  c166170

  Copy full SHA for c166170

Commits on May 13, 2025

• chore: create fedora-42 package (#2543)

  quentin

  authored
  efa82ce

  Copy full SHA for efa82ce

Commits on May 8, 2025

• Do not use SelingerProfileSipsMetric if no profile available (#2517)

  Show description for dd17f5b
  strRM

  authored
  dd17f5b

  Copy full SHA for dd17f5b

Commits on May 7, 2025

• Merge pull request #2541 from Schlaubischlump/master

  Show description for 4d0dd31
  quentin

  authored
  4d0dd31

  Copy full SHA for 4d0dd31

• Merge pull request #2536 from quentin/chores

  Show description for 1ad1823
  quentin

  authored
  1ad1823

  Copy full SHA for 1ad1823

• Merge branch 'master' into chores

  quentin

  authored
  c10f28c

  Copy full SHA for c10f28c

• fix: replace copy assignment of atomic with store/load in Index (#2540)

  Show description for 73ebe78
  crackcomm

  authored
  73ebe78

  Copy full SHA for 73ebe78

Commits on May 6, 2025

• Fix name of InsertLatticeOperations.h

  Schlaubischlump

  authored
  6da1aac

  Copy full SHA for 6da1aac

Commits on Mar 30, 2025

• Fix segfault on malformed subproof commands (#2538)

  Show description for 94ccab0
  yonatan

  authored
  94ccab0

  Copy full SHA for 94ccab0

Commits on Mar 24, 2025

• chore: changelog for v2.5 (#2537)

  quentin

  authored
  5682a9f

  Copy full SHA for 5682a9f

Commits on Mar 12, 2025

• style: cleanup

  quentin

  committed
  7faf60e

  Copy full SHA for 7faf60e

• ci: check build with clang and ninja

  quentin

  committed
  25ef4de

  Copy full SHA for 25ef4de

• ci: use concurrency group in action workflows

  Show description for ea325a4
  quentin

  committed
  ea325a4

  Copy full SHA for ea325a4

• fix: regex works incorrectly when using -c option (#2534)

  Show description for 6456e43
  quentin

  authored
  6456e43

  Copy full SHA for 6456e43

• chore: move code style checks to Guidelines workflow (#2535)

  Show description for e582fc7
  quentin

  authored
  e582fc7

  Copy full SHA for e582fc7

Commits on Feb 11, 2025

• Subprocess.h: use vector instead of dynamically-sized VLA (#2529)

  katrinafyi

  authored
  8ed1d22

  Copy full SHA for 8ed1d22

Commits on Jan 27, 2025

• chore: releases should publish packages for newer linux distributions (#2526)

  Show description for 040a962
  quentin

  authored
  040a962

  Copy full SHA for 040a962

Commits on Jan 22, 2025

• Merge pull request #2525 from quentin/fixpopulatedependencies

  Show description for b6968fb
  quentin

  authored
  b6968fb

  Copy full SHA for b6968fb

• chore: align vcpkg version in `populate-deps.yml`

  Show description for 90c25fa
  quentin

  committed
  90c25fa

  Copy full SHA for 90c25fa

Commits on Jan 21, 2025

• Merge pull request #2524 from quentin/ubuntu24build

  Show description for ecfefac
  quentin

  authored
  ecfefac

  Copy full SHA for ecfefac

• chore: update `vcpk` baseline

  quentin

  committed
  ae87a22

  Copy full SHA for ae87a22

• fix: `cmake` is already installed on `windows` ci runner

  Show description for 565ca63
  quentin

  committed
  565ca63

  Copy full SHA for 565ca63

• fix: ignore `lcov` mismatch error in CI

  Show description for 1da2263
  quentin

  committed
  1da2263

  Copy full SHA for 1da2263

• fix: ubuntu 24 dependencies: `sqlite` -> `sqlite3`

  Show description for bfe9549
  quentin

  committed
  bfe9549

  Copy full SHA for bfe9549

Commits on Dec 9, 2024

• Add Support for Relations With Arity Up to 22 In Interpreter (#2518)

  cwarden

  authored
  f241dd3

  Copy full SHA for f241dd3

Commits on Dec 7, 2024

• chore: update CMake version for MSVC build (#2519)

  quentin

  authored
  4c89f73

  Copy full SHA for 4c89f73

Commits on Oct 22, 2024

• Merge pull request #2513 from quentin/macos12-deprecation

  Show description for 73edcf3
  julienhenry

  authored
  73edcf3

  Copy full SHA for 73edcf3

Commits on Oct 18, 2024

• chore: bump macos versions used in CI

  Show description for 30ec732
  quentin

  committed
  30ec732

  Copy full SHA for 30ec732

Commits on Sep 4, 2024

• fix: integer overflow in Complexity analysis (#2509)

  Show description for 437f280
  quentin

  authored
  437f280

  Copy full SHA for 437f280

Commits on Jul 3, 2024

• fix incorrect handling of ".include" in identifiers (#2498)

  Show description for e6cc668
  Mingtao521

  authored
  e6cc668

  Copy full SHA for e6cc668

Pagination

Previous

Next