Skip to content
Snippets Groups Projects

update operational semantics for shift operators

Passed
Fengmin Zhu created pipeline for commit 7b471698
, finished
For ci/bits
2 jobs 18 minutes 44 seconds, queued for 1 seconds