search

formalsec / waspc

OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100
Apache License 2.0
0 stars 2 forks source link

Specify optimization level in command line #2

Open filipeom opened 1 year ago

filipeom commented 1 year ago

Hardcoded in -O3