diff options
| author | James Pollard <james@pollard.dev> | 2020-06-18 17:47:21 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-06-18 17:47:21 +0100 |
| commit | b59a2e2913aa7ad010c0652e909ae790c07c7281 (patch) | |
| tree | 0942c72c352dbf73e7d63190ea04c7d7b668d9e8 /src/verilog | |
| parent | 6b20fbbeaad23724ca7fbcc10c9445f5cb94b699 (diff) | |
| download | vericert-kvx-b59a2e2913aa7ad010c0652e909ae790c07c7281.tar.gz vericert-kvx-b59a2e2913aa7ad010c0652e909ae790c07c7281.zip | |
Enforce stack size alignment to fix proof.
Diffstat (limited to 'src/verilog')
0 files changed, 0 insertions, 0 deletions