Sign in
Join now
coq
stepbrobd.com
/
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from coq/coq
Star
Starred
Star
1
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
coq
/
kernel
/
byterun
12 files
at
master
coqbot-app[bot]
·
Merge PR #22447: Add support for native_compute on ARM64 processors.
·
1mo ago
49df98bb
dune
Remove compat coq-core libraries (not executables)
5mo ago
rocq_fix_code.c
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
rocq_fix_code.h
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
rocq_float64.c
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
rocq_interp.c
Be more defensive against nullary functions (cf #21136).
1mo ago
rocq_interp.h
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
rocq_memory.c
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
rocq_memory.h
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
rocq_uint63_emul.h
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
rocq_uint63_native.h
Fix primitive int asr implem (fixes #22462)
2mo ago
rocq_values.c
Add support for native_compute on ARM64 processors.
1mo ago
rocq_values.h
Rename all C functions and macros from the VM according to the Great Rocqification.
2y ago
