没有合适的资源?快使用搜索试试~ 我知道了~
mypyvy:一种来自常春藤的象征性转换系统语言
共144个文件
pyv:80个
py:25个
expect:16个
需积分: 5 0 下载量 172 浏览量
2021-05-19
17:04:00
上传
评论
收藏 298KB ZIP 举报
温馨提示
Mypyvy 受常春藤启发的符号转换系统的语言。 依存关系 您需要python版本3.8,因为我们喜欢使用闪亮的东西。 3.8.X表格的任何版本都可以使用。 python3.8 --version Python 3.8.2 确保已安装z3并在PYTHONPATH 。 过去几年中,任何版本都可以使用基本功能,但要获得最佳效果,请使用最新版本,例如4.8.8。 z3 --version Z3 version 4.8.8 - 64 bit 导入z3应该可以进行以下操作(不报告任何错误)。 python3.8 ... >>> import z3 >>> 你需要给所有的Python包requirements.txt ,您可以通过运行以下操作: python3.8 -m pip install -r requirements.txt 如果您愿意的话,您可能希望设置一个虚拟环境。 入门
资源推荐
资源详情
资源评论
收起资源包目录
mypyvy:一种来自常春藤的象征性转换系统语言 (144个子文件)
mypyvy-mode.el 3KB
flycheck-mypyvy.el 936B
191202-faithful-print.expect 664B
191120-error-localization.expect 382B
200804-nonlin-int-arith-cti.expect 366B
200801-global-shadowing-transition.expect 350B
200804-nonlin-int-arith-proof.expect 347B
200209-bmc-state-order.expect 344B
190516-theorem-boundvar.expect 236B
191125-theorem.expect 213B
191125-updr.expect 208B
200731-global-shadowing.expect 192B
191119-nested-old-errmsg.expect 187B
200818-immutable-modifies-clause.expect 180B
190919-ensure-axiom-immutable.expect 165B
191205-def-order.expect 29B
191125-derived-relation.expect 29B
190919-union-find-loop.expect 29B
.flake8 59B
.gitignore 99B
mypy.ini 65B
LICENSE 1KB
updr.log 79KB
updr.log 72KB
Makefile 7KB
README.md 6KB
pd.py 381KB
yacc.py 135KB
syntax.py 59KB
lex.py 43KB
translator.py 30KB
mypyvy.py 29KB
relaxed_traces.py 25KB
logic.py 24KB
parser.py 23KB
semantics.py 19KB
typechecker.py 18KB
updr.py 16KB
solver.py 16KB
sep.py 15KB
test.py 12KB
rethink.py 12KB
solver_cvc4.py 11KB
utils.py 11KB
nightly.py 11KB
printers.py 9KB
post_process.py 6KB
sexp.py 5KB
trace.py 3KB
z3_utils.py 1021B
__init__.py 103B
__init__.pyi 5KB
yacc.pyi 402B
lex.pyi 399B
__init__.pyi 54B
tlb_safety.pyv 17KB
raft.pyv 17KB
cache.pyv 11KB
boring-paxos.pyv 11KB
cache_unsafe.pyv 10KB
cache.pyv 10KB
cache_one.pyv 8KB
stoppable_paxos_forall.pyv 8KB
stoppable_paxos_forall_choosable.pyv 7KB
stoppable_paxos_epr.pyv 7KB
peterson.pyv 6KB
paxos_relaxed.pyv 6KB
lockserv.pyv 5KB
lockserv_cnf.pyv 5KB
lockserv_unsafe.pyv 5KB
lockserv.pyv 5KB
chain_replication.pyv 5KB
sharded-kv-retransmit.pyv 5KB
paxos_autorelaxed.pyv 5KB
paxos_forall.pyv 4KB
sharded-kv-retransmit_unsafe.pyv 4KB
sharded-kv-retransmit.pyv 4KB
paxos_fol.pyv 4KB
paxos.pyv 4KB
paxos_unrelaxed.pyv 4KB
paxos_forall_choosable_unsafe2.pyv 4KB
paxos_forall_choosable_unsafe_no_intersection.pyv 4KB
paxos_forall_choosable.pyv 4KB
paxos_forall_choosable_unsafe.pyv 4KB
paxos.pyv 3KB
paxos.pyv 3KB
paxos_epr.pyv 3KB
indigo_tournament.pyv 3KB
consensus.pyv 2KB
lockserv_multi.pyv 2KB
consensus_forall.pyv 2KB
consensus_unsafe.pyv 2KB
ring-id.pyv 2KB
markt-ring.pyv 2KB
consensus_epr.pyv 2KB
ring.pyv 2KB
consensus_unsafe2.pyv 2KB
consensus_without_decide.pyv 2KB
ring.pyv 2KB
sll-prev.pyv 2KB
共 144 条
- 1
- 2
资源评论
西西里上尉
- 粉丝: 25
- 资源: 4667
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功