diff options
| author | Wei-Ning Huang <w@dexon.org> | 2018-10-18 11:38:05 +0800 |
|---|---|---|
| committer | Jimmy Hu <jimmy.hu@dexon.org> | 2018-11-09 13:31:14 +0800 |
| commit | 433aebb7c91acf6d364acd76f6018dc1b4f847af (patch) | |
| tree | 755cb38bb4ec4c873cc86c537200d4cfa1b1b83f /libsolidity/formal/SMTChecker.cpp | |
| parent | 91c1c3ada94f983f71938fba5abb570207acc248 (diff) | |
| download | dexon-solidity-0.4.25.tar dexon-solidity-0.4.25.tar.gz dexon-solidity-0.4.25.tar.bz2 dexon-solidity-0.4.25.tar.lz dexon-solidity-0.4.25.tar.xz dexon-solidity-0.4.25.tar.zst dexon-solidity-0.4.25.zip | |
Add opcode RAND supportv0.4.25
DEXON has a built-in on chain random oracle that allow one to retrieve a
random variable. Add `rand` solidity variable is introduced to load the
random variable onto the stack.
Diffstat (limited to 'libsolidity/formal/SMTChecker.cpp')
0 files changed, 0 insertions, 0 deletions