Skip to content

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

Open
Kieran-Hulsman wants to merge 1 commit into
model-checking:mainfrom
Kieran-Hulsman:kieran/ilog-challenge-proposal
Open

New challenge: Safety and correctness of integer logarithms#729
Kieran-Hulsman wants to merge 1 commit into
model-checking:mainfrom
Kieran-Hulsman:kieran/ilog-challenge-proposal

Commits

  1. Commits on Oct 15, 2026