Add rand example to Semantics of K document#406
Closed
xc93 wants to merge 6 commits intoruntimeverification:masterfrom
xc93:doc-RL
Closed
Add rand example to Semantics of K document#406xc93 wants to merge 6 commits intoruntimeverification:masterfrom xc93:doc-RL
xc93 wants to merge 6 commits intoruntimeverification:masterfrom
xc93:doc-RL
Commits
Commits on Jan 13, 2019
- committed
Xiaohong Chen - committedXiaohong Chen
- committedXiaohong Chen
Commits on Jan 15, 2019
- committedXiaohong Chen
- authoredXiaohong Chen
- authoredXiaohong Chen