diff options
| author | alanminko <37236958+alanminko@users.noreply.github.com> | 2021-08-19 09:51:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-19 09:51:25 -0700 |
| commit | 3b4a4481a13444f7e427d6b04b5083921ea15a95 (patch) | |
| tree | 6b0214cf41def9d6ff8e9e488c15b1e3c6894d74 /src/proof/int2 | |
| parent | 0fc13478b80d2fe94fb105375b080ba0a53f6745 (diff) | |
| parent | c312e416017f4abf856a184279f5ce3a7198601a (diff) | |
| download | abc-3b4a4481a13444f7e427d6b04b5083921ea15a95.tar.gz abc-3b4a4481a13444f7e427d6b04b5083921ea15a95.tar.bz2 abc-3b4a4481a13444f7e427d6b04b5083921ea15a95.zip | |
Merge pull request #132 from jamesjer/aliasing
Fix violation of C strict aliasing rules.
Diffstat (limited to 'src/proof/int2')
0 files changed, 0 insertions, 0 deletions