cross-platform I/Q Makefile#233

Open

edoput wants to merge 4 commits into

awslabs:mainfrom

Commits on Jun 4, 2026

cross-platform makefile

Edoardo Putti
authored and
hanno-becker
committed
track isabelle binary

Edoardo Putti
authored and
hanno-becker
committed
[fix] use ISABELLE_BIN in place of ISABELLE/bin/isabelle everywhere

Edoardo Putti
authored and
hanno-becker
committed
[fix] assert ISABELLE_BIN is a command

Edoardo Putti
authored and
hanno-becker
committed