Merge lp://staging/~jelmer/storm/cast into lp://staging/storm
Proposed by
Jelmer Vernooij
Status: | Merged | ||||
---|---|---|---|---|---|
Approved by: | Jamu Kakar | ||||
Approved revision: | 384 | ||||
Merged at revision: | 384 | ||||
Proposed branch: | lp://staging/~jelmer/storm/cast | ||||
Merge into: | lp://staging/storm | ||||
Diff against target: |
48 lines (+27/-0) 2 files modified
storm/expr.py (+20/-0) tests/expr.py (+7/-0) |
||||
To merge this branch: | bzr merge lp://staging/~jelmer/storm/cast | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jamu Kakar (community) | Approve | ||
Gustavo Niemeyer | Approve | ||
Review via email: mp+42093@code.staging.launchpad.net |
Commit message
Add storm.expr.Cast.
Description of the change
This branch adds storm.expr.Cast.
To post a comment you must log in.
Looks good. +1!