runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430 stars 141 forks source link

add two important missing flags to the llvm backend compiler #4472

Closed dwightguth closed 1 week ago

dwightguth commented 1 week ago

This PR fixes a small fraction of a significant piece of technical debt in pyk's implementation of pyk.ktool.kompile, adding support for two command line flags that are important that were currently unable to be passed to the compiler due to its design. This is by no means an exhaustive list. There are still other important flags that are unsupported. This is simply what is likely to block me in the immediate future.