Merge pull request #82 from CertiCoq/joom/include-fix

Get runtime after the latest CertiGraph changes
CertiCoq · Nov 21, 2023 · 706ef73 · 706ef73
2 parents dc8a4c2 + 4720f8c
commit 706ef73
Show file tree

Hide file tree

Showing 18 changed files with 105 additions and 2,671 deletions.
diff --git a/bootstrap/certicoqc/config.h b/bootstrap/certicoqc/config.h
diff --git a/bootstrap/certicoqc/gc.h b/bootstrap/certicoqc/gc.h