@cella-lang/c
C11用于 单元格a 校验器,作为编译模块包:
c家族的深层嵌入@cella-lang/cfamily) (中文(简体) ). 程序由C11规则检查,由小步运行
语义;判决为接受,拒绝或未知,有标准节点和条款.
取决于 @cella-lang/cfamily 财务报告和审定财务报表 @cella-lang/machine。 。 。 .
程序
JSON (美国) cfamily语法与 "lang": {"k": "langC"}在LP64线上 分支覆盖带有 C 的整数类型
晋升和转换、控制流动(if,循环, switch, (中文(简体) ), goto),数组(多维,可变长度,
const以他们的本事指示他们, malloc, (中文(简体) ), realloc 财务报告和审定财务报表 free,结构与结合,功能指针,
浮点和 <math.h>, (中文(简体) ), <string.h> 财务报告和审定财务报表 <ctype.h>, (中文(简体) ), printf, (中文(简体) ), scanf 以及他们的字符串和文件表格,
strtok, (中文(简体) ), qsort 财务报告和审定财务报表 bsearch,以及标准输入。 C 程序没有指定棋盘名称( 一个是 invalid: 一个Arduino
程序为 C++.
条目
c.verdict src input fuelJSON案判决@cella-lang/cfamily(三);input是标准输入,fuel将步相接. 内核证明的判决:kernel_verdict_in("c", "c.verdict", …)内cella-lang。 。 。 .c.types src candidates: 类型查询(格式为@cella-lang/cfamily) (中文(简体) ).- 调试器,用于
cella-lang/dap数字 :load, (中文(简体) ),run, (中文(简体) ),stopConf, (中文(简体) ),stopKind, (中文(简体) ),stopNode, (中文(简体) ),stopOut, (中文(简体) ),stopErr, (中文(简体) ),stopDetail, (中文(简体) ),divergences, (中文(简体) ),feed, (中文(简体) ),globals, (中文(简体) ),frames, (中文(简体) ),setVarErr, (中文(简体) ),setVarConf, (中文(简体) ),env; 和 :report input fuel session,整个运行,同时给出所有输入.
正在装入
将包装入 cella-lang 名为 index.json (单位:千美元)checkerHash, (中文(简体) ), cbfVersion; 数据 peerDependencies
标定它 : index.requires["cella-lang"].modules软件包 index.requires.packages
(每种方式都相同),然后按顺序排列此软件包的模块 index.modules.c.deps。 。 。 . cella-lang读取
(单位:千美元)正式软件包)有密码.
按定义散列
index.json 清单,每个定义, own (其本身的内容)和 merkle (内容和一切取决于)
(电话) 定义 merkle 两个版本之间没有变化,表示相同;更改的版本列在
CHANGES.md。 。 。 .