Commits

Breadcrumbs

History for

ondevelopment

User selector

All users

All time

Commit History

Commits on May 7, 2026

• LLVM 22 Compatibility (#828)

  Show description for 0f4c0bf
  fabianbs96

  authored
  0f4c0bf

  Copy full SHA for 0f4c0bf

Commits on Apr 21, 2026

• ICFG Integration (#829)

  Show description for 7b3aa57
  fabianbs96

  authored
  7b3aa57

  Copy full SHA for 7b3aa57

Commits on Apr 9, 2026

• Union-Find Alias Analyses (#820)

  Show description for 1ff3ac8
  

  3 peopleauthored
  1ff3ac8

  Copy full SHA for 1ff3ac8

Commits on Feb 2, 2026

• Concept Interfaces (#811)

  Show description for c4ca07a
  fabianbs96

  authored
  c4ca07a

  Copy full SHA for c4ca07a

Commits on Jan 4, 2026

• LLVM 17 Compatibility (#808)

  Show description for 70f1394
  fabianbs96

  authored
  70f1394

  Copy full SHA for 70f1394

Commits on Dec 15, 2025

• Update LLVM to 16 (#793)

  Show description for 6326dc9
  fabianbs96

  authored
  6326dc9

  Copy full SHA for 6326dc9

Commits on Dec 9, 2025

• Requiring C++20 (#800)

  Show description for eec9fbb
  

  fabianbs

  and

  fabianbs96

  authored
  eec9fbb

  Copy full SHA for eec9fbb

Commits on Dec 4, 2025

• Faster CI (#804)

  Show description for 24176aa
  mxHuber

  authored
  24176aa

  Copy full SHA for 24176aa

Commits on Nov 8, 2025

• added test coverage for ci (#792)

  Show description for 4e7aa00
  

  mxHuber

  and

  fabianbs96

  authored
  4e7aa00

  Copy full SHA for 4e7aa00

Commits on Oct 23, 2025

• Alias Iterator (#783)

  Show description for 17491f6
  fabianbs96

  authored
  17491f6

  Copy full SHA for 17491f6

Commits on Jun 30, 2025

• Example Programs (#774)

  Show description for e3908bd
  fabianbs96

  authored
  e3908bd

  Copy full SHA for e3908bd

Commits on May 28, 2025

• Improved Code Documentation (#771)

  Show description for ed7995a
  

  fabianbs96

  and

  mxHuber

  authored
  ed7995a

  Copy full SHA for ed7995a

Commits on Apr 4, 2025

• ci/update runner (#769)

  Show description for 28a25b7
  

  3 peopleauthored
  28a25b7

  Copy full SHA for 28a25b7

Commits on Mar 4, 2025

• ci: use arm runner instead of qemu (#754)

  Show description for f8cca83
  jusito

  authored
  f8cca83

  Copy full SHA for f8cca83

Commits on Mar 3, 2025

• Add z3 installation to dockerfile (#751)

  Show description for d12fadf
  

  fabianbs96

  and

  jusito-iem

  authored
  d12fadf

  Copy full SHA for d12fadf

Commits on Feb 20, 2025

• ci: arm segfault (#749)

  Show description for 74baa2a
  jusito

  authored
  74baa2a

  Copy full SHA for 74baa2a

Commits on Feb 11, 2025

• pinned ubuntu version to 20.04 (#746)

  janniclas

  authored
  234110f

  Copy full SHA for 234110f

Commits on Mar 25, 2024

• Fix debug-libdeps in CI (#706)

  Show description for 5c037c2
  fabianbs96

  authored
  5c037c2

  Copy full SHA for 5c037c2

Commits on Feb 29, 2024

• Fix DebugLibDeps (#699)

  Show description for fec44a5
  

  fabianbs96

  and

  MMory

  authored
  fec44a5

  Copy full SHA for fec44a5

Commits on Nov 27, 2023

• Path Tracing (#640)

  Show description for b07f56a
  

  4 peopleauthored
  b07f56a

  Copy full SHA for b07f56a

Commits on Oct 27, 2023

• Cleanup Build (#673)

  Show description for 9eda5e2
  fabianbs96

  authored
  9eda5e2

  Copy full SHA for 9eda5e2

Commits on Oct 9, 2023

• Pin swift version (#671)

  fabianbs96

  authored
  82a89f6

  Copy full SHA for 82a89f6

Commits on Feb 19, 2023

• add libclang-rt-14-dev to strategy deps

  

  Martin Mory

  committed
  14ef7e3

  Copy full SHA for 14ef7e3

• Revert CI workaround

  

  Martin Mory

  committed
  ec5c0af

  Copy full SHA for ec5c0af

Commits on Feb 15, 2023

• trying out swift in github actions

  janniclas

  committed
  af5e04d

  Copy full SHA for af5e04d

Commits on Jan 17, 2023

• The fix (#570)

  fabianbs96

  authored
  af1a6b9

  Copy full SHA for af1a6b9

Commits on Oct 26, 2022

• removed whitespaces in workflow. removed docker build on pr

  janniclas

  committed
  ebd8934

  Copy full SHA for ebd8934

Commits on Oct 23, 2022

• fixed dockerfile workflow

  janniclas

  committed
  17f5781

  Copy full SHA for 17f5781

• building a multi platform docker image for easier adoption on arm and amd platforms

  janniclas

  committed
  02ac37d

  Copy full SHA for 02ac37d

Commits on Oct 18, 2022

• removed whitespaces.

  Show description for da801b8
  janniclas

  committed
  da801b8

  Copy full SHA for da801b8

• publishing a docker image for development branch

  janniclas

  committed
  572183d

  Copy full SHA for 572183d

Commits on Jul 11, 2022

• update to LLVM-14

  pdschubert

  committed
  f6783d6

  Copy full SHA for f6783d6

Commits on Nov 3, 2021

• add LLVM 13 support

  

  Martin Mory

  committed
  d9922da

  Copy full SHA for d9922da

Commits on Nov 2, 2021

• Fix base ref

  vulder

  committed
  e92f578

  Copy full SHA for e92f578

• Add CI job to automatically run pre-commit on the diff to ensure all

  Show description for 51bcaf4
  vulder

  committed
  51bcaf4

  Copy full SHA for 51bcaf4