|
Failed to load latest commit information. |
|
.build
|
Remove overloaded types from C semantics (#375)
|
Mar 18, 2019
|
|
|
clang-tools
|
Remove overloaded types from C semantics (#375)
|
Mar 18, 2019
|
|
|
examples
|
Build updates (#374)
|
Mar 18, 2019
|
|
|
licenses
|
-fnative-binary flag (#826)
|
Apr 30, 2018
|
|
|
native-server
|
Cleanup/refactor x86 profile directory structure. (#928)
|
Sep 24, 2018
|
|
|
parser
|
Build updates (#374)
|
Mar 18, 2019
|
|
|
profiles/x86-gcc-limited-libc
|
Build updates (#374)
|
Mar 18, 2019
|
|
|
scripts
|
Build updates (#374)
|
Mar 18, 2019
|
|
|
semantics
|
Build updates (#374)
|
Mar 18, 2019
|
|
|
setup
|
Automate the setup for c-semantics with Vagrant. (#948)
|
Nov 5, 2018
|
|
|
tests
|
Build updates (#374)
|
Mar 18, 2019
|
|
|
verification
|
fixes for alignment so that it doesn't break to compute an lvalue of …
|
Oct 21, 2015
|
|
|
.gitignore
|
Add K submodule to the C semantics repo.
|
Nov 15, 2018
|
|
|
.gitmodules
|
Add K submodule to the C semantics repo.
|
Nov 15, 2018
|
|
|
Dockerfile
|
CI based on Docker container and Jenkinsfile (#369)
|
Feb 2, 2019
|
|
|
INSTALL.md
|
CI based on Docker container and Jenkinsfile (#369)
|
Feb 2, 2019
|
|
|
Jenkinsfile
|
Remove overloaded types from C semantics (#375)
|
Mar 18, 2019
|
|
|
LICENSE
|
-fnative-binary flag (#826)
|
Apr 30, 2018
|
|
|
Makefile
|
Build updates (#374)
|
Mar 18, 2019
|
|
|
README.md
|
fix #269 (#390)
|
Mar 6, 2017
|
|
|
build.sh
|
Timestamped build log (#353)
|
Dec 6, 2018
|