Skip to content
Snippets Groups Projects
user avatar
Valentin Perrelle authored
[Eva] Bitwise domain: fixes interpretation of shift and cast on big-endian architectures

Closes #1201

See merge request frama-c/frama-c!4015
76c3e581
History
Name Last commit Last update