Skip to main content

Browse the archive

Revision cae992f9a7f900b720eabb5f6d921f873d93cce7 authored by Valentin Churavy on 30 December 2020, 19:45:48 UTC, committed by Kristoffer on 09 January 2021, 10:39:40 UTC 
mark integer parameters as sext/zext
 
(cherry picked from commit f46da9e36a06702a95e9a17885d8dec6a2be5c01)
1 parent f3eabcd
History
File Mode Size
Dockerfile -rw-r--r-- 140 bytes
devcontainer.json -rw-r--r-- 134 bytes
back to top