JianHong Zhao

after kcc, a.out can't run

1

user@3c9d2b9c862b:~/mounted$ ./a.out [Error] Critical: Could not read from /home/user/mounted/dist/profiles/x86-gcc-limited-libc/c-cpp-kompiled/c-cpp-kompiled/compiled.bin (java.lang.reflect.InvocationTargetException)

I'm trying to generate either a Tile.fir or Tile.mlir file in the generated-src directory after running the make command. However, I'm facing an issue. Here's what I've done so far:...

How to use this semantics in 2022?

1

I'm really interested in the most complete formal semantics of llvm, and want to try it. But there are some challenge for me to try it. 1. Which K-Version should...