matheusaaguiar on check-overflow-after-mul-operation
Improved check for int256 speci… (compare)
matheusaaguiar on check-overflow-after-mul-operation
Added formal tests of cleanup f… Fix uint and int formal tests. Improved check for int256 speci… (compare)
--bin
and --bin-runtime
(especially taken together) do...
controversial
label to filter out proposals we have mixed feeling about and are unlikely to implement.
Effort
is often the hardest thing to judge in advance :-).
unknown
but I suspect that a lot of the time it will be just a code for high
:)
low
and high
. Maybe that will make it easier to assign.
$ source "a b/test"
$ source a b/test
bash: a: No such file or directory
$ export TEST="a b/test"
$ source "$TEST"
$ source $TEST
bash: a: No such file or directory