Repository navigation

New challenge: Safety and correctness of integer logarithms - #729

Merged

feliperodri merged 4 commits into

model-checking:mainfrom

Kieran-Hulsman:kieran/ilog-challenge-proposal

Nov 7, 2026

Merged

New challenge: Safety and correctness of integer logarithms#729
feliperodri merged 4 commits into
model-checking:mainfrom
Kieran-Hulsman:kieran/ilog-challenge-proposal

Commits on Oct 15, 2026
- Propose safety and correctness verification of integer logarithms
  Kieran-Hulsman
  committed
  4ab985b
Commits on Nov 2, 2026
- Merge branch 'main' into kieran/ilog-challenge-proposal
  feliperodri
  authored
  0213c35
Commits on Nov 3, 2026
- Address review feedback on integer logarithm challenge
  Kieran-Hulsman
  committed
  7b08cc2
Commits on Nov 7, 2026
- unblocking merge with workflow fix
  feliperodri
  committed
  fc93787