fstar2: use KRML_EXE instead of KRML_HOME#276

Merged

tahina-pro merged 9 commits intoproject-everest:fstar2from

tahina-pro:_taramana_fstar2_krml

Apr 24, 2026

Commits on Apr 4, 2026

Merge branch 'fstar2' into _taramana_fstar2_krml
tahina-pro
authored

Commits on Apr 19, 2026

Commits on Apr 20, 2026

generate .depend.rsp more conventionally
tahina-pro
committed

Commits on Apr 22, 2026

Merge branch 'fstar2' of github.com:project-everest/everparse into _taramana_fstar2_krml
tahina-pro
committed