Repository navigation

Commits

Commits on Jul 13, 2026
- Update vcpkg Git commit ID in CI workflow (#2593)
  quentin
  authored
  a1303be
Commits on May 2, 2026
- Disable vcpkg binary caching
  quentin
  committed
  761f6d4
Commits on Mar 29, 2026
- tests: remove _Pragma from cpp keyword syntactic test (#2577)
  quentin
  authored
  c94bc58
Commits on Dec 10, 2025
- chore: create fedora-43 package (#2566)
  quentin
  authored
  2eefd33
- chore: update Intel MacOS image to `macos-15-intel`
  quentin
  committed
  3712630
Commits on Dec 7, 2025
- fix: wrong handling of subsumptive clauses in magic transformers (#2567)
  quentin
  authored
  7bb8e64
Commits on Nov 15, 2025
- fix multiple bugs in ResolveAliases transform. (#2564)
  quentin
  authored
  89f2abe
Commits on Nov 6, 2025
- Fix PartitionBodyLiteralsTransformer with subsumptive clause (#2562)
  quentin
  authored
  8abf896
Commits on Sep 8, 2025
- Increase souffle stack size when built with MSVC (#2558)
  quentin
  authored
  b37994d
Commits on Jun 17, 2025
- CI: use windows-2025 (#2547)
  quentin
  authored
  d6dfcb1
Commits on May 13, 2025
- chore: create fedora-42 package (#2543)
  quentin
  authored
  efa82ce
Commits on May 7, 2025
- Merge pull request #2541 from Schlaubischlump/master
  quentin
  authored
  4d0dd31
- Merge pull request #2536 from quentin/chores
  quentin
  authored
  1ad1823
- Merge branch 'master' into chores
  quentin
  authored
  c10f28c
Commits on Mar 24, 2025
- chore: changelog for v2.5 (#2537)
  quentin
  authored
  5682a9f
Commits on Mar 12, 2025
- style: cleanup
  quentin
  committed
  7faf60e
- ci: check build with clang and ninja
  quentin
  committed
  25ef4de
- ci: use concurrency group in action workflows
  quentin
  committed
  ea325a4
- fix: regex works incorrectly when using -c option (#2534)
  quentin
  authored
  6456e43
- chore: move code style checks to Guidelines workflow (#2535)
  quentin
  authored
  e582fc7
Commits on Jan 27, 2025
- chore: releases should publish packages for newer linux distributions (#2526)
  quentin
  authored
  040a962
Commits on Jan 22, 2025
- Merge pull request #2525 from quentin/fixpopulatedependencies
  quentin
  authored
  b6968fb
- chore: align vcpkg version in `populate-deps.yml`
  quentin
  committed
  90c25fa
Commits on Jan 21, 2025
- Merge pull request #2524 from quentin/ubuntu24build
  quentin
  authored
  ecfefac
- chore: update `vcpk` baseline
  quentin
  committed
  ae87a22
- fix: `cmake` is already installed on `windows` ci runner
  quentin
  committed
  565ca63
- fix: ignore `lcov` mismatch error in CI
  quentin
  committed
  1da2263
- fix: ubuntu 24 dependencies: `sqlite` -> `sqlite3`
  quentin
  committed
  bfe9549
Commits on Dec 7, 2024
- chore: update CMake version for MSVC build (#2519)
  quentin
  authored
  4c89f73
Commits on Oct 18, 2024
- chore: bump macos versions used in CI
  quentin
  committed
  30ec732
Commits on Sep 4, 2024
- fix: integer overflow in Complexity analysis (#2509)
  quentin
  authored
  437f280
Commits on Jun 26, 2024
- make interpreter's Conjunction a Compound node (#2459)
  quentin
  authored
  b82ae20
- robustify the debug and error reports (#2495)
  quentin
  authored
  49f511d
Commits on Jun 11, 2024
- Merge pull request #2494 from quentin/manyfixes
  quentin
  authored
  b7a5354
- remove trailing semicolon
  quentin
  committed
  56b69fa

Branch selector

User selector

Datepicker

Commit history

Commits on Jul 13, 2026

Commits on May 2, 2026

Commits on Mar 29, 2026

Commits on Dec 10, 2025

Commits on Dec 7, 2025

Commits on Nov 15, 2025

Commits on Nov 6, 2025

Commits on Sep 8, 2025

Commits on Jun 17, 2025

Commits on May 13, 2025

Commits on May 7, 2025

Commits on Mar 24, 2025

Commits on Mar 12, 2025

Commits on Jan 27, 2025

Commits on Jan 22, 2025

Commits on Jan 21, 2025

Commits on Dec 7, 2024

Commits on Oct 18, 2024

Commits on Sep 4, 2024

Commits on Jun 26, 2024

Commits on Jun 11, 2024