可控开源社区

secc/seL4-capdl

同步镜像关注点赞复刻(Fork)

目录

Gerwin Klein

cdl_utils+python-capdl-tool: remove six package
Remove python2 compatibility package six. Main changes are:

six.integer_types -> int
six.string_types -> str
six.with_metaclass(abc.ABCMeta, object) -> abc.ABC
six.with_metaclass(abc.ABCMeta, object) becomes Object, because Object
already inherits from abc.ABC
drop six from requirements.txt

Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems

1个月前761次提交

.githubgithub: bump actions/setup-python4个月前
.reusecapDL-tool: add an AArch64 test example10个月前
LICENSESConvert to SPDX license tags6年前
capDL-toolcapDL-tool: update domains in JSON representation2个月前
capdl-loader-appcapdl-loader-app: fix MCS x86 us_to_ticks2个月前
cdl_utilscdl_utils+python-capdl-tool: remove six package1个月前
object_sizesSGI support for capDL-tool + loader + python4年前
python-capdl-toolcdl_utils+python-capdl-tool: remove six package1个月前
.gitignoreConvert to SPDX license tags6年前
.licenseignoreobject_sizes: Correctly license object_sizes.yaml6年前
.linkcheck-ignore.ymllinkcheck: ignore haskellstack.org1年前
.stylefilterRemove .template.c from style check6年前
CHANGES.mdRelease 0.6.02个月前
CMakeLists.txtBump minimum CMake version1年前
CODE_OF_CONDUCT.mdAdd code of conduct link6年前
Findcapdl.cmaketrivial: update style for new cmake-format1年前
README.mdreadme: add vulnerability reporting policy (#26)5年前
VERSIONUpdate VERSION file to 0.6.0-dev2个月前

Capability Distribution Language

Collection of tools for generating, parsing and loading capdl specifications of systems:

capDL-tool - A tool to assist working with capDL textual specifications
python-capdl-tool - A Python module for providing CapDL support
capdl-loader-app - The capDL initialiser for seL4

Reporting security vulnerabilities

If you believe you have found a security vulnerability in this code, we ask you to follow the seL4 vulnerability disclosure policy.

关于

haskell python c

3.2 MB

邀请码

Gitlink（确实开源）

加入我们
官网邮箱：gitlink@ccf.org.cn

QQ群

QQ群

公众号

公众号

版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9 京公网安备 11010802047560号