Commits

Breadcrumbs

History for

onf-TestingAPIChanges

User selector

All users

All time

Commit History

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 Feb 7, 2025

• feat/conan2 (#744)

  Show description for 2c111b5
  

  jusito

  and

  fabianbs96

  authored
  2c111b5

  Copy full SHA for 2c111b5

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 Feb 25, 2024

• Implementing On-The-Fly Reporting (#701)

  Show description for 8a786ac
  

  3 peopleauthored
  8a786ac

  Copy full SHA for 8a786ac

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 16, 2023

• Merge branch 'development' into f-lcaSwift

  fabianbs96

  committed
  c1b22f3

  Copy full SHA for c1b22f3

• Rework Folder Structure (#574)

  Show description for 5230c1f
  

  fabianbs96

  and

  vulder

  authored
  5230c1f

  Copy full SHA for 5230c1f

Commits on Feb 15, 2023

• trying out swift in github actions

  janniclas

  committed
  af5e04d

  Copy full SHA for af5e04d

Commits on Jan 18, 2023

• Redesign JoinLattice (#560)

  Show description for 0013c3c
  

  fabianbs96

  and

  MMory

  authored
  0013c3c

  Copy full SHA for 0013c3c

Commits on Jan 17, 2023

• The fix (#570)

  fabianbs96

  authored
  af1a6b9

  Copy full SHA for af1a6b9

Commits on Dec 2, 2022

• Code Owners (#545)

  Show description for 48925a7
  fabianbs96

  authored
  48925a7

  Copy full SHA for 48925a7

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 Feb 25, 2022

• pre-commit

  fabianbs96

  committed
  5538c3a

  Copy full SHA for 5538c3a

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

• Enable all tests

  vulder

  committed
  3daab51

  Copy full SHA for 3daab51

• Try out clang-format-12 (matching phasar llvm version)

  vulder

  committed
  dee3586

  Copy full SHA for dee3586

• Add reviewdog with clang-format

  vulder

  committed
  d67577c

  Copy full SHA for d67577c