Repository navigation

fix(macos): support Homebrew installs and find ctrace on PATH - #25

Merged

Arthurvroum merged 2 commits into

mainfrom

fix/macos-support

Oct 16, 2026

Merged

fix(macos): support Homebrew installs and find ctrace on PATH#25
Arthurvroum merged 2 commits into
mainfrom
fix/macos-support

Commits on Oct 16, 2026
- fix(macos): support Homebrew installs and find ctrace on PATH
  cedricroulof
  committed
  83262a5
- fix(macos): install IKOS via Homebrew and throttle release checks for PATH binary
  cedricroulof
  committed
  83b3dcf