一个静态Web应用程序，用于浏览TLA +状态图并对其进行动画处理。-JavaScript开发
需积分: 9 160 浏览量
2021-05-26
02:51:16
上传
评论
收藏 3.02MB ZIP 举报
tlaplus-graph-explorer-main.zip （61个子文件） 
tlaplus-graph-explorer-main src 
tla-state.js 984B tla-state-template.js 168B js index.js 4KB utils.js 3KB reader.js 2KB tla-state.css 258B css index.css 2KB
index.html 3KB lib parser.js 24KB trace-explorer.html 2KB LICENSE 1KB expr-parser parser.jison 2KB parser.js 24KB test.js 1KB examples missionaries-and-cannibals trace.out 9KB src tla-state.js 2KB resources 
noise1.png 6KB noise2.png 38KB tla-state-template.js 776B js index.js 4KB utils.js 3KB reader.js 2KB tla-state.css 1KB css index.css 2KB index.html 3KB lib parser.js 24KB trace-explorer.html 2KB
example.gif 527KB example.dot 31KB ceph-consensus trace.out 114KB src tla-state.js 5KB tla-state-template.js 2KB js index.js 4KB utils.js 3KB reader.js 2KB tla-state.css 2KB css index.css 2KB index.html 3KB lib parser.js 24KB trace-explorer.html 2KB example.gif 1.06MB example.dot 3.73MB README.md 1KB default trace.out 9KB example.gif 366KB example.dot 31KB ceph-consensus-3mon trace.out 114KB src tla-state.js 9KB js index.js 4KB utils.js 3KB reader.js 2KB tla-state.css 465B css index.css 2KB index.html 3KB lib svg.min.js.map 521KB svg.min.js 129KB parser.js 24KB trace-explorer.html 2KB example.gif 590KB example.dot 5.39MB README.md 2KB资源评论
亲爱的薄荷绿
- 粉丝: 27
- 资源: 4663
