Repository navigation

Add CASCompCert as a submodule to VST. - #872

Closed

dkxb wants to merge 8 commits into

PrincetonUniversity:vst_on_irisfrom

dkxb:vst_on_iris

Closed

Add CASCompCert as a submodule to VST.#872
dkxb wants to merge 8 commits into
PrincetonUniversity:vst_on_irisfrom
dkxb:vst_on_iris

Commits on Oct 22, 2026
- update cascompcert
  dkxb
  committed
  d164a0d
- support "make atomic_machine/ClightAM_DRF.vo"
  dkxb
  committed
  c6761ec
- update cascompcert
  dkxb
  committed
  a04c498
- reorganize clight_am files
  dkxb
  committed
  aac6762
- makefile now updates .depend when a .v file is modified, added or deleted
  dkxb
  committed
  c1115c1
- remove redundant .vo rules
  dkxb
  committed
  6e6edaa
- remove redundant .vo rules
  dkxb
  committed
  512b7dc
- update cascompcert version
  dkxb
  committed
  14e5884