c-semantics
c-semantics copied to clipboard
kframework
Semantics of C in K
when compile `sophia https://github.com/pmwkaa/sophia` commit `669d57ba91bcb3593d8528704b2d790a97ffadd6` kcc can't use the gcc defined functions like `__sync_lock_test_and_set` for atomic functionality maybe RV-match should think about it this is a minimized input for...
To speed up the development, I would like to create a `cpp-semantics` branch. We would have a CI job for that branch; however, the job would run only C++ related...
I tried to compile [google/brotli](https://github.com/google/brotli) project with kcc. The following error occurred during compilation: ``` Fatal error: exception Stack overflow ``` I minimized this error: ``` // main.c #include #include...
for issue https://github.com/kframework/c-semantics/issues/347 can work around by install lua5.1, then no need to compile the minilua but it will have new problem in ``lj_def.h`` , it need to have the...
#kcc can't compile the C project wrk, for the first error: #"out of memory" I created the minimized input to reproduce it. You can run the following command ``` if...
``` system info Ubuntu 16.04.5 with 5GB memory kcc: version 1.0 GNU-compatible Build number: 77a4079-1542856183611 ``` if use kcc to compile minilua (one executable file LuaJIT need), it will run...
As title. KCC version: ``` kcc: version 1.0 GNU-compatible Build number: 86da32c-1543374821277 Current profile: x86_64-linux-gcc-glibc Installed profiles: x86_64-linux-gcc-glibc-gnuc x86_64-linux-gcc-glibc-gnuc-reverse-eval-order x86_64-linux-gcc-glibc-reverse-eval-order x86_64-linux-gcc-glibc x86-gcc-limited-libc Default profile: x86_64-linux-gcc-glibc ``` This problem can be...
kcc can compile enchive : https://github.com/skeeto/enchive commit 3f1910cb0c7ed30ee09a293ca0a91e2b57486722 but when set the -fissue-report flag to generate the report it will have the error: ``` ... ... Fatal error: out of...