diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 14:53:31 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-28 14:53:31 +0000 |
| commit | 20da8b8fe3f1d0c142a2589e90f6308f731e19e1 (patch) | |
| tree | 893aff4d70d15bcd821b0a6dacad76d2a01a62b8 /lib | |
| parent | c448d1c2923ac70bd9e8b51b789055cca6e9655c (diff) | |
| download | vericert-20da8b8fe3f1d0c142a2589e90f6308f731e19e1.tar.gz vericert-20da8b8fe3f1d0c142a2589e90f6308f731e19e1.zip | |
Use michalis branch for compcert
Diffstat (limited to 'lib')
| m--------- | lib/CompCert | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/CompCert b/lib/CompCert -Subproject 48a9dcbdc968bcf05b4eec17b8c7fd471fb8024 +Subproject c49caca4b5f0239b43610fbfe012d6ba0211b36 |