没有合适的资源?快使用搜索试试~ 我知道了~
smoosh:符号化,机械化,可观察,可操作的外壳:POSIX Shell标准的可执行形式化
共633个文件
test:186个
out:136个
css:96个
需积分: 8 0 下载量 149 浏览量
2021-02-05
14:48:55
上传
评论
收藏 2.22MB ZIP 举报
温馨提示
Smoosh(符号化,机械化,可观察,可操作的)是的形式化; Smoosh是更广泛的一部分。 Smoosh是使用和OCaml混合编写的,使用解析外壳代码。 安装 使用Smoosh的方法有两种:虚拟的(在Vagrant VM或Docker容器中)或本机的。 由于Smoosh依赖于某些库的许多部分和特定版本,因此通过VM或Docker安装可能会更容易。 本地构建Smoosh 要直接在计算机上安装Smoosh,您将需要使用.travis.yml列出的依赖项来手动配置系统。 特别是: AC工具链 Autoconf,autotools,libtool,pkg-config,libffi和libgm
资源推荐
资源详情
资源评论
收起资源包目录
smoosh:符号化,机械化,可观察,可操作的外壳:POSIX Shell标准的可执行形式化 (633个子文件)
fds.c 1KB
readdir.c 531B
getenv.c 288B
argv.c 160B
semantic.min.css 614KB
button.css 110KB
button.min.css 88KB
icon.css 80KB
grid.css 69KB
icon.min.css 65KB
grid.min.css 56KB
transition.css 46KB
menu.css 42KB
dropdown.css 35KB
transition.min.css 33KB
menu.min.css 31KB
form.css 27KB
label.css 26KB
dropdown.min.css 25KB
table.css 24KB
card.css 24KB
step.css 22KB
form.min.css 21KB
list.css 21KB
flag.css 21KB
rating.css 20KB
label.min.css 20KB
segment.css 19KB
step.min.css 19KB
flag.min.css 18KB
rating.min.css 18KB
table.min.css 18KB
card.min.css 17KB
checkbox.css 16KB
popup.css 16KB
list.min.css 16KB
sidebar.css 15KB
segment.min.css 13KB
header.css 12KB
checkbox.min.css 12KB
statistic.css 12KB
modal.css 12KB
input.css 12KB
popup.min.css 12KB
message.css 12KB
sidebar.min.css 10KB
progress.css 10KB
search.css 10KB
statistic.min.css 9KB
item.css 9KB
header.min.css 9KB
accordion.css 9KB
input.min.css 8KB
reset.css 8KB
message.min.css 8KB
modal.min.css 8KB
reveal.css 8KB
divider.css 8KB
progress.min.css 7KB
accordion.min.css 7KB
search.min.css 7KB
loader.css 7KB
divider.min.css 6KB
item.min.css 6KB
reveal.min.css 6KB
placeholder.css 6KB
feed.css 5KB
image.css 5KB
dimmer.css 5KB
comment.css 5KB
loader.min.css 5KB
placeholder.min.css 4KB
ad.css 4KB
image.min.css 4KB
site.css 4KB
shape.css 4KB
feed.min.css 3KB
dimmer.min.css 3KB
embed.css 3KB
container.css 3KB
comment.min.css 3KB
reset.min.css 3KB
nag.css 3KB
shape.min.css 2KB
rail.css 2KB
site.min.css 2KB
video.css 2KB
ad.min.css 2KB
breadcrumb.css 2KB
container.min.css 2KB
embed.min.css 2KB
tab.css 2KB
nag.min.css 1KB
rail.min.css 1KB
video.min.css 1KB
sticky.css 1KB
breadcrumb.min.css 1KB
tab.min.css 1KB
custom.css 960B
sticky.min.css 599B
共 633 条
- 1
- 2
- 3
- 4
- 5
- 6
- 7
资源评论
薯条说影
- 粉丝: 33
- 资源: 4689
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功