├── .github
    └── workflows
    │   ├── release.yml
    │   ├── test.yml
    │   └── update.yml
├── .gitignore
├── .gitmodules
├── CNAME
├── Design.md
├── Dockerfile
├── INSTALL.md
├── Jenkinsfile
├── LICENSE
├── Makefile
├── README.md
├── assemble-iele-test
├── benchmark
    ├── Sha3.iele
    └── sha3.sol
├── check-iele
├── data.md
├── default.nix
├── deps
    └── k_release
├── iele-assemble
    ├── .gitignore
    ├── LICENSE
    ├── README.md
    ├── Setup.hs
    ├── app
    │   └── Main.hs
    ├── default.nix
    ├── iele-assemble.cabal
    ├── nix
    │   └── rematerialize.sh
    ├── shell.nix
    ├── src
    │   ├── IeleAssembler.hs
    │   ├── IeleDesugar.hs
    │   ├── IeleInstructions.hs
    │   ├── IeleParser.hs
    │   ├── IeleParserImplementation.hs
    │   ├── IelePrint.hs
    │   ├── IeleTHUtil.hs
    │   └── IeleTypes.hs
    ├── stack.yaml
    ├── stack.yaml.lock
    └── test
    │   └── TestParser.hs
├── iele-binary.md
├── iele-coverage.md
├── iele-examples
    ├── README.md
    ├── erc20.iele
    ├── factorial.iele
    ├── forwarder.iele
    ├── forwardingWallet-copycreate.iele
    ├── forwardingWallet.iele
    ├── simpleOpenAuction.iele
    └── sum.iele
├── iele-gas-summary.md
├── iele-gas.md
├── iele-node.md
├── iele-syntax.md
├── iele-testing.md
├── iele.md
├── kast-json.py
├── kiele
├── kiele-generate-report.py
├── kore-json.py
├── nix
    ├── iele-assemble.nix.d
    │   └── iele-assemble
    │   │   ├── .stack-to-nix.cache
    │   │   ├── default.nix
    │   │   └── iele-assemble.nix
    ├── k.lock.json
    ├── kiele.nix
    ├── libff.nix
    ├── rematerialize.sh
    ├── sources.json
    └── sources.nix
├── package
    ├── debian
    │   ├── Dockerfile
    │   ├── Dockerfile.test
    │   ├── build-package.sh
    │   ├── changelog
    │   ├── compat
    │   ├── control.bionic
    │   ├── control.focal
    │   └── rules
    ├── docker
    │   └── Dockerfile
    └── test-package.sh
├── proto
    ├── blockchain.cpp
    ├── proto
    │   ├── VERSION
    │   └── msg.proto
    ├── world.cpp
    └── world.h
├── pyiele
    ├── __init__.py
    ├── __main__.py
    ├── blackbox.py
    ├── config.py
    ├── fetchFunctionData.py
    ├── kieleCoverage.py
    ├── rlp.py
    ├── rpc.py
    ├── testrunner.py
    ├── transactionGeneration.py
    └── utils.py
├── static-report.html
├── test.nix
├── tests
    ├── bad-packet
    ├── bad-packet-2
    ├── evm-to-iele
    │   ├── .gitignore
    │   ├── conversion.ml
    │   ├── conversion.mli
    │   ├── evm-test-to-iele
    │   ├── evm.ml
    │   ├── evm.mli
    │   ├── iele.ml
    │   ├── iele.mli
    │   ├── ieleUtil.ml
    │   ├── ieleUtil.mli
    │   └── main.ml
    ├── failing.expected
    ├── failing.haskell
    ├── failing.standalone
    ├── gas
    │   ├── .gitignore
    │   ├── binary.iele
    │   ├── binary.iele.json
    │   ├── br.iele
    │   ├── br.iele.json
    │   ├── call.iele
    │   ├── call.iele.json
    │   ├── expmod.iele
    │   ├── expmod.iele.json
    │   ├── load.iele
    │   ├── load.iele.json
    │   ├── localcall.iele
    │   ├── localcall.iele.json
    │   ├── makehex.sh
    │   ├── makepow.sh
    │   ├── makerand.sh
    │   ├── maketest.sh
    │   ├── mem.iele
    │   ├── mem.iele.json
    │   ├── memcell.iele
    │   ├── memcell.iele.json
    │   ├── precompiled.iele
    │   ├── precompiled.iele.json
    │   ├── ret.iele
    │   ├── ret.iele.json
    │   ├── sha.iele
    │   ├── sha.iele.json
    │   ├── unary.iele
    │   └── unary.iele.json
    ├── iele
    │   └── danse
    │   │   ├── ERC20
    │   │       ├── allowance_CallerCaller.iele.json
    │   │       ├── allowance_CallerOther.iele.json
    │   │       ├── allowance_OtherCaller.iele.json
    │   │       ├── allowance_OtherEqOther.iele.json
    │   │       ├── allowance_OtherNEqOther.iele.json
    │   │       ├── approve_Caller-Negative.iele.json
    │   │       ├── approve_Caller-Positive.iele.json
    │   │       ├── approve_Caller-Zero.iele.json
    │   │       ├── approve_Other-Negative.iele.json
    │   │       ├── approve_Other-Positive.iele.json
    │   │       ├── approve_Other-Zero.iele.json
    │   │       ├── approve_SwitchCaller.iele.json
    │   │       ├── balanceOf_Caller.iele.json
    │   │       ├── balanceOf_NonCaller.iele.json
    │   │       ├── create.iele.json
    │   │       ├── totalSupply_Positive.iele.json
    │   │       ├── totalSupply_Zero.iele.json
    │   │       ├── transferFrom_AllDistinct-BalanceEqAllowance.iele.json
    │   │       ├── transferFrom_AllDistinct-BalanceNEqAllowance.iele.json
    │   │       ├── transferFrom_AllDistinct-EntireAllowanceMoreThanBalance.iele.json
    │   │       ├── transferFrom_AllDistinct-EntireBalanceEqAllowance.iele.json
    │   │       ├── transferFrom_AllDistinct-EntireBalanceMoreThanAllowance.iele.json
    │   │       ├── transferFrom_AllDistinct-MoreThanAllowanceLessThanBalance.iele.json
    │   │       ├── transferFrom_AllDistinct-MoreThanBalanceLessThanAllowance.iele.json
    │   │       ├── transferFrom_AllDistinct-Negative.iele.json
    │   │       ├── transferFrom_AllDistinct-NoOverflow.iele.json
    │   │       ├── transferFrom_AllDistinct-StillNoOverflow.iele.json
    │   │       ├── transferFrom_AllEqual-AllowanceRelevant.iele.json
    │   │       ├── transferFrom_AllEqual-EntireBalance.iele.json
    │   │       ├── transferFrom_CallerEqFrom-AllowanceRelevant.iele.json
    │   │       ├── transferFrom_CallerEqFrom-EntireBalance.iele.json
    │   │       ├── transferFrom_CallerEqFrom-MoreThanBalance.iele.json
    │   │       ├── transferFrom_CallerEqTo-BalanceNEqAllowance.iele.json
    │   │       ├── transferFrom_CallerEqTo-MoreThanAllowanceLessThanBalance.iele.json
    │   │       ├── transferFrom_CallerEqTo-MoreThanBalanceLessThanAllowance.iele.json
    │   │       ├── transferFrom_Exploratory-MultipleTransfersSucceed.iele.json
    │   │       ├── transferFrom_Exploratory-MultipleTransfersThrow.iele.json
    │   │       ├── transferFrom_FromEqTo-BalanceEqAllowance.iele.json
    │   │       ├── transferFrom_FromEqTo-BalanceNEqAllowance.iele.json
    │   │       ├── transferFrom_FromEqTo-EntireAllowanceMoreThanBalance.iele.json
    │   │       ├── transferFrom_FromEqTo-EntireBalanceEqAllowance.iele.json
    │   │       ├── transferFrom_FromEqTo-EntireBalanceMoreThanAllowance.iele.json
    │   │       ├── transferFrom_FromEqTo-MoreThanAllowanceLessThanBalance.iele.json
    │   │       ├── transferFrom_FromEqTo-MoreThanBalanceLessThanAllowance.iele.json
    │   │       ├── transferFrom_FromEqTo-Negative.iele.json
    │   │       ├── transferFrom_FromEqTo-NoOverflow.iele.json
    │   │       ├── transfer_Caller-AllowanceIrrelevant.iele.json
    │   │       ├── transfer_Caller-EntireBalance.iele.json
    │   │       ├── transfer_Caller-MoreThanBalance.iele.json
    │   │       ├── transfer_Caller-MoreThanBalance.iele.json.coverage-expected
    │   │       ├── transfer_Caller-Negative.iele.json
    │   │       ├── transfer_Caller-NoOverflow.iele.json
    │   │       ├── transfer_Caller-Positive.iele.json
    │   │       ├── transfer_Caller-StillNoOverflow.iele.json
    │   │       ├── transfer_Caller-Zero.iele.json
    │   │       ├── transfer_Other-AllowanceIrrelevant.iele.json
    │   │       ├── transfer_Other-EntireBalance.iele.json
    │   │       ├── transfer_Other-MoreThanBalance.iele.json
    │   │       ├── transfer_Other-Negative.iele.json
    │   │       ├── transfer_Other-NoOverflow.iele.json
    │   │       ├── transfer_Other-Positive.iele.json
    │   │       ├── transfer_Other-StillNoOverflow.iele.json
    │   │       └── transfer_Other-Zero.iele.json
    │   │   ├── auction
    │   │       ├── bid_first.iele.json
    │   │       ├── bid_higher.iele.json
    │   │       ├── bid_late.iele.json
    │   │       ├── bid_toolow.iele.json
    │   │       ├── create.iele.json
    │   │       ├── settle_duplicate.iele.json
    │   │       ├── settle_early.iele.json
    │   │       └── settle_success.iele.json
    │   │   ├── factorial
    │   │       ├── factorial_negative.iele.json
    │   │       ├── factorial_positive.iele.json
    │   │       └── factorial_zero.iele.json
    │   │   ├── forwarder
    │   │       ├── copycreate.iele.json
    │   │       └── create.iele.json
    │   │   ├── ill-formed
    │   │       ├── duplicateFuncs.iele
    │   │       ├── illFormed.iele
    │   │       ├── illFormed.iele.json
    │   │       └── illFormed2.iele.json
    │   │   ├── sha3
    │   │       ├── sha3-benchmark.iele.json
    │   │       └── sha3.iele.json
    │   │   ├── sum
    │   │       ├── sum_negative.iele.json
    │   │       ├── sum_positive.iele.json
    │   │       └── sum_zero.iele.json
    │   │   └── unit
    │   │       ├── bits.iele
    │   │       ├── bits.iele.json
    │   │       ├── bits2.iele
    │   │       ├── bits2.iele.json
    │   │       ├── blockhash.iele
    │   │       ├── blockhash.iele.json
    │   │       ├── calladdress.iele
    │   │       ├── calladdress.iele.json
    │   │       ├── collision.iele
    │   │       ├── collision.iele.json
    │   │       ├── endian.iele
    │   │       ├── endian.iele.json
    │   │       ├── escape.iele
    │   │       ├── escape.iele.json
    │   │       ├── exceptions.iele
    │   │       ├── exceptions.iele.json
    │   │       ├── fptr.iele
    │   │       ├── fptr.iele.json
    │   │       ├── logarithm.iele
    │   │       ├── logarithm.iele.json
    │   │       ├── precompiled.iele
    │   │       ├── precompiled.iele.json
    │   │       ├── selfdestruct.iele
    │   │       ├── selfdestruct.iele.json
    │   │       ├── shift.iele
    │   │       ├── shift.iele.json
    │   │       ├── staticcall.iele
    │   │       ├── staticcall.iele.json
    │   │       └── wellFormed.iele
    ├── node-test.sh
    ├── reports
    │   └── firefly-demo
    │   │   └── report.json
    ├── slow.haskell
    └── split-test.py
├── vm
    ├── c
    │   ├── iele
    │   │   ├── semantics.cpp
    │   │   └── semantics.h
    │   ├── main.cpp
    │   ├── version.h
    │   ├── vm.cpp
    │   └── vm.h
    ├── ieleApi.ml
    ├── ieleApi.mli
    ├── ieleApiClient.ml
    ├── ieleClientUtils.ml
    └── ieleVmTest.ml
├── web
    ├── .gitignore
    ├── README.md
    ├── build-html.js
    ├── package-lock.json
    ├── package.json
    ├── public_content
    │   ├── .gitignore
    │   └── assets
    │   │   └── img
    │   │       ├── 404.png
    │   │       ├── 500.png
    │   │       ├── favicon.ico
    │   │       ├── hero
    │   │           ├── kerc20-hero-image.png
    │   │           ├── test-coverage-hero-image.png
    │   │           └── test-runner-hero-image.png
    │   │       ├── iele-logo-dark.png
    │   │       ├── iele-logo.png
    │   │       ├── rv-logo-dark.png
    │   │       └── rv-logo.png
    ├── sitemap
    │   └── build-sitemap.js
    └── static_content
    │   └── html
    │       ├── 404.html
    │       ├── 500.html
    │       ├── include
    │           ├── footer.html
    │           ├── head.html
    │           ├── header.html
    │           └── sidebar.html
    │       └── page_template.html
└── well-formedness.md


/.github/workflows/release.yml:
--------------------------------------------------------------------------------
 1 | name: "Release"
 2 | on:
 3 |   release:
 4 |     types:
 5 |       - created
 6 | 
 7 | jobs:
 8 |   nix-release:
 9 |     runs-on: ubuntu-latest
10 |     steps:
11 |       - name: Check out code
12 |         uses: actions/checkout@v2.3.4
13 |         with:
14 |           submodules: recursive
15 | 
16 |       - name: Install Nix
17 |         uses: cachix/install-nix-action@v14.1
18 |         with:
19 |           install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
20 | 
21 |       - name: Upload release.nix
22 |         uses: ttuegel/upload-release.nix@v1.0
23 |         with:
24 |           token: ${{ secrets.GITHUB_TOKEN }}
25 | 


--------------------------------------------------------------------------------
/.github/workflows/test.yml:
--------------------------------------------------------------------------------
 1 | name: "Test"
 2 | on:
 3 |   pull_request:
 4 | jobs:
 5 | 
 6 |   # Run ./nix/rematerialize.sh from iele-assemble if this job fails.
 7 |   test-nix-material:
 8 |     name: 'Nix materialization'
 9 |     runs-on: ubuntu-latest
10 |     steps:
11 |     - name: Check out code
12 |       uses: actions/checkout@v2.3.4
13 |       with:
14 |         submodules: recursive
15 | 
16 |     - name: Install Nix
17 |       uses: cachix/install-nix-action@v14.1
18 |       with:
19 |         extra_nix_config: |
20 |           substituters = http://cache.nixos.org https://hydra.iohk.io
21 |           trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
22 |         install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
23 | 
24 |     - name: Install Cachix
25 |       uses: cachix/cachix-action@v10
26 |       with:
27 |         name: runtimeverification
28 |         extraPullNames: kore
29 |         skipPush: true
30 | 
31 |     - name: Check materialization
32 |       run: nix-build --arg checkMaterialization true iele-assemble -A project.stack-nix
33 | 
34 |   nix:
35 |     name: 'Nix / ${{ matrix.os }}'
36 |     needs: test-nix-material
37 |     strategy:
38 |       matrix:
39 |         os: [ubuntu-latest, macos-latest]
40 |     runs-on: ${{ matrix.os }}
41 |     steps:
42 |     - name: Check out code
43 |       uses: actions/checkout@v2.3.4
44 |       with:
45 |         submodules: recursive
46 | 
47 |     - name: Install Nix
48 |       uses: cachix/install-nix-action@v14.1
49 |       with:
50 |         extra_nix_config: |
51 |           substituters = http://cache.nixos.org https://hydra.iohk.io
52 |           trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
53 |         install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
54 | 
55 |     - name: Install Cachix
56 |       uses: cachix/cachix-action@v10
57 |       with:
58 |         name: runtimeverification
59 |         extraPullNames: kore
60 |         signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
61 | 
62 |     - name: Build
63 |       run: K_OPTS=-Xmx6G nix-build --cores 1
64 | 
65 |     - name: Run unit tests
66 |       run: nix-build iele-assemble -A project.iele-assemble.checks
67 | 
68 |     - name: Run integration tests
69 |       run: nix-build test.nix
70 | 
71 | 
72 | 


--------------------------------------------------------------------------------
/.github/workflows/update.yml:
--------------------------------------------------------------------------------
 1 | name: 'Update'
 2 | on:
 3 |   push:
 4 |     branches-ignore:
 5 |       - 'master'
 6 |   pull_request:
 7 | jobs:
 8 |   nix:
 9 |     name: 'Nix'
10 |     runs-on: ubuntu-latest
11 |     steps:
12 |       - id: config
13 |         run: |
14 |           ref=${{ github.ref }}
15 |           if [ "${{ github.event_name }}" == 'pull_request' ]; then
16 |             ref="${{ github.event.pull_request.head.sha }}"
17 |           fi
18 |           ref="${ref#refs/heads/}"
19 |           echo "ref=$ref" >> $GITHUB_OUTPUT
20 | 
21 |           git config --global user.name github-actions
22 |           git config --global user.email github-actions@github.com
23 | 
24 |       - name: Check out code
25 |         uses: actions/checkout@v2.3.4
26 |         with:
27 |           ref: ${{ steps.config.outputs.ref }}
28 |           submodules: recursive
29 | 
30 |       - name: Install Nix
31 |         uses: cachix/install-nix-action@v14.1
32 |         with:
33 |           extra_nix_config: |
34 |             substituters = http://cache.nixos.org https://hydra.iohk.io
35 |             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
36 |           install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
37 | 
38 |       - name: Materialize
39 |         run: ./nix/rematerialize.sh
40 | 
41 |       - name: Update branch
42 |         env:
43 |           GITHUB_EVENT_NAME: ${{ github.event_name }}
44 |         run: |
45 |           if [[ $GITHUB_EVENT_NAME == 'push' ]]; then
46 |             if git status -s -b | grep -q '^##.*(no branch)$'; then
47 |               echo 2>&1 "Error: Git is in detached HEAD state"
48 |               exit 1
49 |             fi
50 |           fi
51 | 
52 |           if [ -n "$(git status --porcelain 'nix/')" ]; then
53 |             if [[ $GITHUB_EVENT_NAME == 'pull_request' ]]; then
54 |               echo 2>&1 "Error: found modified files"
55 |               git diff
56 |               exit 1
57 |             elif [[ $GITHUB_EVENT_NAME == 'push' ]]; then
58 |               git add 'nix/'
59 |               git commit -m 'Materialize Nix expressions'
60 |               git push
61 |             else
62 |               echo 2>&1 "Error: event not supported: $GITHUB_EVENT_NAME"
63 |               exit 1
64 |             fi
65 |           fi
66 | 


--------------------------------------------------------------------------------
/.gitignore:
--------------------------------------------------------------------------------
 1 | /.build
 2 | /iele-assemble/.build
 3 | /tests/VMTests
 4 | /tests/BlockchainTests
 5 | /tests/**/*.test-assembled
 6 | /tests/**/*.coverage-out
 7 | /tmp
 8 | /.kompile*
 9 | /.kprove*
10 | /.krun*
11 | result*
12 | .mypy_cache
13 | .vscode


--------------------------------------------------------------------------------
/.gitmodules:
--------------------------------------------------------------------------------
 1 | [submodule "tests/ethereum-tests"]
 2 | 	path = tests/ethereum-tests
 3 | 	url = https://github.com/ethereum/tests.git
 4 | 	branch = develop
 5 | [submodule ".build/secp256k1"]
 6 | 	path = deps/secp256k1
 7 | 	url = https://github.com/bitcoin-core/secp256k1
 8 | [submodule "plugin"]
 9 | 	path = plugin
10 | 	url = https://github.com/runtimeverification/blockchain-k-plugin
11 | [submodule "web/k-web-theme"]
12 | 	path = web/k-web-theme
13 | 	url = https://github.com/runtimeverification/k-web-theme
14 | 


--------------------------------------------------------------------------------
/CNAME:
--------------------------------------------------------------------------------
1 | ielelang.org
2 | 


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
 1 | ==============================================================================
 2 | The IELE Semantics in K Release License
 3 | ==============================================================================
 4 | University of Illinois/NCSA
 5 | Open Source License
 6 | 
 7 | Copyright (c) 2009-2015 University of Illinois at Urbana-Champaign.
 8 | All rights reserved.
 9 | 
10 | Developed by:
11 | 
12 |     K Team (http://kframework.org)
13 |     with members from:
14 | 
15 |       * University of Illinois at Urbana-Champaign (http://fsl.cs.illinois.edu/)
16 |       * Runtime Verification, Inc (https://www.runtimeverification.com)
17 | 
18 | Permission is hereby granted, free of charge, to any person obtaining a copy of
19 | this software and associated documentation files (the "Software"), to deal with
20 | the Software without restriction, including without limitation the rights to
21 | use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
22 | of the Software, and to permit persons to whom the Software is furnished to do
23 | so, subject to the following conditions:
24 | 
25 |     * Redistributions of source code must retain the above copyright notice,
26 |       this list of conditions and the following disclaimers.
27 | 
28 |     * Redistributions in binary form must reproduce the above copyright notice,
29 |       this list of conditions and the following disclaimers in the
30 |       documentation and/or other materials provided with the distribution.
31 | 
32 |     * Neither the names of the K Team, Runtime Verification, the University of
33 |       Illinois at Urbana-Champaign, the University Alexandru-Ioan Cuza, nor 
34 |       the names of its contributors may be used to endorse or promote products
35 |       derived from this Software without specific prior written permission.
36 | 
37 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
38 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
39 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
40 | CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
41 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
42 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE
43 | SOFTWARE.
44 | 


--------------------------------------------------------------------------------
/assemble-iele-test:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python2
 2 | 
 3 | import subprocess
 4 | import sys
 5 | import json
 6 | import tempfile
 7 | 
 8 | import os 
 9 | dir_path = os.path.dirname(__file__)
10 | 
11 | def assembleIele(code):
12 |   if len(code) == 0:
13 |     return ""
14 |   if code[0:2] == "0x":
15 |     return code
16 |   if os.path.isabs(code):
17 |     path = code
18 |   else:
19 |     path = source_dir + "/" + code
20 |   binary = subprocess.check_output(["kiele", "assemble", path])
21 |   return binary
22 | 
23 | def convertToBinaryIele(json):
24 |   if isinstance(json, dict):
25 |     res = {}
26 |     isCreateTx = False
27 |     if "to" in json.keys():
28 |       if json["to"] == "":
29 |         isCreateTx = True
30 |     for key, value in json.iteritems():
31 |       if key == "code" or (key == "contractCode" and isCreateTx):
32 |         res[key] = assembleIele(value)
33 |       else:
34 |         res[key] = convertToBinaryIele(value)
35 |     return res
36 |   elif isinstance(json, list):
37 |     res = []
38 |     for value in json:
39 |       res.append(convertToBinaryIele(value))
40 |     return res
41 |   elif isinstance(json, unicode) or isinstance(json, bool) \
42 |       or isinstance(json, long) or isinstance(json, int):
43 |     return json
44 | 
45 | source_file = sys.argv[1]
46 | 
47 | source_dir = os.path.dirname(os.path.realpath(source_file))
48 | 
49 | with open(source_file, "r") as source:
50 |     original_test = json.load(source)
51 |     new_test = convertToBinaryIele(original_test)
52 |     json.dump(new_test, sys.stdout, indent=4)
53 | 
54 | 


--------------------------------------------------------------------------------
/check-iele:
--------------------------------------------------------------------------------
 1 | #!/bin/sh
 2 | interpreter="$(dirname "$0")/.build/check/well-formedness-kompiled/interpreter"
 3 | kast="$(mktemp)"
 4 | trap "rm -rf $kast" INT TERM EXIT
 5 | krun --parser "kast -d $(dirname "$0")/.build/check -s Contract" -cSCHEDULE=DANSE --output none -d "$(dirname "$0")/.build/check" "$@"
 6 | exit=$?
 7 | if [ $exit -eq 0 ]; then
 8 |   exit 0
 9 | fi
10 | printf "error: IELE contract failed to pass well-formedness check.\n"
11 | exit $exit
12 | 


--------------------------------------------------------------------------------
/default.nix:
--------------------------------------------------------------------------------
 1 | let
 2 |   sources = import ./nix/sources.nix {};
 3 |   pinned = import sources."nixpkgs" {};
 4 | in
 5 | 
 6 | { pkgs ? pinned
 7 | , release ? null
 8 | }:
 9 | 
10 | let release_ = release; in
11 | 
12 | let
13 |   inherit (pkgs) lib;
14 |   ttuegel = import sources."nix-lib" { inherit pkgs; };
15 | 
16 |   release = if release_ == null then pkgs.stdenv.isLinux else false;
17 | 
18 |   kframework =
19 |     let
20 |       tag = lib.fileContents ./deps/k_release;
21 |       url = "https://github.com/kframework/k/releases/download/${tag}/release.nix";
22 |       args = import (builtins.fetchurl { inherit url; });
23 |       src = pkgs.fetchgit args;
24 |     in import src { inherit release; };
25 |   inherit (kframework) k haskell-backend llvm-backend clang;
26 |   llvmPackages = pkgs.llvmPackages_10;
27 | in
28 | 
29 | let
30 |   inherit (pkgs) callPackage;
31 | in
32 | 
33 | let
34 |   src = ttuegel.cleanGitSubtree {
35 |     name = "iele-semantics";
36 |     src = ./.;
37 |   };
38 |   libff = callPackage ./nix/libff.nix {
39 |     stdenv = llvmPackages.stdenv;
40 |     src = ttuegel.cleanGitSubtree {
41 |       name = "libff";
42 |       src = ./.;
43 |       subDir = "plugin/deps/libff";
44 |     };
45 |   };
46 |   kiele = callPackage ./nix/kiele.nix {
47 |     inherit src;
48 |     inherit (ttuegel) cleanSourceWith;
49 |     inherit libff;
50 |     inherit k haskell-backend llvm-backend clang;
51 |     inherit (pkgs.python2Packages) python;
52 |     inherit (iele-assemble) iele-assemble;
53 |   };
54 |   iele-assemble = import ./iele-assemble {};
55 | 
56 |   default =
57 |     {
58 |       inherit kiele;
59 |       inherit (iele-assemble) iele-assemble;
60 |     };
61 | 
62 | in default
63 | 


--------------------------------------------------------------------------------
/deps/k_release:
--------------------------------------------------------------------------------
1 | v5.2.42
2 | 


--------------------------------------------------------------------------------
/iele-assemble/.gitignore:
--------------------------------------------------------------------------------
1 | .stack-work/
2 | 


--------------------------------------------------------------------------------
/iele-assemble/LICENSE:
--------------------------------------------------------------------------------
 1 | ==============================================================================
 2 | The IELE Semantics in K Release License
 3 | ==============================================================================
 4 | University of Illinois/NCSA
 5 | Open Source License
 6 | 
 7 | Copyright (c) 2009-2015 University of Illinois at Urbana-Champaign.
 8 | All rights reserved.
 9 | 
10 | Developed by:
11 | 
12 |     K Team (http://kframework.org)
13 |     with members from:
14 | 
15 |       * University of Illinois at Urbana-Champaign (http://fsl.cs.illinois.edu/)
16 |       * Runtime Verification, Inc (https://www.runtimeverification.com)
17 | 
18 | Permission is hereby granted, free of charge, to any person obtaining a copy of
19 | this software and associated documentation files (the "Software"), to deal with
20 | the Software without restriction, including without limitation the rights to
21 | use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
22 | of the Software, and to permit persons to whom the Software is furnished to do
23 | so, subject to the following conditions:
24 | 
25 |     * Redistributions of source code must retain the above copyright notice,
26 |       this list of conditions and the following disclaimers.
27 | 
28 |     * Redistributions in binary form must reproduce the above copyright notice,
29 |       this list of conditions and the following disclaimers in the
30 |       documentation and/or other materials provided with the distribution.
31 | 
32 |     * Neither the names of the K Team, Runtime Verification, the University of
33 |       Illinois at Urbana-Champaign, the University Alexandru-Ioan Cuza, nor 
34 |       the names of its contributors may be used to endorse or promote products
35 |       derived from this Software without specific prior written permission.
36 | 
37 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
38 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
39 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
40 | CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
41 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
42 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE
43 | SOFTWARE.
44 | 


--------------------------------------------------------------------------------
/iele-assemble/README.md:
--------------------------------------------------------------------------------
 1 | # iele-assemble
 2 | 
 3 | ## For users
 4 | 
 5 | Please refer to the [installation instructions](../INSTALL.md).
 6 | 
 7 | ## For developers
 8 | 
 9 | Install Nix and set up the binary cache following the [installation instructions](#nix) above.
10 | You must also set up the [binary cache](https://input-output-hk.github.io/haskell.nix/tutorials/getting-started/#setting-up-the-binary-cache) for `haskell.nix`.
11 | 
12 | If you change the `.cabal` file, you must rematerialize the Nix expressions:
13 | 
14 | ```.sh
15 | # Requires Nix is installed
16 | ./nix/rematerialize.sh
17 | ```
18 | 
19 | ### Build - Nix
20 | 
21 | -   **Build:** `nix-build -A iele-assemble`
22 | -   **Test:** `nix-build -A project.iele-assemble.checks`
23 | 
24 | ### Build - Stack
25 | 
26 | Install [Stack](https://docs.haskellstack.org/en/stable/README/#how-to-install).
27 | 
28 | -   **Build:** `stack build`
29 | -   **Test:** `stack test`
30 | -   **Run:** `stack exec iele-assemble -- [OPTIONS] FILE`
31 | 


--------------------------------------------------------------------------------
/iele-assemble/Setup.hs:
--------------------------------------------------------------------------------
1 | import Distribution.Simple
2 | main = defaultMain
3 | 


--------------------------------------------------------------------------------
/iele-assemble/default.nix:
--------------------------------------------------------------------------------
 1 | { checkMaterialization ? false
 2 | }:
 3 | 
 4 | let
 5 |   sources = import ../nix/sources.nix;
 6 | 
 7 |   pkgs =
 8 |     let
 9 |       haskell-nix = import sources."haskell.nix" {};
10 |       inherit (haskell-nix) nixpkgsArgs;
11 |       args = nixpkgsArgs // { };
12 |     in import haskell-nix.sources.nixpkgs args;
13 |   inherit (pkgs) lib haskell-nix;
14 | 
15 |   project = (args: haskell-nix.stackProject args) {
16 |     inherit checkMaterialization;
17 |     materialized = ../nix/iele-assemble.nix.d;
18 |     src = haskell-nix.haskellLib.cleanGit { src = ./..; subDir = "iele-assemble"; };
19 |   };
20 | 
21 |   rematerialize = pkgs.writeScript "rematerialize.sh" ''
22 |     #!/bin/sh
23 |     ${project.stack-nix.passthru.updateMaterialized}
24 |   '';
25 | 
26 |   default =
27 |     {
28 |       inherit pkgs project;
29 |       inherit rematerialize;
30 |       inherit (project.iele-assemble.components.exes) iele-assemble;
31 |     };
32 | 
33 | in default
34 | 


--------------------------------------------------------------------------------
/iele-assemble/iele-assemble.cabal:
--------------------------------------------------------------------------------
 1 | cabal-version:       >=1.10
 2 | name:                iele-assemble
 3 | version:             0.0.1.0
 4 | -- synopsis:
 5 | -- description:
 6 | homepage:            https://github.com/runtimeverification/iele-semantics#readme
 7 | license:             NCSA
 8 | license-file:        LICENSE
 9 | author:              Virgil Serbanuta
10 | maintainer:          virgil.serbanuta@runtimeverification.com
11 | copyright:           2017 Runtime Verification
12 | category:            Compilers/Interpreters, Language
13 | build-type:          Simple
14 | 
15 | extra-source-files: README.md
16 | 
17 | source-repository head
18 |   type:     git
19 |   location: https://github.com/runtimeverification/iele-semantics
20 | 
21 | library
22 |   default-language: Haskell2010
23 |   hs-source-dirs: src
24 |   exposed-modules:
25 |     IeleParser
26 |     IeleDesugar
27 |     IelePrint
28 |     IeleTypes
29 |     IeleInstructions
30 |     IeleAssembler
31 |     IeleParserImplementation
32 |   other-modules:
33 |     IeleTHUtil
34 |   build-depends: base >= 4.7 && < 5
35 |   build-depends: parsec >=3.1 && <3.2
36 |   build-depends: containers
37 |   build-depends: lens
38 |   build-depends: bifunctors
39 |   build-depends: validation
40 |   build-depends: cereal
41 |   build-depends: bytestring
42 |   build-depends: pretty
43 |   build-depends: sandi
44 |   build-depends: template-haskell
45 | 
46 | executable iele-assemble
47 |   default-language:    Haskell2010
48 |   hs-source-dirs:      app
49 |   main-is:             Main.hs
50 |   ghc-options:         -threaded -rtsopts -with-rtsopts=-N
51 |   build-depends: base
52 |   build-depends: iele-assemble
53 |   build-depends: parsec >=3.1 && <3.2
54 |   build-depends: bytestring
55 |   build-depends: sandi
56 | 
57 | test-suite iele-assemble-test
58 |   type:                exitcode-stdio-1.0
59 |   default-language:    Haskell2010
60 |   hs-source-dirs:      test
61 |   main-is:             TestParser.hs
62 |   ghc-options:         -threaded -rtsopts -with-rtsopts=-N
63 |   build-depends: base
64 |   build-depends: iele-assemble
65 |   build-depends: parsec >=3.1 && <3.2
66 |   build-depends: tasty
67 |   build-depends: tasty-hunit
68 | 


--------------------------------------------------------------------------------
/iele-assemble/nix/rematerialize.sh:
--------------------------------------------------------------------------------
1 | #!/bin/sh
2 | 
3 | $(nix-build --no-out-link -A project.stack-nix.passthru.updateMaterialized)
4 | 


--------------------------------------------------------------------------------
/iele-assemble/shell.nix:
--------------------------------------------------------------------------------
 1 | { default ? import ./. {} }:
 2 | 
 3 | let
 4 |   inherit (default) project;
 5 |   inherit (project) shellFor;
 6 | 
 7 |   sources = import ../nix/sources.nix;
 8 |   pkgs = import sources."nixpkgs" {};
 9 | 
10 |   inherit (pkgs) stack;
11 | in
12 | 
13 | shellFor {
14 |   buildInputs = [ stack ];
15 | }
16 | 


--------------------------------------------------------------------------------
/iele-assemble/src/IeleParser.hs:
--------------------------------------------------------------------------------
1 | module IeleParser (ieleParser, ieleParser1, emptyParserState) where
2 | 
3 | import IeleParserImplementation
4 | 


--------------------------------------------------------------------------------
/iele-assemble/src/IeleTHUtil.hs:
--------------------------------------------------------------------------------
 1 | module IeleTHUtil where
 2 | import Data.List(stripPrefix)
 3 | import Data.Maybe(maybeToList)
 4 | import Data.Char(isUpper,toLower)
 5 | import Language.Haskell.TH
 6 | import Control.Lens
 7 | import Control.Lens.TH
 8 | 
 9 | makeFieldsWithNamer namer tyName =
10 |   makeLensesWith (defaultFieldRules & lensField .~ namer) tyName
11 | 
12 | makeFieldsForPrefix :: String -> Name -> DecsQ
13 | makeFieldsForPrefix prefix tyName = makeFieldsWithNamer namer tyName
14 |  where
15 |   namer tyName _ field = maybeToList $ do
16 |     fieldPart <- stripPrefix prefix (nameBase field)
17 |     method    <- case fieldPart of
18 |       (x:xs) | isUpper x -> Just (toLower x:xs)
19 |       _ -> Nothing
20 |     let cls = "Has" ++ fieldPart
21 |     return (MethodName (mkName ("Has"++fieldPart)) (mkName method))
22 | 
23 | makeFieldsFor :: [(String,String)] -> Name -> DecsQ
24 | makeFieldsFor mapping tyName = makeFieldsWithNamer (lookingupNamer mapping) tyName
25 | 


--------------------------------------------------------------------------------
/iele-assemble/stack.yaml:
--------------------------------------------------------------------------------
 1 | # This file was automatically generated by 'stack init'
 2 | #
 3 | # Some commonly used options have been documented as comments in this file.
 4 | # For advanced use and comprehensive documentation of the format, please see:
 5 | # https://docs.haskellstack.org/en/stable/yaml_configuration/
 6 | 
 7 | # Resolver to choose a 'specific' stackage snapshot or a compiler version.
 8 | # A snapshot resolver dictates the compiler version and the set of packages
 9 | # to be used for project dependencies. For example:
10 | #
11 | # resolver: lts-3.5
12 | # resolver: nightly-2015-09-21
13 | # resolver: ghc-7.10.2
14 | # resolver: ghcjs-0.1.0_ghc-7.10.2
15 | # resolver:
16 | #  name: custom-snapshot
17 | #  location: "./custom-snapshot.yaml"
18 | resolver: lts-16.22
19 | 
20 | # User packages to be built.
21 | # Various formats can be used as shown in the example below.
22 | #
23 | # packages:
24 | # - some-directory
25 | # - https://example.com/foo/bar/baz-0.0.2.tar.gz
26 | # - location:
27 | #    git: https://github.com/commercialhaskell/stack.git
28 | #    commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
29 | # - location: https://github.com/commercialhaskell/stack/commit/e7b331f14bcffb8367cd58fbfc8b40ec7642100a
30 | #   extra-dep: true
31 | #  subdirs:
32 | #  - auto-update
33 | #  - wai
34 | #
35 | # A package marked 'extra-dep: true' will only be built if demanded by a
36 | # non-dependency (i.e. a user package), and its test suites and benchmarks
37 | # will not be run. This is useful for tweaking upstream packages.
38 | packages:
39 |   - .
40 | 
41 | # Dependency packages to be pulled from upstream that are not in the resolver
42 | # (e.g., acme-missiles-0.3)
43 | extra-deps:
44 |   - sandi-0.5
45 | 
46 | # Override default flag values for local packages and extra-deps
47 | flags: {}
48 | 
49 | # Extra package databases containing global packages
50 | extra-package-dbs: []
51 | 
52 | # Control whether we use the GHC we find on the path
53 | # system-ghc: true
54 | #
55 | # Require a specific version of stack, using version ranges
56 | # require-stack-version: -any # Default
57 | # require-stack-version: ">=1.5"
58 | #
59 | # Override the architecture used by stack, especially useful on Windows
60 | # arch: i386
61 | # arch: x86_64
62 | #
63 | # Extra directories used by stack for building
64 | # extra-include-dirs: [/path/to/dir]
65 | # extra-lib-dirs: [/path/to/dir]
66 | #
67 | # Allow a newer minor version of GHC than the snapshot specifies
68 | # compiler-check: newer-minor
69 | 


--------------------------------------------------------------------------------
/iele-assemble/stack.yaml.lock:
--------------------------------------------------------------------------------
 1 | # This file was autogenerated by Stack.
 2 | # You should not edit this file by hand.
 3 | # For more information, please see the documentation at:
 4 | #   https://docs.haskellstack.org/en/stable/lock_files
 5 | 
 6 | packages:
 7 | - completed:
 8 |     hackage: sandi-0.5@sha256:b278d072ca717706ea38f9bd646e023f7f2576a778fb43565b434f93638849aa,3010
 9 |     pantry-tree:
10 |       size: 3455
11 |       sha256: 5ca7ce4bc22ab9d4427bb149b5e283ab9db43375df14f7131fdfd48775f36350
12 |   original:
13 |     hackage: sandi-0.5
14 | snapshots:
15 | - completed:
16 |     size: 532414
17 |     url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/16/22.yaml
18 |     sha256: e483fb88549fc0f454c190979bf35ac91c7aceff2c0e71e7d8edd11842d772d8
19 |   original: lts-16.22
20 | 


--------------------------------------------------------------------------------
/iele-examples/README.md:
--------------------------------------------------------------------------------
 1 | # Iele examples
 2 | 
 3 | ## Structure
 4 | 
 5 | * **erc20.iele**: Implements the ERC-20 token standard.
 6 | * **forwarder.iele**: Implements a forwarder that forwards any funds sent to
 7 |   the account it is deployed with to the account that created it.
 8 | * **forwardingWallet-copycreate.iele**: Showcases the dynamic contract creation
 9 |   feature of IELE. Implements a wallet that can serve deposit and withdrawal
10 |   requests as well as setup new accounts that forward funds sent to them to
11 |   this wallet.
12 | * **forwardingWallet.iele**: Showcases the dynamic contract creation
13 |   feature of IELE. Implements a forwarder that forwards any funds sent to
14 |   its account to the account that created it.
15 | * **simpleOpenAuction.iele**: Implements a simple open auction.
16 | 
17 | Tests for these contracts are under `tests/iele/`
18 | 
19 | ## Running the tests
20 | 
21 | To run all the tests for these examples, run
22 | ```sh
23 | make iele-test
24 | ```
25 | 
26 | To run individual tests use `./blockchaintest` on the corresponding
27 | `.iele.json` file(s).
28 | 
29 | * The files in `tests/iele/ERC20` all test `erc20.iele`.
30 | * The file `copycreate.iele.json` in `tests/iele/forwarder` tests
31 |   `forwardingWallet-copycreate.iele` and `forwarder.iele`
32 | while `create.iele.json` tests `forwardingWallet.iele` and `forwarder.iele`.
33 | * The files in `tests/iele/auction` all test `simpleOpenAuction.iele`.
34 | 
35 | ## Correctness proofs
36 | 
37 | Will be available soon.
38 | 


--------------------------------------------------------------------------------
/iele-examples/factorial.iele:
--------------------------------------------------------------------------------
 1 | contract Factorial {
 2 | 
 3 |   define public @factorial(%n) {
 4 |     // ensure that %n is larger than or equal to 0.
 5 |     %lt = cmp lt %n, 0
 6 |     br %lt, throw
 7 | 
 8 |     %result = 1
 9 | 
10 |   condition:
11 |     %cond = cmp le %n, 0
12 |     br %cond, after_loop
13 | 
14 |   loop_body:
15 |     %result = mul %result, %n
16 |     %n      = sub %n, 1
17 |     br condition
18 | 
19 |   after_loop:
20 |     ret %result
21 | 
22 |   throw:
23 |     call @iele.invalid()
24 |   }
25 | 
26 |   define @init() {}
27 | }
28 | 


--------------------------------------------------------------------------------
/iele-examples/forwarder.iele:
--------------------------------------------------------------------------------
 1 | // Copyright (c) 2017 Runtime Verification, Inc. All Rights Reserved.
 2 | //
 3 | // This contract implements a forwarder that forwards any funds sent to
 4 | // the account it is deployed with to the account that created it.
 5 | contract Forwarder {
 6 | 
 7 |   // initializes a forwarder by storing in the account storage the account
 8 |   // number of the creator, this is the account to which received funds should
 9 |   // be forwarded
10 |   define @init() {
11 |     %parent = call @iele.caller()
12 |     %zero = 0
13 |     sstore %parent, %zero
14 |   }
15 | 
16 |   // deposit forwards the recieved funds to the creator of this account
17 |   define public @deposit() {
18 |     // get the received funds
19 |     %value = call @iele.callvalue()
20 | 
21 |     // get the creator account, where we should forward funds, from the storage
22 |     %zero = 0
23 |     %sender = sload %zero
24 | 
25 |     // forward funds by calling deposit at the creator account
26 |     %gas = call @iele.gas()
27 |     %status = call @deposit at %sender () send %value , gaslimit %gas
28 |     br %status, throw // contract call failed
29 |     ret void
30 | 
31 |   throw:
32 |     call @iele.invalid()
33 |   }
34 | }
35 | 


--------------------------------------------------------------------------------
/iele-examples/forwardingWallet-copycreate.iele:
--------------------------------------------------------------------------------
 1 | // Copyright (c) 2017 Runtime Verification, Inc. All Rights Reserved.
 2 | //
 3 | // This example showcases the dynamic contract creation feature of IELE. The
 4 | // Wallet contract can dynamically create accounts and deploy a full copy of a
 5 | // contract already deployed in an existing account. The deployed code is not
 6 | // statically known but it is not dynamically generated either.
 7 | 
 8 | // This contract implements a wallet that can serve deposit and withdrawal
 9 | // requests as well as setup new accounts that forward funds sent to them to
10 | // this wallet. Only the owner can withdraw and/or setup new forwarders. The
11 | // contract deployed with a new forwarder account is found with (and copied
12 | // from) a provided account. An example of such a contract can be found in the
13 | // forwarder.iele example.
14 | contract Wallet {
15 | 
16 |   // initializes a wallet account by storing the provided account address in
17 |   // %owner as the wallet's owner and the provided account address in %forwarder
18 |   // as the account from where the forwarder contract can be copied.
19 |   define @init(%owner, %forwarder) {
20 |     sstore %owner, 0
21 |     sstore %forwarder, 1
22 |   }
23 | 
24 |   // deposits the sent value to the wallet account's balance
25 |   define public @deposit() {}
26 | 
27 |   // withdraws amount equal to %value from the wallet and sends it to the
28 |   // account address %to
29 |   define public @withdraw(%to, %value) {
30 |     // get the wallet's owner from storage
31 |     %owner = sload 0
32 | 
33 |     // ensure that the caller (the withdrawer) is the wallet's owner
34 |     %caller = call @iele.caller()
35 |     %isnotowner = cmp ne %caller, %owner
36 |     br %isnotowner, throw
37 | 
38 |     // withdraw the desired amount and send it to the desired account
39 |     %gas = call @iele.gas()
40 |     %status = call @deposit at %to () send %value , gaslimit %gas
41 |     br %status, throw // throw if call fails
42 |     ret void
43 | 
44 |   throw:
45 |     call @iele.invalid()
46 |   }
47 | 
48 |   // creates a new account that simply forwards any funds sent to it to this
49 |   // wallet and returns the address of the created forwarder account
50 |   define public @newForwarder() {
51 |     // get the wallet's owner from storage
52 |     %owner = sload 0
53 | 
54 |     // ensure that the caller is the wallet's owner
55 |     %caller = call @iele.caller()
56 |     %isnotowner = cmp ne %caller, %owner
57 |     br %isnotowner, throw
58 | 
59 |     // get the address of the account with the forwarder contract to copy
60 |     %forwarder = sload 1
61 | 
62 |     // create a new account, deploy the forwarder contract copied from the
63 |     // designated account and return the new account's address
64 |     %status, %addr = copycreate %forwarder () send 0
65 |     br %status, throw
66 |     ret %addr
67 | 
68 |   throw:
69 |     call @iele.invalid()
70 |   }
71 | }
72 | 


--------------------------------------------------------------------------------
/iele-examples/sum.iele:
--------------------------------------------------------------------------------
 1 | //  int sum(int n) {
 2 | //    int result;
 3 | //    result = 0;
 4 | //    while (n > 0) {
 5 | //      result = result + n;
 6 | //      n = n - 1;
 7 | //    }
 8 | //    return result; }
 9 | 
10 | 
11 | contract Sum {
12 | 
13 |   define public @sum(%n) {
14 |     // ensure that %n is larger than or equal to 0.
15 |     %lt = cmp lt %n, 0
16 |     br %lt, throw
17 | 
18 |     %result = 0
19 | 
20 |   condition:
21 |     %cond = cmp le %n, 0
22 |     br %cond, after_loop
23 | 
24 |   loop_body:
25 |     %result = add %result, %n
26 |     %n      = sub %n, 1
27 |     br condition
28 | 
29 |   after_loop:
30 |     ret %result
31 | 
32 |   throw:
33 |     call @iele.invalid()
34 |   }
35 | 
36 |   define @init() {}
37 | }
38 | 


--------------------------------------------------------------------------------
/kast-json.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | 
 3 | import json
 4 | import sys
 5 | from collections import OrderedDict
 6 | 
 7 | filename = sys.argv[1]
 8 | 
 9 | with open(filename) as data_file:    
10 |     data = json.load(data_file, object_pairs_hook=OrderedDict)
11 | 
12 | def escape(data):
13 |   return data.encode('unicode_escape')
14 | 
15 | def print_kast(data):
16 |   if isinstance(data, list):
17 |     sys.stdout.write('`[_]_IELE-DATA`(')
18 |     for elem in data:
19 |       sys.stdout.write('`_,__IELE-DATA`(')
20 |       print_kast(elem)
21 |       sys.stdout.write(',')
22 |     sys.stdout.write('`.List{"_,__IELE-DATA"}`(.KList)')
23 |     for elem in data:
24 |       sys.stdout.write(')')
25 |     sys.stdout.write(')')
26 |   elif isinstance(data, OrderedDict):
27 |     sys.stdout.write('`{_}_IELE-DATA`(')
28 |     for key, value in data.items():
29 |       sys.stdout.write('`_,__IELE-DATA`(`_:__IELE-DATA`(')
30 |       print_kast(key)
31 |       sys.stdout.write(',')
32 |       print_kast(value)
33 |       sys.stdout.write('),')
34 |     sys.stdout.write('`.List{"_,__IELE-DATA"}`(.KList)')
35 |     for key in data:
36 |       sys.stdout.write(')')
37 |     sys.stdout.write(')')
38 |   elif isinstance(data, str) or isinstance(data, unicode):
39 |     sys.stdout.write('#token('),
40 |     sys.stdout.write(json.dumps(json.dumps(data)))
41 |     sys.stdout.write(',"String")')
42 |   elif isinstance(data, bool):
43 |     sys.stdout.write('#token("'),
44 |     sys.stdout.write("true" if data else "false")
45 |     sys.stdout.write('","Bool")')
46 |   elif isinstance(data, long) or isinstance(data, int):
47 |     sys.stdout.write('#token("'),
48 |     sys.stdout.write(str(data))
49 |     sys.stdout.write('","Int")')
50 |   else:
51 |     sys.stdout.write(type(data))
52 |     raise AssertionError
53 | 
54 | print_kast(data)
55 | print
56 | 


--------------------------------------------------------------------------------
/nix/iele-assemble.nix.d/iele-assemble/.stack-to-nix.cache:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/nix/iele-assemble.nix.d/iele-assemble/.stack-to-nix.cache


--------------------------------------------------------------------------------
/nix/iele-assemble.nix.d/iele-assemble/default.nix:
--------------------------------------------------------------------------------
 1 | {
 2 |   extras = hackage:
 3 |     {
 4 |       packages = {
 5 |         "sandi" = (((hackage.sandi)."0.5").revisions).default;
 6 |         iele-assemble = ./iele-assemble.nix;
 7 |         };
 8 |       };
 9 |   resolver = "lts-16.22";
10 |   modules = [ ({ lib, ... }: { packages = {}; }) { packages = {}; } ];
11 |   }


--------------------------------------------------------------------------------
/nix/k.lock.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "url": "https://github.com/kframework/k.git",
 3 |   "rev": "f35d613f4fc2b1148742c6411631eca597056799",
 4 |   "date": "2020-12-17T19:49:37-07:00",
 5 |   "path": "/nix/store/4d0fm5s6p0q2yn4f9m5mx5n7k2b4hvm3-k",
 6 |   "sha256": "1iyppcjyjg77k4c4fy5hhwlqcbfrg4xbj7xsa0r4za11b46z3i9w",
 7 |   "fetchSubmodules": true,
 8 |   "deepClone": false,
 9 |   "leaveDotGit": false
10 | }
11 | 


--------------------------------------------------------------------------------
/nix/kiele.nix:
--------------------------------------------------------------------------------
 1 | { stdenv, lib, src, cleanSourceWith
 2 | , protobuf
 3 | , cryptopp, libff, mpfr, secp256k1
 4 | , jemalloc, libffi, ncurses
 5 | , k, haskell-backend, llvm-backend, clang, python
 6 | , iele-assemble
 7 | }:
 8 | 
 9 | let src' = src; in
10 | 
11 | let
12 |   version = "0.2.0";
13 | 
14 |   src = cleanSourceWith {
15 |     name = "iele-semantics";
16 |     src = src';
17 |     ignore = [
18 |       "*.nix"
19 |       "/iele-assemble"
20 |       "/iele-examples"
21 |       "/nix"
22 |       "/package"
23 |       "/tests"
24 |       "/web"
25 |     ];
26 |   };
27 | 
28 |   mkIELE = target: f: stdenv.mkDerivation (f {
29 |     pname = "iele-${target}";
30 |     inherit version;
31 |     src = cleanSourceWith {
32 |       name = "iele-semantics";
33 |       inherit src;
34 |     };
35 |     nativeBuildInputs = [ protobuf k haskell-backend llvm-backend clang ];
36 |     buildInputs = [ cryptopp libff mpfr secp256k1 ];
37 |     makeFlags =
38 |       [
39 |         "INSTALL_PREFIX=${builtins.placeholder "out"}"
40 |         "SYSTEM_LIBFF=true"
41 |         "SYSTEM_LIBSECP256K1=true"
42 |         "SYSTEM_LIBCRYPTOPP=true"
43 |       ];
44 |     buildFlags = [ "build-${target}" ];
45 |     installTargets = [ "install-${target}" ];
46 |   });
47 | 
48 |   iele-interpreter = mkIELE "interpreter" (x: x);
49 | 
50 |   iele-vm = mkIELE "vm" (x: x);
51 | 
52 |   iele-check = mkIELE "check" (x: x);
53 | 
54 |   host-PATH = lib.makeBinPath [ k llvm-backend haskell-backend ];
55 | 
56 | in
57 | 
58 | stdenv.mkDerivation {
59 |   pname = "kiele";
60 |   inherit version src;
61 |   nativeBuildInputs = [ k python ];
62 |   makeFlags = [ "INSTALL_PREFIX=${builtins.placeholder "out"}" ];
63 |   postPatch = ''
64 |     sed -i kiele \
65 |       -e "/^INSTALL_BIN=/ c INSTALL_BIN=\"$out/bin\"" \
66 |       -e "/^export LD_LIBRARY_PATH=/ d" \
67 |       -e '2 i export PATH="${host-PATH}:$PATH"'
68 | 
69 |     patchShebangs kore-json.py
70 |   '';
71 |   buildFlags = [ "build-kiele" ];
72 |   installTargets = [ "install-kiele" ];
73 |   postInstall = ''
74 |     ln -s ${lib.getBin iele-assemble}/bin/iele-assemble $out/bin
75 | 
76 |     ln -s ${lib.getLib iele-interpreter}/lib/kiele/standalone $out/lib/kiele
77 |     ln -s ${lib.getLib iele-check}/lib/kiele/check $out/lib/kiele
78 |     ln -s ${lib.getLib iele-vm}/lib/kiele/node $out/lib/kiele
79 |   '';
80 |   passthru = { inherit iele-assemble iele-check iele-interpreter iele-vm; };
81 | }
82 | 


--------------------------------------------------------------------------------
/nix/libff.nix:
--------------------------------------------------------------------------------
1 | { stdenv, lib, cmake, pkgconfig, gmp, openssl, procps, src }:
2 | 
3 | stdenv.mkDerivation {
4 |   name = "libff";
5 |   inherit src;
6 |   nativeBuildInputs = [ cmake pkgconfig ];
7 |   propagatedBuildInputs = [ gmp openssl procps ];
8 |   cmakeFlags = lib.optional stdenv.isDarwin "-DWITH_PROCPS=off";
9 | }


--------------------------------------------------------------------------------
/nix/rematerialize.sh:
--------------------------------------------------------------------------------
1 | #!/bin/sh
2 | 
3 | $(nix-build --no-out-link iele-assemble -A rematerialize)
4 | 


--------------------------------------------------------------------------------
/nix/sources.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "haskell.nix": {
 3 |         "branch": "7078b145e981e8b14fc7ea62126fab3378090ef4",
 4 |         "description": "Alternative Haskell Infrastructure for Nixpkgs",
 5 |         "homepage": "https://input-output-hk.github.io/haskell.nix",
 6 |         "owner": "input-output-hk",
 7 |         "repo": "haskell.nix",
 8 |         "rev": "7078b145e981e8b14fc7ea62126fab3378090ef4",
 9 |         "sha256": "01vwsz14nkjd4qggxxmscmvvfcsbch0lf0frvldf8p4w1rwl54va",
10 |         "type": "tarball",
11 |         "url": "https://github.com/input-output-hk/haskell.nix/archive/7078b145e981e8b14fc7ea62126fab3378090ef4.tar.gz",
12 |         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
13 |     },
14 |     "niv": {
15 |         "branch": "master",
16 |         "description": "Easy dependency management for Nix projects",
17 |         "homepage": "https://github.com/nmattia/niv",
18 |         "owner": "nmattia",
19 |         "repo": "niv",
20 |         "rev": "65a61b147f307d24bfd0a5cd56ce7d7b7cc61d2e",
21 |         "sha256": "17mirpsx5wyw262fpsd6n6m47jcgw8k2bwcp1iwdnrlzy4dhcgqh",
22 |         "type": "tarball",
23 |         "url": "https://github.com/nmattia/niv/archive/65a61b147f307d24bfd0a5cd56ce7d7b7cc61d2e.tar.gz",
24 |         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
25 |     },
26 |     "nix-lib": {
27 |         "branch": "main",
28 |         "description": "A library of useful Nix functions",
29 |         "homepage": null,
30 |         "owner": "ttuegel",
31 |         "repo": "nix-lib",
32 |         "rev": "66bb0ab890ff4d828a2dcfc7d5968465d0c7084f",
33 |         "sha256": "03828qxfxc1xv44jj6y2ar5h58lcppg0admn0smqzm3s1gk6rbnc",
34 |         "type": "tarball",
35 |         "url": "https://github.com/ttuegel/nix-lib/archive/66bb0ab890ff4d828a2dcfc7d5968465d0c7084f.tar.gz",
36 |         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
37 |     },
38 |     "nixpkgs": {
39 |         "branch": "nixos-21.05",
40 |         "description": "Nix Packages collection",
41 |         "homepage": "",
42 |         "owner": "nixos",
43 |         "repo": "nixpkgs",
44 |         "rev": "aff647e2704fa1223994604887bb78276dc57083",
45 |         "sha256": "18zi4dq9d4c4v5rr5chkpb6mj27xrdybsp1qy17d9038clzgd315",
46 |         "type": "tarball",
47 |         "url": "https://github.com/nixos/nixpkgs/archive/aff647e2704fa1223994604887bb78276dc57083.tar.gz",
48 |         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
49 |     }
50 | }
51 | 


--------------------------------------------------------------------------------
/package/debian/Dockerfile:
--------------------------------------------------------------------------------
 1 | ARG BASE_IMAGE=ubuntu:bionic
 2 | FROM ${BASE_IMAGE}
 3 | ARG BASE_IMAGE
 4 | 
 5 | ENV TZ=America/Chicago
 6 | RUN    ln --symbolic --no-dereference --force /usr/share/zoneinfo/$TZ /etc/localtime \
 7 |     && echo $TZ > /etc/timezone
 8 | 
 9 | RUN    apt-get update         \
10 |     && apt-get upgrade --yes  \
11 |     && apt-get install --yes  \
12 |             clang-8           \
13 |             cmake             \
14 |             curl              \
15 |             dh-make           \
16 |             git               \
17 |             jq                \
18 |             libcrypto++-dev   \
19 |             libffi-dev        \
20 |             libgflags-dev     \
21 |             libjemalloc-dev   \
22 |             libprocps-dev     \
23 |             libprotobuf-dev   \
24 |             libsecp256k1-dev  \
25 |             libssl-dev        \
26 |             netcat-openbsd    \
27 |             opam              \
28 |             pkg-config        \
29 |             protobuf-compiler \
30 |             python3-pip       \
31 |             rapidjson-dev     \
32 |             sudo
33 | 
34 | RUN curl -sSL https://get.haskellstack.org/ | sh
35 | 
36 | RUN pip3 install dataclasses dacite
37 | 
38 | ARG USER_ID=1000
39 | ARG GROUP_ID=1000
40 | RUN    groupadd -g $GROUP_ID user                                                \
41 |     && useradd --create-home --uid $USER_ID --shell /bin/sh --gid $GROUP_ID user \
42 |     && echo "user ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers
43 | 


--------------------------------------------------------------------------------
/package/debian/Dockerfile.test:
--------------------------------------------------------------------------------
 1 | ARG BASE_IMAGE=ubuntu:bionic
 2 | FROM ${BASE_IMAGE}
 3 | ARG BASE_IMAGE
 4 | 
 5 | ENV TZ=America/Chicago
 6 | RUN    ln --symbolic --no-dereference --force /usr/share/zoneinfo/$TZ /etc/localtime \
 7 |     && echo $TZ > /etc/timezone
 8 | 
 9 | RUN    apt-get update         \
10 |     && apt-get upgrade --yes  \
11 |     && apt-get install --yes  \
12 |             autoconf          \
13 |             curl              \
14 |             git               \
15 |             libgmp-dev        \
16 |             make              \
17 |             pkg-config        \
18 |             python            \
19 |             opam              \
20 |             sudo              \
21 |             zlib1g-dev
22 | 
23 | ARG USER_ID=1000
24 | ARG GROUP_ID=1000
25 | RUN    groupadd -g $GROUP_ID user                                                \
26 |     && useradd --create-home --uid $USER_ID --shell /bin/sh --gid $GROUP_ID user \
27 |     && echo "user ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers
28 | 
29 | USER user:user
30 | 
31 | RUN    if [ "${BASE_IMAGE}" = "ubuntu:bionic" ]; then opam init --yes; else opam init --yes --disable-sandboxing; fi \
32 |     && opam install --yes zarith hex uuidm rlp yojson cryptokit ocaml-protoc
33 | 
34 | ENV LANG=C.UTF-8
35 | ENV DEBIAN_FRONTEND=noninteractive
36 | 


--------------------------------------------------------------------------------
/package/debian/build-package.sh:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env bash
 2 | 
 3 | set -euxo pipefail
 4 | 
 5 | K_RELEASE="$1"
 6 | UBUNTU_RELEASE="$2"
 7 | 
 8 | ubuntu_release_descriptor=''
 9 | case ${UBUNTU_RELEASE} in
10 |     bionic) ubuntu_release_descriptor='Bionic (18.04)' ;;
11 |     focal)  ubuntu_release_descriptor='Focal (20.04)'  ;;
12 | esac
13 | 
14 | K_RELEASE_URL=$(curl -s 'https://api.github.com/repos/kframework/k/releases' | jq --raw-output '. | map(select(.tag_name == "'${K_RELEASE}'")) | map(.assets)[0] | map(select(.label == "Ubuntu '"${ubuntu_release_descriptor}"' Package"))[0] | .browser_download_url')
15 | curl --fail --location "${K_RELEASE_URL}" --output kframework-${UBUNTU_RELEASE}.deb
16 | sudo apt-get update && sudo apt-get upgrade --yes
17 | sudo apt-get install --yes ./kframework-${UBUNTU_RELEASE}.deb
18 | sudo bash -c 'OPAMROOT=/usr/lib/kframework/opamroot k-configure-opam'
19 | sudo bash -c 'OPAMROOT=/usr/lib/kframework/opamroot opam install --yes ocaml-protoc rlp yojson zarith hex uuidm cryptokit'
20 | export OPAMROOT=/usr/lib/kframework/opamroot
21 | cp -r package/debian ./
22 | mv debian/control.${UBUNTU_RELEASE} debian/control
23 | dpkg-buildpackage
24 | mv ../kiele_${KIELE_VERSION}_amd64.deb ../kiele_${KIELE_VERSION}_amd64_${UBUNTU_RELEASE}.deb
25 | 


--------------------------------------------------------------------------------
/package/debian/changelog:
--------------------------------------------------------------------------------
1 | kiele (0.1.0) unstable; urgency=medium
2 | 
3 |   * Initial Release.
4 | 
5 |  -- Everett Hildenbrandt <everett.hildenbrandt@runtimeverification.com> Tue, 16 Jul 2019 00:14:12 -0700
6 | 


--------------------------------------------------------------------------------
/package/debian/compat:
--------------------------------------------------------------------------------
1 | 9


--------------------------------------------------------------------------------
/package/debian/control.bionic:
--------------------------------------------------------------------------------
 1 | Source: kiele
 2 | Section: devel
 3 | Priority: optional
 4 | Maintainer: Everett Hildenbrandt <everett.hildenbrandt@runtimeverification.com>
 5 | Build-Depends: clang-8 , cmake , kframework , libcrypto++-dev , libjemalloc-dev , libprocps-dev , libprotobuf-dev , libsecp256k1-dev , libssl-dev , opam , pkg-config , protobuf-compiler
 6 | Standards-Version: 3.9.6
 7 | Homepage: https://github.com/runtimeverification/iele-semantics
 8 | 
 9 | Package: kiele
10 | Architecture: any
11 | Section: devel
12 | Priority: optional
13 | Depends: libcrypto++6 , libjemalloc1 , libmpfr6 , libprotobuf10 , libsecp256k1-0
14 | Description: KIELE
15 |  K Semantics of the Iele Virtual Machine
16 | 


--------------------------------------------------------------------------------
/package/debian/control.focal:
--------------------------------------------------------------------------------
 1 | Source: kiele
 2 | Section: devel
 3 | Priority: optional
 4 | Maintainer: Everett Hildenbrandt <everett.hildenbrandt@runtimeverification.com>
 5 | Build-Depends: clang-8 , cmake , kframework , libcrypto++-dev , libjemalloc-dev , libprocps-dev , libprotobuf-dev , libsecp256k1-dev , libssl-dev , opam , pkg-config , protobuf-compiler
 6 | Standards-Version: 3.9.6
 7 | Homepage: https://github.com/runtimeverification/iele-semantics
 8 | 
 9 | Package: kiele
10 | Architecture: any
11 | Section: devel
12 | Priority: optional
13 | Depends: libcrypto++6 , libjemalloc2 , libmpfr6 , libprotobuf17 , libsecp256k1-0
14 | Description: KIELE
15 |  K Semantics of the Iele Virtual Machine
16 | 


--------------------------------------------------------------------------------
/package/debian/rules:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/make -f
 2 | # See debhelper(7) (uncomment to enable)
 3 | # output every command that modifies files on the build system.
 4 | #export DH_VERBOSE = 1
 5 | 
 6 | 
 7 | # see FEATURE AREAS in dpkg-buildflags(1)
 8 | #export DEB_BUILD_MAINT_OPTIONS = hardening=+all
 9 | 
10 | # see ENVIRONMENT in dpkg-buildflags(1)
11 | # package maintainers to append CFLAGS
12 | #export DEB_CFLAGS_MAINT_APPEND  = -Wall -pedantic
13 | # package maintainers to append LDFLAGS
14 | #export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed
15 | 
16 | %:
17 | 	dh $@
18 | 
19 | override_dh_auto_build:
20 | 	git submodule update --init --recursive
21 | 	make build -j4
22 | 
23 | override_dh_auto_install:
24 | 	make install DESTDIR=${CURDIR}/debian/kiele INSTALL_PREFIX=/usr
25 | 
26 | override_dh_auto_test:
27 | 	true
28 | 
29 | # dh_make generated override targets
30 | # This is example for Cmake (See https://bugs.debian.org/641051 )
31 | #override_dh_auto_configure:
32 | #	dh_auto_configure -- #	-DCMAKE_LIBRARY_PATH=$(DEB_HOST_MULTIARCH)
33 | 


--------------------------------------------------------------------------------
/package/docker/Dockerfile:
--------------------------------------------------------------------------------
 1 | ARG K_COMMIT
 2 | ARG DISTRO
 3 | FROM runtimeverificationinc/kframework-k:ubuntu-${DISTRO}-${K_COMMIT}
 4 | 
 5 | RUN    apt-get update        \
 6 |     && apt-get upgrade --yes \
 7 |     && apt-get install --yes \
 8 |                 autoconf     \
 9 |                 libgmp-dev   \
10 |                 pkg-config   \
11 |                 opam         \
12 |                 zlib1g-dev
13 | 
14 | ARG DISTRO
15 | COPY kiele_amd64_${DISTRO}.deb /kiele_amd64_${DISTRO}.deb
16 | RUN    apt-get update                                   \
17 |     && apt-get upgrade --yes                            \
18 |     && apt-get install --yes /kiele_amd64_${DISTRO}.deb \
19 |     && rm -rf /kiele_amd64_${DISTRO}.deb
20 | 
21 | RUN    if [ "${DISTRO}" = "bionic" ]; then opam init --yes; else opam init --yes --disable-sandboxing; fi \
22 |     && opam install --yes zarith hex uuidm rlp yojson cryptokit ocaml-protoc
23 | 


--------------------------------------------------------------------------------
/package/test-package.sh:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env bash
 2 | 
 3 | set -euxo pipefail
 4 | 
 5 | TEST_PORT="$1" ; shift
 6 | 
 7 | make split-tests -j8
 8 | make test-vm -j4
 9 | make test-iele -j4
10 | 
11 | kiele vm --port ${TEST_PORT} &
12 | pid=$!
13 | sleep 3
14 | make test-iele-node  -j4 TEST_PORT=${TEST_PORT}
15 | make test-bad-packet -j4 TEST_PORT=${TEST_PORT}
16 | kill $pid
17 | 


--------------------------------------------------------------------------------
/proto/proto/VERSION:
--------------------------------------------------------------------------------
1 | 3.0
2 | 


--------------------------------------------------------------------------------
/proto/world.h:
--------------------------------------------------------------------------------
 1 | #ifndef WORLD_H
 2 | #define WORLD_H
 3 | 
 4 | std::string of_z_width(unsigned width, mpz_ptr);
 5 | std::string of_z(mpz_ptr);
 6 | mpz_ptr to_z_unsigned(std::string);
 7 | mpz_ptr to_z(std::string);
 8 | 
 9 | class World {
10 | public:
11 |   static io::iohk::ethereum::extvm::Account* get_account(std::string acct);
12 |   static io::iohk::ethereum::extvm::StorageData* get_storage_data(std::string acct, std::string index);
13 |   static io::iohk::ethereum::extvm::Code* get_code(std::string acct);
14 |   static io::iohk::ethereum::extvm::Blockhash* get_blockhash(int offset);
15 | };
16 | 
17 | #endif
18 | 


--------------------------------------------------------------------------------
/pyiele/__init__.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python3
 2 | 
 3 | from .config import *
 4 | from .rlp import *
 5 | from .rpc import *
 6 | from .fetchFunctionData import *
 7 | from .testrunner import *
 8 | from .utils import *
 9 | from .transactionGeneration import *
10 | from .blackbox import *
11 | from .kieleCoverage import *


--------------------------------------------------------------------------------
/pyiele/config.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python3
 2 | 
 3 | class config:
 4 |   port = 8342
 5 |   host = "127.0.0.1"
 6 |   passphrase = "walletNotSecure"
 7 |   master_key = "m-test-shl-mk1a3gmgp0jgxlxgnruasl2dl6xhr4m5hcfnqwlfqu22cgln9cg8q4s4keu08"
 8 |   gas_price = "0x0"
 9 |   gas_limit = "0x166f5777"
10 |   target_directory = "contract_artifacts"
11 |   contracts_dir = "contracts"
12 |   tests_dir = "tests"
13 |   coverage_timeout = 15
14 |   passing_tests = 0
15 |   failing_tests = 0
16 | 


--------------------------------------------------------------------------------
/pyiele/fetchFunctionData.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/python3
 2 | 
 3 | import sys
 4 | import os
 5 | import json
 6 | import re
 7 | from Crypto.Hash import keccak
 8 | 
 9 | def generate_signature(name:str, inputs:dict) -> str:
10 |     ''' A function signature looks like `name(arg_type1,arg_type2)` '''
11 |     args= "(" +','.join([x["type"] for x in inputs]) + ")"
12 |     return name+args
13 | 
14 | def process_file(file: str) -> dict:
15 |     ''' Creates a dict containing information about the names and inputs of the constructor and functions '''
16 |     result = []
17 |     with open(file, "r") as in_file:
18 |         in_dict = json.load(in_file)
19 |         for (contract_key, contract_dict) in in_dict["contracts"].items():
20 |             out_dict = {}
21 |             contract_name = contract_key
22 |             out_dict["contractName"] = contract_name
23 |             out_dict["contractConstructor"] = [
24 |                 {
25 |                     "name": contract_name,
26 |                     "input": [
27 |                         {"name": y["name"], "type": y["type"]} for y in x["inputs"]
28 |                     ]
29 |                 }
30 |                 for x in contract_dict["abi"]
31 |                 if x["type"] == "constructor"
32 |             ]
33 |             out_dict["functionData"] = [
34 |                 {
35 |                     "name": x["name"],
36 |                     "signatureHash": generate_signature(x["name"], x["inputs"]),
37 |                     "input": [
38 |                         {"name": y["name"], "type": y["type"]} for y in x["inputs"]
39 |                     ],
40 |                     "output": [
41 |                         {"name": y["name"], "type": y["type"]} for y in x["outputs"]
42 |                     ],
43 |                 }
44 |                 for x in contract_dict["abi"]
45 |                 if x["type"] == "function"
46 |             ]
47 |             result.append(out_dict)
48 |     return result
49 | 
50 | 
51 | def process_folder(folder_path: str) -> list:
52 |     ''' Runs process_file on all files from a folder '''
53 |     result = []
54 |     for file_name in os.listdir(folder_path):
55 |         if False == os.path.isfile(os.path.join(folder_path, file_name)):
56 |             continue
57 |         result.append(process_file(os.path.join(folder_path, file_name)))
58 |     return result
59 | 
60 | 
61 | def fetch_function_data(arg: str) -> dict:
62 |     ''' Returns information about all the functions and constructors of Solidity Contracts '''
63 |     if os.path.isdir(arg):
64 |         result = process_folder(arg)
65 |     elif os.path.isfile(arg):
66 |         result = process_file(arg)
67 |     else:
68 |         raise Exception("Invalid input", arg)
69 |         sys.exit(2)
70 |     return result
71 | 


--------------------------------------------------------------------------------
/pyiele/rlp.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python3
 2 | 
 3 | import rlp
 4 | import json
 5 | import sys
 6 | 
 7 | def encode_function(f_signature, f_args=[]):
 8 |     '''RLP encodes a function call in the format [f_signature, [f_args]]'''
 9 |     args = []
10 |     for elem in f_args:
11 |       if(isinstance(elem, int)):
12 |           args.append(elem.to_bytes((elem.bit_length() + 7) // 8, 'big'))
13 |       elif (isinstance(elem, str)):
14 |           args.append(bytearray.fromhex(elem))
15 |     return ("0x" + rlp.encode([bytearray(f_signature, "utf-8"), args]).hex())
16 | 
17 | def encode_contract(bytecode, c_args=[]):
18 |     '''RLP encodes the bytecode of acontract in the format [bytecode, [c_args]]'''
19 |     args = []
20 |     for elem in c_args:
21 |       if(isinstance(elem, int)):
22 |           args.append(elem.to_bytes((elem.bit_length() + 7) // 8, 'big'))
23 |       elif (isinstance(elem, str)):
24 |           args.append(bytearray.fromhex(elem))
25 |     return ("0x" + rlp.encode([bytearray.fromhex(bytecode), args]).hex())
26 | 
27 | def decode_response(input):
28 |     '''Decodes an rlp encoded bytearray into a list of int values'''
29 |     b_result = rlp.decode(bytearray.fromhex(input[2:]))
30 |     result = []
31 |     for elem in b_result:
32 |       result.append(int.from_bytes(elem, "big"))
33 |     return result
34 | 


--------------------------------------------------------------------------------
/pyiele/rpc.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/python3
 2 | from subprocess import Popen, PIPE
 3 | import json
 4 | ## RPC Call helpers
 5 | 
 6 | def send_rpc(rpc, host, port):
 7 |     process = Popen(['curl', '--silent', '-H', 'Content-Type: application/json', '--data', rpc, host + ':' + str(port)], stdout=PIPE, stderr=PIPE)
 8 |     stdout, stderr = process.communicate()
 9 |     return stdout
10 | 
11 | def rpc_call(method, params=[], secrets=None):
12 |     rpcobj = { "jsonrpc": "2.0", "id": 1, "method": method, "params": params }
13 |     if(secrets):
14 |       rpcobj["secrets"] = secrets
15 |     return json.dumps(rpcobj)
16 | 
17 | def wallet_restore(passphrase, master_key):
18 |     return rpc_call("wallet_restore", secrets={ "passphrase": passphrase, "masterKey": master_key })
19 | 
20 | def bech32_decodeTransparentAddress(address):
21 |     return rpc_call("bech32_decodeTransparentAddress", params=[ address ])
22 | 
23 | def qa_mineBlocks(number, wait_confirm):
24 |     return rpc_call("qa_mineBlocks", params=[ number, wait_confirm ])
25 | 
26 | def qa_getPendingTransactions():
27 |     return rpc_call("qa_getPendingTransactions")
28 | 
29 | def wallet_start(walletId):
30 |     return rpc_call("wallet_start", params=[ walletId ])
31 | 
32 | def wallet_getDefaultPrivateAddress(walletId):
33 |     return rpc_call("wallet_getDefaultPrivateAddress", params=[ walletId ])
34 | 
35 | def wallet_callContract(walletId, private_key, passphrase, transaction_data):
36 |     return rpc_call("wallet_callContract", params=[ walletId, { "sender": private_key, "transparentTx": transaction_data } ], secrets={ "passphrase": passphrase })
37 | 
38 | def wallet_generateTransparentAccount(walletId):
39 |     return rpc_call("wallet_generateTransparentAccount", params=[ walletId ])
40 | 
41 | def firefly_getCoverage():
42 |     return rpc_call("firefly_getCoverage")
43 | 
44 | def eth_getTransactionReceipt(txHash):
45 |     return rpc_call("eth_getTransactionReceipt", params=[ txHash ])
46 | 
47 | def eth_getCode(address, tag):
48 |     return rpc_call("eth_getCode", params=[ address, tag ])
49 | 
50 | def eth_blockNumber():
51 |     return rpc_call("eth_blockNumber")
52 | 


--------------------------------------------------------------------------------
/pyiele/utils.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/python3
 2 | import sys
 3 | import json
 4 | from os import path
 5 | class colors:
 6 |     reset = '\033[0m'
 7 | 
 8 |     class fg:
 9 |         red = '\033[31m'
10 |         green = '\033[32m'
11 |         orange = '\033[33m'
12 |         cyan = '\033[36m'
13 | 
14 | def notif(msg, color=colors.reset):
15 |     sys.stderr.write(color + "== " + msg + '\n' + colors.reset)
16 |     sys.stderr.flush()
17 | 
18 | def fatal(msg, code=1):
19 |     notif(msg)
20 |     sys.exit(code)
21 | 
22 | def remove_metadata_bin(contract_data):
23 |     '''Removes the trailing metadata bytecode from the bytecode '''
24 |     contract_bin = contract_data["bin"]
25 |     metadata_bin = contract_data["metadata-bin"]
26 |     if contract_bin.endswith(metadata_bin):
27 |         contract_bin = contract_bin[:-len(metadata_bin)]
28 |     return contract_bin
29 | 
30 | def get_file_name(file_path):
31 |     '''Extracts only the name of a file from a path, ignoring its extension'''
32 |     return path.splitext(path.basename(file_path))[0]


--------------------------------------------------------------------------------
/test.nix:
--------------------------------------------------------------------------------
 1 | let
 2 |   sources = import ./nix/sources.nix;
 3 |   pinned = import sources."nixpkgs" { config = {}; overlays = []; };
 4 | in
 5 | 
 6 | { pkgs ? pinned
 7 | , test ? null
 8 | }:
 9 | 
10 | let
11 |   inherit (pkgs) stdenv lib;
12 | 
13 |   ttuegel = import sources."nix-lib" { inherit pkgs; };
14 |   default = import ./. { inherit pkgs; };
15 |   inherit (default) kiele;
16 |   inherit (pkgs.python2Packages) wrapPython python;
17 |   inherit (pkgs) ncurses;
18 | 
19 | in
20 | 
21 | stdenv.mkDerivation {
22 |   name = "iele-semantics-test";
23 |   src = ttuegel.cleanSourceWith {
24 |     name = "iele-semantics";
25 |     src = ttuegel.cleanGit { name = "iele-semantics"; src = ./.; };
26 |     ignore = [ "*.nix" "/nix" ];
27 |   };
28 |   NIX_ENFORCE_PURITY = false;
29 |   preferLocalBuild = true;
30 |   nativeBuildInputs = [ kiele ncurses python ];
31 |   enableParallelBuilding = true;
32 |   postPatch = ''
33 |     patchShebangs assemble-iele-test
34 |   '';
35 |   configurePhase = ''
36 |     echo $PATH
37 |   '';
38 |   buildFlags = [
39 |     "test-interactive"
40 |     "test-iele"
41 |     "test-wellformed"
42 |     "test-illformed"
43 |   ];
44 |   installPhase = ''
45 |     runHook preInstall
46 |     touch "$out"
47 |     runHook postInstall
48 |   '';
49 | }
50 | 
51 | 


--------------------------------------------------------------------------------
/tests/bad-packet:
--------------------------------------------------------------------------------
1 | 
2 | 


--------------------------------------------------------------------------------
/tests/bad-packet-2:
--------------------------------------------------------------------------------
1 | 
2 | 3.0

3 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/.gitignore:
--------------------------------------------------------------------------------
1 | *.cmi
2 | *.cmo
3 | *.cmx
4 | *.o
5 | evm-to-iele
6 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/conversion.mli:
--------------------------------------------------------------------------------
1 | open Evm
2 | open Iele
3 | val evm_to_iele : evm_op list -> iele_op list
4 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/evm-test-to-iele:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | 
 3 | import subprocess
 4 | import sys
 5 | import json
 6 | 
 7 | import os 
 8 | dir_path = os.path.dirname(__file__)
 9 | 
10 | def decodeShort(i):
11 |   return [i // 256, i % 256]
12 | 
13 | def convertCodeToIele(evm_code):
14 |   if len(evm_code) == 0:
15 |     return ""
16 |   assert evm_code[0:2] == "0x"
17 |   p = subprocess.Popen([dir_path + "/evm-to-iele"], stdin=subprocess.PIPE, stdout=subprocess.PIPE)
18 |   stdout, stderr = p.communicate(evm_code[2:])
19 |   assert p.poll() == 0
20 |   return "0x" + stdout[:-1]
21 | 
22 | def convertCallData(calldata, isCreateTx):
23 |   if isCreateTx:
24 |     return []
25 |   if len(calldata) == 0:
26 |     return [u"", u""]
27 |   assert calldata[0:2] == "0x"
28 |   calldatasize = (len(calldata) - 2)/2
29 |   return [unicode(hex(calldatasize)), calldata]
30 |           
31 | 
32 | def convertToIele(json):
33 |     if isinstance(json, dict):
34 |         res = {}
35 |         isCreateTx = False
36 |         if "to" in json.keys():
37 |           if json["to"] == "":
38 |             isCreateTx = True
39 |             json["function"] = u""
40 |           else:
41 |             json["function"] = u"deposit"
42 |           json["arguments"] = convertCallData(json["data"], isCreateTx)
43 |         if "network" in json.keys() or "callcreates" in json.keys():
44 |           json["checkGas"] = False
45 |         for key, value in json.iteritems():
46 |             if key == "code" or (key == "data" and isCreateTx):
47 |                 res[key] = convertCodeToIele(value)
48 |             elif key == "network" and json[key] == "Byzantium":
49 |                 res[key] = "Albe"
50 |             else:
51 |                 res[key] = convertToIele(value)
52 |         return res
53 |     elif isinstance(json, list):
54 |         res = []
55 |         for value in json:
56 |             res.append(convertToIele(value))
57 |         return res
58 |     elif isinstance(json, unicode):
59 |         return json
60 |     elif isinstance(json, long) or isinstance(json, int):
61 |         return json
62 | 
63 | source_file = sys.argv[1]
64 | target_file = sys.argv[2]
65 | 
66 | with open(source_file, "r") as source:
67 |     original_test = json.load(source)
68 |     new_test = convertToIele(original_test)
69 |     with open(target_file, "w+") as target:
70 |         json.dump(new_test, target, indent=4)
71 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/evm.mli:
--------------------------------------------------------------------------------
  1 | type evm_op = [
  2 |   `STOP
  3 | | `ADD
  4 | | `MUL
  5 | | `SUB
  6 | | `DIV
  7 | | `SDIV
  8 | | `MOD
  9 | | `SMOD
 10 | | `ADDMOD
 11 | | `MULMOD
 12 | | `EXP
 13 | | `SIGNEXTEND
 14 | | `LT
 15 | | `GT
 16 | | `SLT
 17 | | `SGT
 18 | | `EQ
 19 | | `ISZERO
 20 | | `AND
 21 | | `OR
 22 | | `XOR
 23 | | `NOT
 24 | | `BYTE
 25 | | `SHA3
 26 | | `ADDRESS
 27 | | `BALANCE
 28 | | `ORIGIN
 29 | | `CALLER
 30 | | `CALLVALUE
 31 | | `CALLDATALOAD
 32 | | `CALLDATASIZE
 33 | | `CALLDATACOPY
 34 | | `CODESIZE
 35 | | `CODECOPY
 36 | | `GASPRICE
 37 | | `EXTCODESIZE
 38 | | `EXTCODECOPY
 39 | | `RETURNDATASIZE
 40 | | `RETURNDATACOPY
 41 | | `BLOCKHASH
 42 | | `COINBASE
 43 | | `TIMESTAMP
 44 | | `NUMBER
 45 | | `DIFFICULTY
 46 | | `GASLIMIT
 47 | | `POP
 48 | | `MLOAD
 49 | | `MSTORE
 50 | | `MSTORE8
 51 | | `SLOAD
 52 | | `SSTORE
 53 | | `JUMP
 54 | | `JUMPI
 55 | | `PC of int
 56 | | `MSIZE
 57 | | `GAS
 58 | | `JUMPDEST of int
 59 | | `PUSH of int * Z.t
 60 | | `DUP of int
 61 | | `SWAP of int
 62 | | `LOG of int
 63 | | `CREATE
 64 | | `CALL
 65 | | `CALLCODE
 66 | | `RETURN
 67 | | `DELEGATECALL
 68 | | `STATICCALL
 69 | | `REVERT
 70 | | `INVALID
 71 | | `SELFDESTRUCT
 72 | ]
 73 | 
 74 | type intermediate_op = [
 75 |   `STOP
 76 | | `ADD
 77 | | `MUL
 78 | | `SUB
 79 | | `DIV
 80 | | `MOD
 81 | | `ADDMOD
 82 | | `MULMOD
 83 | | `EXP
 84 | | `SIGNEXTEND
 85 | | `TWOS
 86 | | `LT
 87 | | `GT
 88 | | `EQ
 89 | | `ISZERO
 90 | | `AND
 91 | | `OR
 92 | | `XOR
 93 | | `NOT
 94 | | `BYTE
 95 | | `SHA3
 96 | | `ADDRESS
 97 | | `BALANCE
 98 | | `ORIGIN
 99 | | `CALLER
100 | | `CALLVALUE
101 | | `CALLDATALOAD
102 | | `CALLDATASIZE
103 | | `CALLDATACOPY
104 | | `CODESIZE
105 | | `CODECOPY
106 | | `GASPRICE
107 | | `EXTCODESIZE
108 | | `EXTCODECOPY
109 | | `RETURNDATASIZE
110 | | `RETURNDATACOPY
111 | | `BLOCKHASH
112 | | `COINBASE
113 | | `TIMESTAMP
114 | | `NUMBER
115 | | `DIFFICULTY
116 | | `GASLIMIT
117 | | `POP
118 | | `MLOADN
119 | | `MSTOREN
120 | | `SLOAD
121 | | `SSTORE
122 | | `JUMP of int
123 | | `JUMPI of int
124 | | `MSIZE
125 | | `GAS
126 | | `JUMPDEST of int
127 | | `PUSH of Z.t
128 | | `DUP of int
129 | | `SWAP of int
130 | | `LOG of int
131 | | `CREATE
132 | | `CALL
133 | | `CALLCODE
134 | | `RETURN
135 | | `LOCALRETURN
136 | | `DELEGATECALL
137 | | `STATICCALL
138 | | `REVERT
139 | | `INVALID
140 | | `SELFDESTRUCT
141 | ]
142 | 
143 | val dasm_evm : string -> evm_op list
144 | val dasm_hex_string : string -> evm_op list
145 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/iele.mli:
--------------------------------------------------------------------------------
 1 | type iele_opcode = [
 2 |   `STOP
 3 | | `ADD
 4 | | `MUL
 5 | | `SUB
 6 | | `DIV
 7 | | `MOD
 8 | | `EXP
 9 | | `ADDMOD
10 | | `MULMOD
11 | | `EXPMOD
12 | | `SIGNEXTEND
13 | | `TWOS
14 | | `LT
15 | | `GT
16 | | `EQ
17 | | `ISZERO
18 | | `AND
19 | | `OR
20 | | `XOR
21 | | `SHIFT
22 | | `NOT
23 | | `BYTE
24 | | `SHA3
25 | | `ADDRESS
26 | | `BALANCE
27 | | `ORIGIN
28 | | `CALLER
29 | | `CALLVALUE
30 | | `CALLDATALOAD
31 | | `CALLDATASIZE
32 | | `CALLDATACOPY
33 | | `CODESIZE
34 | | `CODECOPY
35 | | `GASPRICE
36 | | `EXTCODESIZE
37 | | `EXTCODECOPY
38 | | `RETURNDATASIZE
39 | | `RETURNDATACOPY
40 | | `BLOCKHASH
41 | | `COINBASE
42 | | `TIMESTAMP
43 | | `NUMBER
44 | | `DIFFICULTY
45 | | `GASLIMIT
46 | | `MLOADN
47 | | `MLOAD
48 | | `MSTOREN
49 | | `MSTORE
50 | | `SLOAD
51 | | `SSTORE
52 | | `MSIZE
53 | | `GAS
54 | | `MOVE
55 | | `LOADPOS
56 | | `LOADNEG
57 | | `JUMP of int
58 | | `JUMPI of int
59 | | `JUMPDEST of int
60 | | `REGISTERS of int
61 | | `CALLDEST of int * int
62 | | `EXTCALLDEST of int * int
63 | | `FUNCTION of string
64 | | `LOG of int
65 | | `CREATE
66 | | `COPYCREATE
67 | | `CALL of int * int * int
68 | | `CALLCODE of int * int * int
69 | | `DELEGATECALL of int * int * int
70 | | `STATICCALL of int * int * int
71 | | `LOCALCALL of int * int * int
72 | | `LOCALCALLI of int * int * int * int
73 | | `RETURN of int
74 | | `LOCALRETURN of int
75 | | `REVERT of int
76 | | `INVALID
77 | | `SELFDESTRUCT
78 | ]
79 | 
80 | type iele_op =
81 | | Nop
82 | | Op of iele_opcode * int * int list
83 | | VoidOp of iele_opcode * int list
84 | | CallOp of iele_opcode * int list * int list
85 | | LiOp of iele_opcode * int * Z.t
86 | 
87 | val asm_iele : iele_op list -> string
88 | val asm_iele_opcode : iele_opcode -> string
89 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/ieleUtil.ml:
--------------------------------------------------------------------------------
 1 | let rev_string str =
 2 |   let len = String.length str in
 3 |   let buf = Buffer.create len in
 4 |   for i = len - 1 downto 0 do
 5 |     Buffer.add_char buf (String.get str i)
 6 |   done;
 7 |   Buffer.contents buf
 8 | 
 9 | exception Break of int
10 | 
11 | let be_int i =
12 |   let le = Z.to_bits i in
13 |   let be = rev_string le in
14 |   let len = String.length be in
15 |   try 
16 |     for i = 0 to len - 1 do
17 |       if be.[i] <> '\000' then raise (Break i)
18 |     done;
19 |     ""
20 |   with Break i -> String.sub be i (len - i)
21 | 
22 | let be_int_width i width =
23 |   let be = be_int i in
24 |   let byte_width = (width + 7) / 8 in
25 |   let unpadded_byte_width = String.length be in
26 |   let padded = Bytes.make byte_width '\000' in
27 |   Bytes.blit_string be 0 padded (byte_width - unpadded_byte_width) unpadded_byte_width;
28 |   Bytes.to_string padded
29 | 
30 | let string_of_char ch = String.make 1 ch
31 | 
32 | let rlp_encode_length len offset =
33 |   if len < 56 then 
34 |     let ch = Char.chr (len + offset) in
35 |     string_of_char ch
36 |   else
37 |     let len_le = Z.to_bits (Z.of_int len) in
38 |     let len_be = rev_string len_le in
39 |     let len_len = String.length len_be in
40 |     let ch = Char.chr (len_len + offset + 55) in
41 |     (string_of_char ch) ^ len_be
42 | 
43 | let rlp_encode_string str =
44 |   let len = String.length str in
45 |   if len = 1 && Char.code (String.get str 0) < 128 then str
46 |   else (rlp_encode_length len 128) ^ str
47 | 
48 | module UnionFind =
49 | struct
50 |   type t = { prev: int array; size: int array }
51 | 
52 |   let create n = { prev=Array.init n (fun i -> i); size = Array.make n 0 }
53 | 
54 |   let rec find uf i =
55 |     let prev = uf.prev.(i) in
56 |     if prev = i then i else begin
57 |       let _class = find uf prev in
58 |       uf.prev.(i) <- _class;
59 |       _class
60 |     end
61 | 
62 |   let union uf a b =
63 |     let classa = find uf a in
64 |     let classb = find uf b in
65 |     if classa <> classb then begin
66 |       if uf.size.(classa) > uf.size.(classb) then
67 |         uf.prev.(classb) <- classa
68 |       else if uf.size.(classa) < uf.size.(classb) then
69 |         uf.prev.(classa) <- classb
70 |       else begin
71 |         uf.size.(classa) <- uf.size.(classa) + 1;
72 |         uf.prev.(classb) <- classa
73 |       end
74 |     end
75 | end
76 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/ieleUtil.mli:
--------------------------------------------------------------------------------
 1 | val rev_string : string -> string
 2 | val be_int : Z.t -> string
 3 | val be_int_width : Z.t -> int -> string
 4 | val rlp_encode_string : string -> string
 5 | val string_of_char : char -> string
 6 | 
 7 | module UnionFind :
 8 | sig
 9 |   type t
10 |   val create : int -> t
11 |   val find : t -> int -> int
12 |   val union : t -> int -> int -> unit
13 | end
14 | 


--------------------------------------------------------------------------------
/tests/evm-to-iele/main.ml:
--------------------------------------------------------------------------------
 1 | let pgm = try read_line () with End_of_file -> ""
 2 | 
 3 | let dasm = Evm.dasm_hex_string pgm
 4 | 
 5 | let iele = Conversion.evm_to_iele dasm
 6 | 
 7 | let new_bytes = Iele.asm_iele iele
 8 | 
 9 | let `Hex new_pgm = Hex.of_string new_bytes
10 | 
11 | let () = print_endline new_pgm
12 | 


--------------------------------------------------------------------------------
/tests/failing.standalone:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/tests/failing.standalone


--------------------------------------------------------------------------------
/tests/gas/.gitignore:
--------------------------------------------------------------------------------
1 | tmp
2 | tmp2
3 | asm
4 | *.tmp
5 | perf.data*
6 | config
7 | 


--------------------------------------------------------------------------------
/tests/gas/binary.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "binary.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "binary.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/br.iele:
--------------------------------------------------------------------------------
  1 | contract Test {
  2 |   define @init() {}
  3 | 
  4 |   define public @test() {
  5 |     %i = 10000
  6 |     %one = 1
  7 |     %zero = 0
  8 |     %alt = 0
  9 |     %large = $val
 10 |   loop:
 11 |     %not = iszero %i
 12 |     br %not, end
 13 | lbl1: $op lbl2
 14 | lbl2: $op lbl3
 15 | lbl3: $op lbl4
 16 | lbl4: $op lbl5
 17 | lbl5: $op lbl6
 18 | lbl6: $op lbl7
 19 | lbl7: $op lbl8
 20 | lbl8: $op lbl9
 21 | lbl9: $op lbl10
 22 | lbl10: $op lbl11
 23 | lbl11: $op lbl12
 24 | lbl12: $op lbl13
 25 | lbl13: $op lbl14
 26 | lbl14: $op lbl15
 27 | lbl15: $op lbl16
 28 | lbl16: $op lbl17
 29 | lbl17: $op lbl18
 30 | lbl18: $op lbl19
 31 | lbl19: $op lbl20
 32 | lbl20: $op lbl21
 33 | lbl21: $op lbl22
 34 | lbl22: $op lbl23
 35 | lbl23: $op lbl24
 36 | lbl24: $op lbl25
 37 | lbl25: $op lbl26
 38 | lbl26: $op lbl27
 39 | lbl27: $op lbl28
 40 | lbl28: $op lbl29
 41 | lbl29: $op lbl30
 42 | lbl30: $op lbl31
 43 | lbl31: $op lbl32
 44 | lbl32: $op lbl33
 45 | lbl33: $op lbl34
 46 | lbl34: $op lbl35
 47 | lbl35: $op lbl36
 48 | lbl36: $op lbl37
 49 | lbl37: $op lbl38
 50 | lbl38: $op lbl39
 51 | lbl39: $op lbl40
 52 | lbl40: $op lbl41
 53 | lbl41: $op lbl42
 54 | lbl42: $op lbl43
 55 | lbl43: $op lbl44
 56 | lbl44: $op lbl45
 57 | lbl45: $op lbl46
 58 | lbl46: $op lbl47
 59 | lbl47: $op lbl48
 60 | lbl48: $op lbl49
 61 | lbl49: $op lbl50
 62 | lbl50: $op lbl51
 63 | lbl51: $op lbl52
 64 | lbl52: $op lbl53
 65 | lbl53: $op lbl54
 66 | lbl54: $op lbl55
 67 | lbl55: $op lbl56
 68 | lbl56: $op lbl57
 69 | lbl57: $op lbl58
 70 | lbl58: $op lbl59
 71 | lbl59: $op lbl60
 72 | lbl60: $op lbl61
 73 | lbl61: $op lbl62
 74 | lbl62: $op lbl63
 75 | lbl63: $op lbl64
 76 | lbl64: $op lbl65
 77 | lbl65: $op lbl66
 78 | lbl66: $op lbl67
 79 | lbl67: $op lbl68
 80 | lbl68: $op lbl69
 81 | lbl69: $op lbl70
 82 | lbl70: $op lbl71
 83 | lbl71: $op lbl72
 84 | lbl72: $op lbl73
 85 | lbl73: $op lbl74
 86 | lbl74: $op lbl75
 87 | lbl75: $op lbl76
 88 | lbl76: $op lbl77
 89 | lbl77: $op lbl78
 90 | lbl78: $op lbl79
 91 | lbl79: $op lbl80
 92 | lbl80: $op lbl81
 93 | lbl81: $op lbl82
 94 | lbl82: $op lbl83
 95 | lbl83: $op lbl84
 96 | lbl84: $op lbl85
 97 | lbl85: $op lbl86
 98 | lbl86: $op lbl87
 99 | lbl87: $op lbl88
100 | lbl88: $op lbl89
101 | lbl89: $op lbl90
102 | lbl90: $op lbl91
103 | lbl91: $op lbl92
104 | lbl92: $op lbl93
105 | lbl93: $op lbl94
106 | lbl94: $op lbl95
107 | lbl95: $op lbl96
108 | lbl96: $op lbl97
109 | lbl97: $op lbl98
110 | lbl98: $op lbl99
111 | lbl99: $op lbl100
112 | lbl100: $op lbl101
113 | lbl101: %i = sub %i, 1
114 |     %alt = addmod %alt, 1, 2
115 |     br loop
116 |   end:
117 |     ret void
118 |   }
119 | }
120 | 


--------------------------------------------------------------------------------
/tests/gas/br.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "br.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "br.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/call.iele:
--------------------------------------------------------------------------------
  1 | contract Test {
  2 |   define @init() {}
  3 | 
  4 |   define public @test() {
  5 |     %i = 10000
  6 |   loop:
  7 |     %not = iszero %i
  8 |     br %not, end
  9 |     %res = call $op ()
 10 |     %res = call $op ()
 11 |     %res = call $op ()
 12 |     %res = call $op ()
 13 |     %res = call $op ()
 14 |     %res = call $op ()
 15 |     %res = call $op ()
 16 |     %res = call $op ()
 17 |     %res = call $op ()
 18 |     %res = call $op ()
 19 |     %res = call $op ()
 20 |     %res = call $op ()
 21 |     %res = call $op ()
 22 |     %res = call $op ()
 23 |     %res = call $op ()
 24 |     %res = call $op ()
 25 |     %res = call $op ()
 26 |     %res = call $op ()
 27 |     %res = call $op ()
 28 |     %res = call $op ()
 29 |     %res = call $op ()
 30 |     %res = call $op ()
 31 |     %res = call $op ()
 32 |     %res = call $op ()
 33 |     %res = call $op ()
 34 |     %res = call $op ()
 35 |     %res = call $op ()
 36 |     %res = call $op ()
 37 |     %res = call $op ()
 38 |     %res = call $op ()
 39 |     %res = call $op ()
 40 |     %res = call $op ()
 41 |     %res = call $op ()
 42 |     %res = call $op ()
 43 |     %res = call $op ()
 44 |     %res = call $op ()
 45 |     %res = call $op ()
 46 |     %res = call $op ()
 47 |     %res = call $op ()
 48 |     %res = call $op ()
 49 |     %res = call $op ()
 50 |     %res = call $op ()
 51 |     %res = call $op ()
 52 |     %res = call $op ()
 53 |     %res = call $op ()
 54 |     %res = call $op ()
 55 |     %res = call $op ()
 56 |     %res = call $op ()
 57 |     %res = call $op ()
 58 |     %res = call $op ()
 59 |     %res = call $op ()
 60 |     %res = call $op ()
 61 |     %res = call $op ()
 62 |     %res = call $op ()
 63 |     %res = call $op ()
 64 |     %res = call $op ()
 65 |     %res = call $op ()
 66 |     %res = call $op ()
 67 |     %res = call $op ()
 68 |     %res = call $op ()
 69 |     %res = call $op ()
 70 |     %res = call $op ()
 71 |     %res = call $op ()
 72 |     %res = call $op ()
 73 |     %res = call $op ()
 74 |     %res = call $op ()
 75 |     %res = call $op ()
 76 |     %res = call $op ()
 77 |     %res = call $op ()
 78 |     %res = call $op ()
 79 |     %res = call $op ()
 80 |     %res = call $op ()
 81 |     %res = call $op ()
 82 |     %res = call $op ()
 83 |     %res = call $op ()
 84 |     %res = call $op ()
 85 |     %res = call $op ()
 86 |     %res = call $op ()
 87 |     %res = call $op ()
 88 |     %res = call $op ()
 89 |     %res = call $op ()
 90 |     %res = call $op ()
 91 |     %res = call $op ()
 92 |     %res = call $op ()
 93 |     %res = call $op ()
 94 |     %res = call $op ()
 95 |     %res = call $op ()
 96 |     %res = call $op ()
 97 |     %res = call $op ()
 98 |     %res = call $op ()
 99 |     %res = call $op ()
100 |     %res = call $op ()
101 |     %res = call $op ()
102 |     %res = call $op ()
103 |     %res = call $op ()
104 |     %res = call $op ()
105 |     %res = call $op ()
106 |     %res = call $op ()
107 |     %res = call $op ()
108 |     %res = call $op ()
109 |     %i = sub %i, 1
110 |     br loop
111 |   end:
112 |     ret void
113 |   }
114 | }
115 | 


--------------------------------------------------------------------------------
/tests/gas/call.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "call.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "call.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/expmod.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x1000e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "expmod.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x10000000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "expmod.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/load.iele:
--------------------------------------------------------------------------------
  1 | contract Test {
  2 |   define @init() {}
  3 | 
  4 |   define public @test() {
  5 |     %i = 10000
  6 |     %val2 = $val2
  7 |   loop:
  8 |     %not = iszero %i
  9 |     br %not, end
 10 |     %res = $val
 11 |     %res = $val
 12 |     %res = $val
 13 |     %res = $val
 14 |     %res = $val
 15 |     %res = $val
 16 |     %res = $val
 17 |     %res = $val
 18 |     %res = $val
 19 |     %res = $val
 20 |     %res = $val
 21 |     %res = $val
 22 |     %res = $val
 23 |     %res = $val
 24 |     %res = $val
 25 |     %res = $val
 26 |     %res = $val
 27 |     %res = $val
 28 |     %res = $val
 29 |     %res = $val
 30 |     %res = $val
 31 |     %res = $val
 32 |     %res = $val
 33 |     %res = $val
 34 |     %res = $val
 35 |     %res = $val
 36 |     %res = $val
 37 |     %res = $val
 38 |     %res = $val
 39 |     %res = $val
 40 |     %res = $val
 41 |     %res = $val
 42 |     %res = $val
 43 |     %res = $val
 44 |     %res = $val
 45 |     %res = $val
 46 |     %res = $val
 47 |     %res = $val
 48 |     %res = $val
 49 |     %res = $val
 50 |     %res = $val
 51 |     %res = $val
 52 |     %res = $val
 53 |     %res = $val
 54 |     %res = $val
 55 |     %res = $val
 56 |     %res = $val
 57 |     %res = $val
 58 |     %res = $val
 59 |     %res = $val
 60 |     %res = $val
 61 |     %res = $val
 62 |     %res = $val
 63 |     %res = $val
 64 |     %res = $val
 65 |     %res = $val
 66 |     %res = $val
 67 |     %res = $val
 68 |     %res = $val
 69 |     %res = $val
 70 |     %res = $val
 71 |     %res = $val
 72 |     %res = $val
 73 |     %res = $val
 74 |     %res = $val
 75 |     %res = $val
 76 |     %res = $val
 77 |     %res = $val
 78 |     %res = $val
 79 |     %res = $val
 80 |     %res = $val
 81 |     %res = $val
 82 |     %res = $val
 83 |     %res = $val
 84 |     %res = $val
 85 |     %res = $val
 86 |     %res = $val
 87 |     %res = $val
 88 |     %res = $val
 89 |     %res = $val
 90 |     %res = $val
 91 |     %res = $val
 92 |     %res = $val
 93 |     %res = $val
 94 |     %res = $val
 95 |     %res = $val
 96 |     %res = $val
 97 |     %res = $val
 98 |     %res = $val
 99 |     %res = $val
100 |     %res = $val
101 |     %res = $val
102 |     %res = $val
103 |     %res = $val
104 |     %res = $val
105 |     %res = $val
106 |     %res = $val
107 |     %res = $val
108 |     %res = $val
109 |     %res = $val
110 |     %i = sub %i, 1
111 |     br loop
112 |   end:
113 |     ret void
114 |   }
115 | }
116 | 


--------------------------------------------------------------------------------
/tests/gas/load.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "load.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "load.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/localcall.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "localcall.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "localcall.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/makehex.sh:
--------------------------------------------------------------------------------
1 | #!/bin/bash
2 | for i in $(seq 1 $1); do printf "%s" "$2"; done
3 | 


--------------------------------------------------------------------------------
/tests/gas/makepow.sh:
--------------------------------------------------------------------------------
1 | #!/bin/bash
2 | eval echo `echo '(2^'$2')^'$1'/2-1' | bc` | tr -d ' '
3 | 


--------------------------------------------------------------------------------
/tests/gas/makerand.sh:
--------------------------------------------------------------------------------
1 | #!/bin/bash
2 | head -c $1 /dev/urandom | xxd -p | tr -d '\n'
3 | 


--------------------------------------------------------------------------------
/tests/gas/maketest.sh:
--------------------------------------------------------------------------------
 1 | #!/bin/bash
 2 | 
 3 | TEST="$1"
 4 | VAL="$2"
 5 | VAL2="$3"
 6 | VAL3="$4"
 7 | OP="$5"
 8 | 
 9 | sed 's/\$op/'"$OP"'/g' $TEST > $TEST.tmp
10 | sed 's/\$val2/'"$VAL2"'/g' -i $TEST.tmp
11 | sed 's/\$val3/'"$VAL3"'/g' -i $TEST.tmp
12 | sed 's/\$val/'"$VAL"'/g' -i $TEST.tmp
13 | 
14 | ../../assemble-iele-test $TEST.json > tmp
15 | ../../kast-json.py tmp > asm
16 | time ../../.build/standalone/ethereum-kompiled/interpreter ../../.build/standalone/ethereum-kompiled/realdef.cma -c PGM asm textfile -c SCHEDULE  '`DEFAULT_IELE-GAS`(.KList)' text -c MODE '`NORMAL`(.KList)' text --output-file tmp2
17 | 


--------------------------------------------------------------------------------
/tests/gas/mem.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "mem.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "mem.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/memcell.iele:
--------------------------------------------------------------------------------
  1 | contract Test {
  2 |   define @init() {}
  3 | 
  4 |   define public @test() {
  5 |     %i = 10000
  6 |     %val = $val
  7 |     %zero = 0
  8 |     store %val, %zero
  9 |   loop:
 10 |     %not = iszero %i
 11 |     br %not, end
 12 |     $op %zero
 13 |     $op %zero
 14 |     $op %zero
 15 |     $op %zero
 16 |     $op %zero
 17 |     $op %zero
 18 |     $op %zero
 19 |     $op %zero
 20 |     $op %zero
 21 |     $op %zero
 22 |     $op %zero
 23 |     $op %zero
 24 |     $op %zero
 25 |     $op %zero
 26 |     $op %zero
 27 |     $op %zero
 28 |     $op %zero
 29 |     $op %zero
 30 |     $op %zero
 31 |     $op %zero
 32 |     $op %zero
 33 |     $op %zero
 34 |     $op %zero
 35 |     $op %zero
 36 |     $op %zero
 37 |     $op %zero
 38 |     $op %zero
 39 |     $op %zero
 40 |     $op %zero
 41 |     $op %zero
 42 |     $op %zero
 43 |     $op %zero
 44 |     $op %zero
 45 |     $op %zero
 46 |     $op %zero
 47 |     $op %zero
 48 |     $op %zero
 49 |     $op %zero
 50 |     $op %zero
 51 |     $op %zero
 52 |     $op %zero
 53 |     $op %zero
 54 |     $op %zero
 55 |     $op %zero
 56 |     $op %zero
 57 |     $op %zero
 58 |     $op %zero
 59 |     $op %zero
 60 |     $op %zero
 61 |     $op %zero
 62 |     $op %zero
 63 |     $op %zero
 64 |     $op %zero
 65 |     $op %zero
 66 |     $op %zero
 67 |     $op %zero
 68 |     $op %zero
 69 |     $op %zero
 70 |     $op %zero
 71 |     $op %zero
 72 |     $op %zero
 73 |     $op %zero
 74 |     $op %zero
 75 |     $op %zero
 76 |     $op %zero
 77 |     $op %zero
 78 |     $op %zero
 79 |     $op %zero
 80 |     $op %zero
 81 |     $op %zero
 82 |     $op %zero
 83 |     $op %zero
 84 |     $op %zero
 85 |     $op %zero
 86 |     $op %zero
 87 |     $op %zero
 88 |     $op %zero
 89 |     $op %zero
 90 |     $op %zero
 91 |     $op %zero
 92 |     $op %zero
 93 |     $op %zero
 94 |     $op %zero
 95 |     $op %zero
 96 |     $op %zero
 97 |     $op %zero
 98 |     $op %zero
 99 |     $op %zero
100 |     $op %zero
101 |     $op %zero
102 |     $op %zero
103 |     $op %zero
104 |     $op %zero
105 |     $op %zero
106 |     $op %zero
107 |     $op %zero
108 |     $op %zero
109 |     $op %zero
110 |     $op %zero
111 |     $op %zero
112 |     %i = sub %i, 1
113 |     br loop
114 |   end:
115 |     ret void
116 |   }
117 | }
118 | 


--------------------------------------------------------------------------------
/tests/gas/memcell.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "memcell.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "memcell.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/precompiled.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "precompiled.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "precompiled.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/ret.iele:
--------------------------------------------------------------------------------
  1 | contract Test {
  2 |   define @init() {}
  3 | 
  4 |   define public @test() {
  5 |     %i = 10000
  6 |     %addr = call @iele.address()
  7 |     %gas = call @iele.gas()
  8 |     %value = 0
  9 |   loop:
 10 |     %not = iszero %i
 11 |     br %not, end
 12 |     call @test1()
 13 |     call @test1()
 14 |     call @test1()
 15 |     call @test1()
 16 |     call @test1()
 17 |     call @test1()
 18 |     call @test1()
 19 |     call @test1()
 20 |     call @test1()
 21 |     call @test1()
 22 |     call @test1()
 23 |     call @test1()
 24 |     call @test1()
 25 |     call @test1()
 26 |     call @test1()
 27 |     call @test1()
 28 |     call @test1()
 29 |     call @test1()
 30 |     call @test1()
 31 |     call @test1()
 32 |     call @test1()
 33 |     call @test1()
 34 |     call @test1()
 35 |     call @test1()
 36 |     call @test1()
 37 |     call @test1()
 38 |     call @test1()
 39 |     call @test1()
 40 |     call @test1()
 41 |     call @test1()
 42 |     call @test1()
 43 |     call @test1()
 44 |     call @test1()
 45 |     call @test1()
 46 |     call @test1()
 47 |     call @test1()
 48 |     call @test1()
 49 |     call @test1()
 50 |     call @test1()
 51 |     call @test1()
 52 |     call @test1()
 53 |     call @test1()
 54 |     call @test1()
 55 |     call @test1()
 56 |     call @test1()
 57 |     call @test1()
 58 |     call @test1()
 59 |     call @test1()
 60 |     call @test1()
 61 |     call @test1()
 62 |     call @test1()
 63 |     call @test1()
 64 |     call @test1()
 65 |     call @test1()
 66 |     call @test1()
 67 |     call @test1()
 68 |     call @test1()
 69 |     call @test1()
 70 |     call @test1()
 71 |     call @test1()
 72 |     call @test1()
 73 |     call @test1()
 74 |     call @test1()
 75 |     call @test1()
 76 |     call @test1()
 77 |     call @test1()
 78 |     call @test1()
 79 |     call @test1()
 80 |     call @test1()
 81 |     call @test1()
 82 |     call @test1()
 83 |     call @test1()
 84 |     call @test1()
 85 |     call @test1()
 86 |     call @test1()
 87 |     call @test1()
 88 |     call @test1()
 89 |     call @test1()
 90 |     call @test1()
 91 |     call @test1()
 92 |     call @test1()
 93 |     call @test1()
 94 |     call @test1()
 95 |     call @test1()
 96 |     call @test1()
 97 |     call @test1()
 98 |     call @test1()
 99 |     call @test1()
100 |     call @test1()
101 |     call @test1()
102 |     call @test1()
103 |     call @test1()
104 |     call @test1()
105 |     call @test1()
106 |     call @test1()
107 |     call @test1()
108 |     call @test1()
109 |     call @test1()
110 |     call @test1()
111 |     call @test1()
112 |     %i = sub %i, 1
113 |     br loop
114 |   end:
115 |     ret void
116 |   }
117 | 
118 |   define @test1() {
119 |   }
120 | }
121 | 


--------------------------------------------------------------------------------
/tests/gas/ret.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "ret.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "ret.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/sha.iele:
--------------------------------------------------------------------------------
  1 | contract Test {
  2 |   define @init() {}
  3 | 
  4 |   define public @test() {
  5 |     %i = 10000
  6 |     %val = $val
  7 |     %zero = 0
  8 |     store %val, %zero
  9 |   loop:
 10 |     %not = iszero %i
 11 |     br %not, end
 12 |     %res = $op %zero
 13 |     %res = $op %zero
 14 |     %res = $op %zero
 15 |     %res = $op %zero
 16 |     %res = $op %zero
 17 |     %res = $op %zero
 18 |     %res = $op %zero
 19 |     %res = $op %zero
 20 |     %res = $op %zero
 21 |     %res = $op %zero
 22 |     %res = $op %zero
 23 |     %res = $op %zero
 24 |     %res = $op %zero
 25 |     %res = $op %zero
 26 |     %res = $op %zero
 27 |     %res = $op %zero
 28 |     %res = $op %zero
 29 |     %res = $op %zero
 30 |     %res = $op %zero
 31 |     %res = $op %zero
 32 |     %res = $op %zero
 33 |     %res = $op %zero
 34 |     %res = $op %zero
 35 |     %res = $op %zero
 36 |     %res = $op %zero
 37 |     %res = $op %zero
 38 |     %res = $op %zero
 39 |     %res = $op %zero
 40 |     %res = $op %zero
 41 |     %res = $op %zero
 42 |     %res = $op %zero
 43 |     %res = $op %zero
 44 |     %res = $op %zero
 45 |     %res = $op %zero
 46 |     %res = $op %zero
 47 |     %res = $op %zero
 48 |     %res = $op %zero
 49 |     %res = $op %zero
 50 |     %res = $op %zero
 51 |     %res = $op %zero
 52 |     %res = $op %zero
 53 |     %res = $op %zero
 54 |     %res = $op %zero
 55 |     %res = $op %zero
 56 |     %res = $op %zero
 57 |     %res = $op %zero
 58 |     %res = $op %zero
 59 |     %res = $op %zero
 60 |     %res = $op %zero
 61 |     %res = $op %zero
 62 |     %res = $op %zero
 63 |     %res = $op %zero
 64 |     %res = $op %zero
 65 |     %res = $op %zero
 66 |     %res = $op %zero
 67 |     %res = $op %zero
 68 |     %res = $op %zero
 69 |     %res = $op %zero
 70 |     %res = $op %zero
 71 |     %res = $op %zero
 72 |     %res = $op %zero
 73 |     %res = $op %zero
 74 |     %res = $op %zero
 75 |     %res = $op %zero
 76 |     %res = $op %zero
 77 |     %res = $op %zero
 78 |     %res = $op %zero
 79 |     %res = $op %zero
 80 |     %res = $op %zero
 81 |     %res = $op %zero
 82 |     %res = $op %zero
 83 |     %res = $op %zero
 84 |     %res = $op %zero
 85 |     %res = $op %zero
 86 |     %res = $op %zero
 87 |     %res = $op %zero
 88 |     %res = $op %zero
 89 |     %res = $op %zero
 90 |     %res = $op %zero
 91 |     %res = $op %zero
 92 |     %res = $op %zero
 93 |     %res = $op %zero
 94 |     %res = $op %zero
 95 |     %res = $op %zero
 96 |     %res = $op %zero
 97 |     %res = $op %zero
 98 |     %res = $op %zero
 99 |     %res = $op %zero
100 |     %res = $op %zero
101 |     %res = $op %zero
102 |     %res = $op %zero
103 |     %res = $op %zero
104 |     %res = $op %zero
105 |     %res = $op %zero
106 |     %res = $op %zero
107 |     %res = $op %zero
108 |     %res = $op %zero
109 |     %res = $op %zero
110 |     %res = $op %zero
111 |     %res = $op %zero
112 |     %i = sub %i, 1
113 |     br loop
114 |   end:
115 |     ret void
116 |   }
117 | }
118 | 


--------------------------------------------------------------------------------
/tests/gas/sha.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "sha.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x1000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xd8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "sha.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/gas/unary.iele:
--------------------------------------------------------------------------------
  1 | contract Test {
  2 |   define @init() {}
  3 | 
  4 |   define public @test() {
  5 |     %i = 10000
  6 |     %val = $val
  7 |   loop:
  8 |     %not = iszero %i
  9 |     br %not, end
 10 |     %res = $op %val
 11 |     %res = $op %val
 12 |     %res = $op %val
 13 |     %res = $op %val
 14 |     %res = $op %val
 15 |     %res = $op %val
 16 |     %res = $op %val
 17 |     %res = $op %val
 18 |     %res = $op %val
 19 |     %res = $op %val
 20 |     %res = $op %val
 21 |     %res = $op %val
 22 |     %res = $op %val
 23 |     %res = $op %val
 24 |     %res = $op %val
 25 |     %res = $op %val
 26 |     %res = $op %val
 27 |     %res = $op %val
 28 |     %res = $op %val
 29 |     %res = $op %val
 30 |     %res = $op %val
 31 |     %res = $op %val
 32 |     %res = $op %val
 33 |     %res = $op %val
 34 |     %res = $op %val
 35 |     %res = $op %val
 36 |     %res = $op %val
 37 |     %res = $op %val
 38 |     %res = $op %val
 39 |     %res = $op %val
 40 |     %res = $op %val
 41 |     %res = $op %val
 42 |     %res = $op %val
 43 |     %res = $op %val
 44 |     %res = $op %val
 45 |     %res = $op %val
 46 |     %res = $op %val
 47 |     %res = $op %val
 48 |     %res = $op %val
 49 |     %res = $op %val
 50 |     %res = $op %val
 51 |     %res = $op %val
 52 |     %res = $op %val
 53 |     %res = $op %val
 54 |     %res = $op %val
 55 |     %res = $op %val
 56 |     %res = $op %val
 57 |     %res = $op %val
 58 |     %res = $op %val
 59 |     %res = $op %val
 60 |     %res = $op %val
 61 |     %res = $op %val
 62 |     %res = $op %val
 63 |     %res = $op %val
 64 |     %res = $op %val
 65 |     %res = $op %val
 66 |     %res = $op %val
 67 |     %res = $op %val
 68 |     %res = $op %val
 69 |     %res = $op %val
 70 |     %res = $op %val
 71 |     %res = $op %val
 72 |     %res = $op %val
 73 |     %res = $op %val
 74 |     %res = $op %val
 75 |     %res = $op %val
 76 |     %res = $op %val
 77 |     %res = $op %val
 78 |     %res = $op %val
 79 |     %res = $op %val
 80 |     %res = $op %val
 81 |     %res = $op %val
 82 |     %res = $op %val
 83 |     %res = $op %val
 84 |     %res = $op %val
 85 |     %res = $op %val
 86 |     %res = $op %val
 87 |     %res = $op %val
 88 |     %res = $op %val
 89 |     %res = $op %val
 90 |     %res = $op %val
 91 |     %res = $op %val
 92 |     %res = $op %val
 93 |     %res = $op %val
 94 |     %res = $op %val
 95 |     %res = $op %val
 96 |     %res = $op %val
 97 |     %res = $op %val
 98 |     %res = $op %val
 99 |     %res = $op %val
100 |     %res = $op %val
101 |     %res = $op %val
102 |     %res = $op %val
103 |     %res = $op %val
104 |     %res = $op %val
105 |     %res = $op %val
106 |     %res = $op %val
107 |     %res = $op %val
108 |     %res = $op %val
109 |     %res = $op %val
110 |     %i = sub %i, 1
111 |     br loop
112 |   end:
113 |     ret void
114 |   }
115 | }
116 | 


--------------------------------------------------------------------------------
/tests/gas/unary.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0x10e8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "unary.iele.tmp"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fee19e930",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000000000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Albe", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4a51000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "unary.iele.tmp"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/approve_Other-Negative.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
15 |                     "0x00": "0x2710"
16 |                 }, 
17 |                 "code": "../../../../iele-examples/erc20.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": [],
25 |                         "status": "0x04",
26 |                         "gas": "0x00",
27 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "approve", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": [
39 |                           "0x03",
40 |                           "-0x03"
41 |                         ], 
42 |                         "contractCode": "",
43 |                         "gasPrice": "0x01",
44 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
45 |                     }
46 |                 ], 
47 |                 "blockHeader": {
48 |                     "gasLimit": "0x174876e800", 
49 |                     "number": "0x01", 
50 |                     "difficulty": "0x020000", 
51 |                     "timestamp": "0x03e8", 
52 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
53 |                 }
54 |             }
55 |         ], 
56 |         "network": "Danse", 
57 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
58 |         "postState": {
59 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
60 |                 "nonce": "0x01",
61 |                 "balance": "0xe8d4951000",
62 |                 "storage": {}, 
63 |                 "code": ""
64 |             },
65 |             "0x1000000000000000000000000000000000000000": {
66 |                 "nonce": "0x00", 
67 |                 "balance": "0x00", 
68 |                 "storage": {
69 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
70 |                     "0x00": "0x2710"
71 |                 }, 
72 |                 "code": "../../../../iele-examples/erc20.iele"
73 |             }
74 |         }
75 |     }
76 | }
77 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/approve_Other-Zero.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
15 |                     "0x00": "0x2710"
16 |                 }, 
17 |                 "code": "../../../../iele-examples/erc20.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": ["0x01"],
25 |                         "status": "",
26 |                         "gas": "0x0f916f",
27 |                         "logs": "0xab8d282c95b1dd7b14dc3de5fea4eced96cf39ed6ac8a322c23e25bc2dd547f0",
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "approve", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": [
39 |                           "0x08",
40 |                           "0x00"
41 |                         ], 
42 |                         "contractCode": "",
43 |                         "gasPrice": "0x01",
44 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
45 |                     }
46 |                 ], 
47 |                 "blockHeader": {
48 |                     "gasLimit": "0x174876e800", 
49 |                     "number": "0x01", 
50 |                     "difficulty": "0x020000", 
51 |                     "timestamp": "0x03e8", 
52 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
53 |                 }
54 |             }
55 |         ], 
56 |         "network": "Danse", 
57 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
58 |         "postState": {
59 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
60 |                 "nonce": "0x01",
61 |                 "balance": "0xe8d4951000",
62 |                 "storage": {}, 
63 |                 "code": ""
64 |             },
65 |             "0x1000000000000000000000000000000000000000": {
66 |                 "nonce": "0x00", 
67 |                 "balance": "0x00", 
68 |                 "storage": {
69 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
70 |                     "0x00": "0x2710"
71 |                 }, 
72 |                 "code": "../../../../iele-examples/erc20.iele"
73 |             }
74 |         }
75 |     }
76 | }
77 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/balanceOf_Caller.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
15 |                     "0x00": "0x2710"
16 |                 }, 
17 |                 "code": "../../../../iele-examples/erc20.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": ["0x2710"],
25 |                         "status": "",
26 |                         "gas": "0x0fa43c",
27 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "balanceOf", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": [
39 |                           "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                         ], 
41 |                         "contractCode": "",
42 |                         "gasPrice": "0x01",
43 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
44 |                     }
45 |                 ], 
46 |                 "blockHeader": {
47 |                     "gasLimit": "0x174876e800", 
48 |                     "number": "0x01", 
49 |                     "difficulty": "0x020000", 
50 |                     "timestamp": "0x03e8", 
51 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
52 |                 }
53 |             }
54 |         ], 
55 |         "network": "Danse", 
56 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
57 |         "postState": {
58 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
59 |                 "nonce": "0x01",
60 |                 "balance": "0xe8d4951000",
61 |                 "storage": {}, 
62 |                 "code": ""
63 |             },
64 |             "0x1000000000000000000000000000000000000000": {
65 |                 "nonce": "0x00", 
66 |                 "balance": "0x00", 
67 |                 "storage": {
68 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
69 |                     "0x00": "0x2710"
70 |                 }, 
71 |                 "code": "../../../../iele-examples/erc20.iele"
72 |             }
73 |         }
74 |     }
75 | }
76 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/balanceOf_NonCaller.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
15 |                     "0x00": "0x2710"
16 |                 }, 
17 |                 "code": "../../../../iele-examples/erc20.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": ["0x00"],
25 |                         "status": "",
26 |                         "gas": "0x0fa990",
27 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "balanceOf", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": [
39 |                           "0x09"
40 |                         ], 
41 |                         "contractCode": "",
42 |                         "gasPrice": "0x01",
43 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
44 |                     }
45 |                 ], 
46 |                 "blockHeader": {
47 |                     "gasLimit": "0x174876e800", 
48 |                     "number": "0x01", 
49 |                     "difficulty": "0x020000", 
50 |                     "timestamp": "0x03e8", 
51 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
52 |                 }
53 |             }
54 |         ], 
55 |         "network": "Danse", 
56 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
57 |         "postState": {
58 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
59 |                 "nonce": "0x01",
60 |                 "balance": "0xe8d4951000",
61 |                 "storage": {}, 
62 |                 "code": ""
63 |             },
64 |             "0x1000000000000000000000000000000000000000": {
65 |                 "nonce": "0x00", 
66 |                 "balance": "0x00", 
67 |                 "storage": {
68 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
69 |                     "0x00": "0x2710"
70 |                 }, 
71 |                 "code": "../../../../iele-examples/erc20.iele"
72 |             }
73 |         }
74 |     }
75 | }
76 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/create.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             }
10 |         },
11 |         "blocks": [
12 |             {
13 |                 "results": [
14 |                     {
15 |                         "out": ["0x6295ee1b4f6dd65047762f924ecd367c17eabf8f"],
16 |                         "status": "",
17 |                         "gas": "0x0c51b9",
18 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
19 |                         "refund": ""
20 |                     }
21 |                 ],
22 |                 "transactions": [
23 |                     {
24 |                         "nonce": "0x00", 
25 |                         "function": "", 
26 |                         "gasLimit": "0x100000", 
27 |                         "value": "0x00", 
28 |                         "to": "",
29 |                         "arguments": [
30 |                           "0x2710"
31 |                         ], 
32 |                         "contractCode": "../../../../iele-examples/erc20.iele",
33 |                         "gasPrice": "0x01",
34 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
35 |                     }
36 |                 ], 
37 |                 "blockHeader": {
38 |                     "gasLimit": "0x174876e800", 
39 |                     "number": "0x01", 
40 |                     "difficulty": "0x020000", 
41 |                     "timestamp": "0x03e8", 
42 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
43 |                 }
44 |             }
45 |         ], 
46 |         "network": "Danse", 
47 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
48 |         "postState": {
49 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
50 |                 "nonce": "0x01",
51 |                 "balance": "0xe8d4951000",
52 |                 "storage": {}, 
53 |                 "code": ""
54 |             },
55 |             "0x6295ee1b4f6dd65047762f924ecd367c17eabf8f": {
56 |                 "nonce": "0x01", 
57 |                 "balance": "0x00", 
58 |                 "storage": {
59 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
60 |                     "0x00": "0x2710"
61 |                 }, 
62 |                 "code": "../../../../iele-examples/erc20.iele"
63 |             }
64 |         }
65 |     }
66 | }
67 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/totalSupply_Positive.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
15 |                     "0x00": "0x2710"
16 |                 }, 
17 |                 "code": "../../../../iele-examples/erc20.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": ["0x2710"],
25 |                         "status": "",
26 |                         "gas": "0x0fa976",
27 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "totalSupply", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": [
39 |                         ], 
40 |                         "contractCode": "",
41 |                         "gasPrice": "0x01",
42 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
43 |                     }
44 |                 ], 
45 |                 "blockHeader": {
46 |                     "gasLimit": "0x174876e800", 
47 |                     "number": "0x01", 
48 |                     "difficulty": "0x020000", 
49 |                     "timestamp": "0x03e8", 
50 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
51 |                 }
52 |             }
53 |         ], 
54 |         "network": "Danse", 
55 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
56 |         "postState": {
57 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
58 |                 "nonce": "0x01",
59 |                 "balance": "0xe8d4951000",
60 |                 "storage": {}, 
61 |                 "code": ""
62 |             },
63 |             "0x1000000000000000000000000000000000000000": {
64 |                 "nonce": "0x00", 
65 |                 "balance": "0x00", 
66 |                 "storage": {
67 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
68 |                     "0x00": "0x2710"
69 |                 }, 
70 |                 "code": "../../../../iele-examples/erc20.iele"
71 |             }
72 |         }
73 |     }
74 | }
75 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/totalSupply_Zero.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 }, 
15 |                 "code": "../../../../iele-examples/erc20.iele"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": ["0x00"],
23 |                         "status": "",
24 |                         "gas": "0x0fa976",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "totalSupply", 
33 |                         "gasLimit": "0x100000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [
37 |                         ], 
38 |                         "contractCode": "",
39 |                         "gasPrice": "0x01",
40 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
41 |                     }
42 |                 ], 
43 |                 "blockHeader": {
44 |                     "gasLimit": "0x174876e800", 
45 |                     "number": "0x01", 
46 |                     "difficulty": "0x020000", 
47 |                     "timestamp": "0x03e8", 
48 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
49 |                 }
50 |             }
51 |         ], 
52 |         "network": "Danse", 
53 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
54 |         "postState": {
55 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
56 |                 "nonce": "0x01",
57 |                 "balance": "0xe8d4951000",
58 |                 "storage": {}, 
59 |                 "code": ""
60 |             },
61 |             "0x1000000000000000000000000000000000000000": {
62 |                 "nonce": "0x00", 
63 |                 "balance": "0x00", 
64 |                 "storage": {
65 |                 }, 
66 |                 "code": "../../../../iele-examples/erc20.iele"
67 |             }
68 |         }
69 |     }
70 | }
71 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/transfer_Other-Negative.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
15 |                     "0x00": "0x2710"
16 |                 }, 
17 |                 "code": "../../../../iele-examples/erc20.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": [],
25 |                         "status": "0x04",
26 |                         "gas": "",
27 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "transfer", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": [
39 |                           "0x04",
40 |                           "-0x01"
41 |                         ], 
42 |                         "contractCode": "",
43 |                         "gasPrice": "0x01",
44 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
45 |                     }
46 |                 ], 
47 |                 "blockHeader": {
48 |                     "gasLimit": "0x174876e800", 
49 |                     "number": "0x01", 
50 |                     "difficulty": "0x020000", 
51 |                     "timestamp": "0x03e8", 
52 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
53 |                 }
54 |             }
55 |         ], 
56 |         "network": "Danse", 
57 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
58 |         "postState": {
59 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
60 |                 "nonce": "0x01",
61 |                 "balance": "0xe8d4951000",
62 |                 "storage": {}, 
63 |                 "code": ""
64 |             },
65 |             "0x1000000000000000000000000000000000000000": {
66 |                 "nonce": "0x00", 
67 |                 "balance": "0x00", 
68 |                 "storage": {
69 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
70 |                     "0x00": "0x2710"
71 |                 }, 
72 |                 "code": "../../../../iele-examples/erc20.iele"
73 |             }
74 |         }
75 |     }
76 | }
77 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ERC20/transfer_Other-Zero.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
15 |                     "0x00": "0x2710"
16 |                 }, 
17 |                 "code": "../../../../iele-examples/erc20.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": ["0x01"],
25 |                         "status": "",
26 |                         "gas": "0x0f7bbe",
27 |                         "logs": "0xf3eabd8c107c5b1c56403432211da218c3cdb441c3b9548ea3cb3385d53bee30",
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "transfer", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": [
39 |                           "0x04",
40 |                           "0x00"
41 |                         ], 
42 |                         "contractCode": "",
43 |                         "gasPrice": "0x01",
44 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
45 |                     }
46 |                 ], 
47 |                 "blockHeader": {
48 |                     "gasLimit": "0x174876e800", 
49 |                     "number": "0x01", 
50 |                     "difficulty": "0x020000", 
51 |                     "timestamp": "0x03e8", 
52 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
53 |                 }
54 |             }
55 |         ], 
56 |         "network": "Danse", 
57 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
58 |         "postState": {
59 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
60 |                 "nonce": "0x01",
61 |                 "balance": "0xe8d4951000",
62 |                 "storage": {}, 
63 |                 "code": ""
64 |             },
65 |             "0x1000000000000000000000000000000000000000": {
66 |                 "nonce": "0x00", 
67 |                 "balance": "0x00", 
68 |                 "storage": {
69 |                     "0x01a94f5374fce5edbc8e2a8697c15331677e6ebf0b": "0x2710",
70 |                     "0x00": "0x2710"
71 |                 }, 
72 |                 "code": "../../../../iele-examples/erc20.iele"
73 |             }
74 |         }
75 |     }
76 | }
77 | 


--------------------------------------------------------------------------------
/tests/iele/danse/auction/create.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             }
10 |         },
11 |         "blocks": [
12 |             {
13 |                 "results": [
14 |                     {
15 |                         "out": ["0x6295ee1b4f6dd65047762f924ecd367c17eabf8f"],
16 |                         "status": "",
17 |                         "gas": "0x0d7055",
18 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
19 |                         "refund": ""
20 |                     }
21 |                 ],
22 |                 "transactions": [
23 |                     {
24 |                         "nonce": "0x00", 
25 |                         "function": "", 
26 |                         "gasLimit": "0x100000", 
27 |                         "value": "0x00", 
28 |                         "to": "",
29 |                         "arguments": [
30 |                           "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b",
31 |                           "0x1000"
32 |                         ], 
33 |                         "contractCode": "../../../../iele-examples/simpleOpenAuction.iele",
34 |                         "gasPrice": "0x01",
35 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
36 |                     }
37 |                 ], 
38 |                 "blockHeader": {
39 |                     "gasLimit": "0x174876e800", 
40 |                     "number": "0x01", 
41 |                     "difficulty": "0x020000", 
42 |                     "timestamp": "0x03e8", 
43 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
44 |                 }
45 |             }
46 |         ], 
47 |         "network": "Danse", 
48 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
49 |         "postState": {
50 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
51 |                 "nonce": "0x01", 
52 |                 "balance": "0xe8d4951000", 
53 |                 "storage": {}, 
54 |                 "code": ""
55 |             },
56 |             "0x6295ee1b4f6dd65047762f924ecd367c17eabf8f": {
57 |                 "nonce": "0x01", 
58 |                 "balance": "0x00", 
59 |                 "storage": {
60 |                     "0x00": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b",
61 |                     "0x01": "0x03e8",
62 |                     "0x02": "0x13e8"
63 |                 }, 
64 |                 "code": "../../../../iele-examples/simpleOpenAuction.iele"
65 |             }
66 |         }
67 |     }
68 | }
69 | 


--------------------------------------------------------------------------------
/tests/iele/danse/factorial/factorial_negative.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "FACTORIAL": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00",
12 |                 "balance": "0x00",
13 |                 "storage": {},
14 |                 "code": "../../../../iele-examples/factorial.iele"
15 |             }
16 |         },
17 |         "blocks": [
18 |             {
19 |                 "results": [
20 |                     {
21 |                         "out": [],
22 |                         "status": "0x04",
23 |                         "gas": "",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00",
31 |                         "function": "factorial",
32 |                         "gasLimit": "0x100000",
33 |                         "value": "0x00",
34 |                         "to": "0x1000000000000000000000000000000000000000",
35 |                         "arguments": ["-0x64"],
36 |                         "contractCode": "",
37 |                         "gasPrice": "0x01",
38 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
39 |                     }
40 |                 ],
41 |                 "blockHeader": {
42 |                     "gasLimit": "0x174876e800",
43 |                     "number": "0x01",
44 |                     "difficulty": "0x020000",
45 |                     "timestamp": "0x03e8",
46 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
47 |                 }
48 |             }
49 |         ],
50 |         "network": "Danse",
51 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
52 |         "postState": {
53 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
54 |                 "nonce": "0x01",
55 |                 "balance": "0xe8d4951000",
56 |                 "storage": {},
57 |                 "code": ""
58 |             },
59 |             "0x1000000000000000000000000000000000000000": {
60 |                 "nonce": "0x00",
61 |                 "balance": "0x00",
62 |                 "storage": {},
63 |                 "code": "../../../../iele-examples/factorial.iele"
64 |             }
65 |         }
66 |     }
67 | }
68 | 


--------------------------------------------------------------------------------
/tests/iele/danse/factorial/factorial_positive.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "FACTORIAL": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00",
12 |                 "balance": "0x00",
13 |                 "storage": {},
14 |                 "code": "../../../../iele-examples/factorial.iele"
15 |             }
16 |         },
17 |         "blocks": [
18 |             {
19 |                 "results": [
20 |                     {
21 |                         "out": ["0x1b30964ec395dc24069528d54bbda40d16e966ef9a70eb21b5b2943a321cdf10391745570cca9420c6ecb3b72ed2ee8b02ea2735c61a000000000000000000000000"],
22 |                         "status": "",
23 |                         "gas": "0x0fa0f7",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00",
31 |                         "function": "factorial",
32 |                         "gasLimit": "0x100000",
33 |                         "value": "0x00",
34 |                         "to": "0x1000000000000000000000000000000000000000",
35 |                         "arguments": ["0x64"],
36 |                         "contractCode": "",
37 |                         "gasPrice": "0x01",
38 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
39 |                     }
40 |                 ],
41 |                 "blockHeader": {
42 |                     "gasLimit": "0x174876e800",
43 |                     "number": "0x01",
44 |                     "difficulty": "0x020000",
45 |                     "timestamp": "0x03e8",
46 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
47 |                 }
48 |             }
49 |         ],
50 |         "network": "Danse",
51 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
52 |         "postState": {
53 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
54 |                 "nonce": "0x01",
55 |                 "balance": "0xe8d4951000",
56 |                 "storage": {},
57 |                 "code": ""
58 |             },
59 |             "0x1000000000000000000000000000000000000000": {
60 |                 "nonce": "0x00",
61 |                 "balance": "0x00",
62 |                 "storage": {},
63 |                 "code": "../../../../iele-examples/factorial.iele"
64 |             }
65 |         }
66 |     }
67 | }
68 | 


--------------------------------------------------------------------------------
/tests/iele/danse/factorial/factorial_zero.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "FACTORIAL": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00",
12 |                 "balance": "0x00",
13 |                 "storage": {},
14 |                 "code": "../../../../iele-examples/factorial.iele"
15 |             }
16 |         },
17 |         "blocks": [
18 |             {
19 |                "results": [
20 |                     {
21 |                         "out": ["0x01"],
22 |                         "status": "",
23 |                         "gas": "0x0faaaf",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00",
31 |                         "function": "factorial",
32 |                         "gasLimit": "0x100000",
33 |                         "value": "0x00",
34 |                         "to": "0x1000000000000000000000000000000000000000",
35 |                         "arguments": ["0x00"],
36 |                         "contractCode": "",
37 |                         "gasPrice": "0x01",
38 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
39 |                     }
40 |                 ],
41 |                 "blockHeader": {
42 |                     "gasLimit": "0x174876e800",
43 |                     "number": "0x01",
44 |                     "difficulty": "0x020000",
45 |                     "timestamp": "0x03e8",
46 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
47 |                 }
48 |             }
49 |         ],
50 |         "network": "Danse",
51 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
52 |         "postState": {
53 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
54 |                 "nonce": "0x01",
55 |                 "balance": "0xe8d4951000",
56 |                 "storage": {},
57 |                 "code": ""
58 |             },
59 |             "0x1000000000000000000000000000000000000000": {
60 |                 "nonce": "0x00",
61 |                 "balance": "0x00",
62 |                 "storage": {},
63 |                 "code": "../../../../iele-examples/factorial.iele"
64 |             }
65 |         }
66 |     }
67 | }
68 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ill-formed/duplicateFuncs.iele:
--------------------------------------------------------------------------------
 1 | contract test {
 2 |   define public @test() {
 3 |     %ret = 100
 4 |     ret void
 5 |   }
 6 | 
 7 |   define public @test() {
 8 |     %ret = 200
 9 |     ret void
10 |   }
11 | 
12 |   define @init() {}
13 | }
14 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ill-formed/illFormed.iele:
--------------------------------------------------------------------------------
1 | contract Foo {}
2 | 


--------------------------------------------------------------------------------
/tests/iele/danse/ill-formed/illFormed.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             }
10 |         },
11 |         "blocks": [
12 |             {
13 |                 "results": [
14 |                     {
15 |                         "out": [],
16 |                         "status": "0x09",
17 |                         "gas": "0x0f2f94",
18 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
19 |                         "refund": ""
20 |                     }
21 |                 ],
22 |                 "transactions": [
23 |                     {
24 |                         "nonce": "0x00", 
25 |                         "function": "", 
26 |                         "gasLimit": "0x100000", 
27 |                         "value": "0x00", 
28 |                         "to": "",
29 |                         "arguments": [], 
30 |                         "contractCode": "illFormed.iele",
31 |                         "gasPrice": "0x01",
32 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
33 |                     }
34 |                 ], 
35 |                 "blockHeader": {
36 |                     "gasLimit": "0x174876e800", 
37 |                     "number": "0x01", 
38 |                     "difficulty": "0x020000", 
39 |                     "timestamp": "0x03e8", 
40 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
41 |                 }
42 |             }
43 |         ], 
44 |         "network": "Danse", 
45 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
46 |         "postState": {
47 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
48 |                 "nonce": "0x01",
49 |                 "balance": "0xe8d4951000",
50 |                 "storage": {},
51 |                 "code": ""
52 |             }
53 |         }
54 |     }
55 | }
56 | 


--------------------------------------------------------------------------------
/tests/iele/danse/sha3/sha3.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "SUM": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00",
12 |                 "balance": "0x00",
13 |                 "storage": {},
14 |                 "code": "../../../../benchmark/Sha3.iele"
15 |             }
16 |         },
17 |         "blocks": [
18 |             { 
19 |                "results": [
20 |                     {
21 |                         "out": ["0x00a7ffc6f8bf1ed76651c14756a061d662f580ff4de43b49fa82d80a4b80f8434a"],
22 |                         "status": "",
23 |                         "gas": "0xf77a86",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00",
31 |                         "function": "sha3(bytes)",
32 |                         "gasLimit": "0x01000000",
33 |                         "value": "0x00",
34 |                         "to": "0x1000000000000000000000000000000000000000",
35 |                         "arguments": ["0x00"],
36 |                         "contractCode": "",
37 |                         "gasPrice": "0x01",
38 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
39 |                     }
40 |                 ],
41 |                 "blockHeader": {
42 |                     "gasLimit": "0x174876e800",
43 |                     "number": "0x01",
44 |                     "difficulty": "0x020000",
45 |                     "timestamp": "0x03e8",
46 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
47 |                 }
48 |             }
49 |         ],
50 |         "network": "Danse",
51 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
52 |         "postState": {
53 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
54 |                 "nonce": "0x01",
55 |                 "balance": "0xe8d3a51000",
56 |                 "storage": {},
57 |                 "code": ""
58 |             },
59 |             "0x1000000000000000000000000000000000000000": {
60 |                 "nonce": "0x00",
61 |                 "balance": "0x00",
62 |                 "storage": {},
63 |                 "code": "../../../../benchmark/Sha3.iele"
64 |             }
65 |         }
66 |     }
67 | }
68 | 


--------------------------------------------------------------------------------
/tests/iele/danse/sum/sum_negative.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "SUM": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00",
12 |                 "balance": "0x00",
13 |                 "storage": {},
14 |                 "code": "../../../../iele-examples/sum.iele"
15 |             }
16 |         },
17 |         "blocks": [
18 |             {
19 |                 "results": [
20 |                     {
21 |                         "out": [],
22 |                         "status": "0x04",
23 |                         "gas": "",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00",
31 |                         "function": "sum",
32 |                         "gasLimit": "0x100000",
33 |                         "value": "0x00",
34 |                         "to": "0x1000000000000000000000000000000000000000",
35 |                         "arguments": ["-0x64"],
36 |                         "contractCode": "",
37 |                         "gasPrice": "0x01",
38 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
39 |                     }
40 |                 ],
41 |                 "blockHeader": {
42 |                     "gasLimit": "0x174876e800",
43 |                     "number": "0x01",
44 |                     "difficulty": "0x020000",
45 |                     "timestamp": "0x03e8",
46 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
47 |                 }
48 |             }
49 |         ],
50 |         "network": "Danse",
51 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
52 |         "postState": {
53 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
54 |                 "nonce": "0x01",
55 |                 "balance": "0xe8d4951000",
56 |                 "storage": {},
57 |                 "code": ""
58 |             },
59 |             "0x1000000000000000000000000000000000000000": {
60 |                 "nonce": "0x00",
61 |                 "balance": "0x00",
62 |                 "storage": {},
63 |                 "code": "../../../../iele-examples/sum.iele"
64 |             }
65 |         }
66 |     }
67 | }
68 | 


--------------------------------------------------------------------------------
/tests/iele/danse/sum/sum_positive.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "SUM": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00",
12 |                 "balance": "0x00",
13 |                 "storage": {},
14 |                 "code": "../../../../iele-examples/sum.iele"
15 |             }
16 |         },
17 |         "blocks": [
18 |             { 
19 |                "results": [
20 |                     {
21 |                         "out": ["0x13ba"],
22 |                         "status": "",
23 |                         "gas": "0x0fa365",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00",
31 |                         "function": "sum",
32 |                         "gasLimit": "0x100000",
33 |                         "value": "0x00",
34 |                         "to": "0x1000000000000000000000000000000000000000",
35 |                         "arguments": ["0x64"],
36 |                         "contractCode": "",
37 |                         "gasPrice": "0x01",
38 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
39 |                     }
40 |                 ],
41 |                 "blockHeader": {
42 |                     "gasLimit": "0x174876e800",
43 |                     "number": "0x01",
44 |                     "difficulty": "0x020000",
45 |                     "timestamp": "0x03e8",
46 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
47 |                 }
48 |             }
49 |         ],
50 |         "network": "Danse",
51 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
52 |         "postState": {
53 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
54 |                 "nonce": "0x01",
55 |                 "balance": "0xe8d4951000",
56 |                 "storage": {},
57 |                 "code": ""
58 |             },
59 |             "0x1000000000000000000000000000000000000000": {
60 |                 "nonce": "0x00",
61 |                 "balance": "0x00",
62 |                 "storage": {},
63 |                 "code": "../../../../iele-examples/sum.iele"
64 |             }
65 |         }
66 |     }
67 | }
68 | 


--------------------------------------------------------------------------------
/tests/iele/danse/sum/sum_zero.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "SUM": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00",
12 |                 "balance": "0x00",
13 |                 "storage": {},
14 |                 "code": "../../../../iele-examples/sum.iele"
15 |             }
16 |         },
17 |         "blocks": [
18 |             {
19 |                "results": [
20 |                     {
21 |                         "out": ["0x00"],
22 |                         "status": "",
23 |                         "gas": "0x0fac47",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00",
31 |                         "function": "sum",
32 |                         "gasLimit": "0x100000",
33 |                         "value": "0x00",
34 |                         "to": "0x1000000000000000000000000000000000000000",
35 |                         "arguments": ["0x00"],
36 |                         "contractCode": "",
37 |                         "gasPrice": "0x01",
38 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
39 |                     }
40 |                 ],
41 |                 "blockHeader": {
42 |                     "gasLimit": "0x174876e800",
43 |                     "number": "0x01",
44 |                     "difficulty": "0x020000",
45 |                     "timestamp": "0x03e8",
46 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
47 |                 }
48 |             }
49 |         ],
50 |         "network": "Danse",
51 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
52 |         "postState": {
53 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
54 |                 "nonce": "0x01",
55 |                 "balance": "0xe8d4951000",
56 |                 "storage": {},
57 |                 "code": ""
58 |             },
59 |             "0x1000000000000000000000000000000000000000": {
60 |                 "nonce": "0x00",
61 |                 "balance": "0x00",
62 |                 "storage": {},
63 |                 "code": "../../../../iele-examples/sum.iele"
64 |             }
65 |         }
66 |     }
67 | }
68 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/bits.iele:
--------------------------------------------------------------------------------
 1 | contract test {
 2 |   define public @test() {
 3 |     %ret = twos 0, 5
 4 |     br %ret, throw
 5 |     %ret = sext 0, 5
 6 |     br %ret, throw
 7 |     ret void
 8 |   throw:
 9 |     revert -1
10 |   }
11 | 
12 |   define @init() {}
13 | }
14 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/bits.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "bits.iele"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fac04",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Danse", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4951000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "bits.iele"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/bits2.iele:
--------------------------------------------------------------------------------
 1 | contract test {
 2 |   define public @test(%width, %val, %negate) {
 3 |     br %negate, end
 4 |     %val = sub 0, %val
 5 |   end:
 6 |     %tmp = twos %width, %val
 7 |     %tmp = sext %width, %tmp
 8 |     %cmp = cmp eq %tmp, %val
 9 |     ret %cmp
10 |   }
11 | 
12 |   define @init() {}
13 | }
14 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/blockhash.iele:
--------------------------------------------------------------------------------
1 | contract blockhash_test {
2 |   define public @test_blockhash(%offset, %idx) {
3 |     %hash = call @iele.blockhash(%offset)
4 |     sstore %hash, %idx
5 |   }
6 | 
7 |   define @init() {}
8 | }
9 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/calladdress.iele:
--------------------------------------------------------------------------------
 1 | contract Bar {
 2 |   define @init () {}
 3 |   
 4 |   define public @bar(%acct) {
 5 |     %f = calladdress @test2 at %acct
 6 |     %gas = call @iele.gas()
 7 |     %status, %ret = call %f at %acct () send 0, gaslimit %gas
 8 |     br %status, throw
 9 |     br %ret, throw
10 |     %nonexistent = calladdress @baz at %acct
11 |     br %nonexistent, throw
12 |     ret void
13 |   throw: 
14 |     revert -1
15 |   }
16 | }
17 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/collision.iele:
--------------------------------------------------------------------------------
1 | contract test {
2 |   define @init () {}
3 | }
4 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/collision.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "ERC20_IELE": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00", 
 6 |                 "balance": "0xe8d4a51000", 
 7 |                 "storage": {}, 
 8 |                 "code": ""
 9 |             },
10 |             "0x6295ee1b4f6dd65047762f924ecd367c17eabf8f": {
11 |                 "nonce": "0x01", 
12 |                 "balance": "0x00",
13 |                 "storage": {}, 
14 |                 "code": ""
15 |             }
16 |         },
17 |         "blocks": [
18 |             {
19 |                 "results": [
20 |                     {
21 |                         "out": [],
22 |                         "status": "0x06",
23 |                         "gas": "",
24 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
25 |                         "refund": ""
26 |                     }
27 |                 ],
28 |                 "transactions": [
29 |                     {
30 |                         "nonce": "0x00", 
31 |                         "function": "", 
32 |                         "gasLimit": "0x100000", 
33 |                         "value": "0x00", 
34 |                         "to": "",
35 |                         "arguments": [
36 |                         ], 
37 |                         "contractCode": "collision.iele",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" 
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Danse", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01", 
56 |                 "balance": "0xe8d4951000", 
57 |                 "storage": {}, 
58 |                 "code": ""
59 |             },
60 |             "0x6295ee1b4f6dd65047762f924ecd367c17eabf8f": {
61 |                 "nonce": "0x01", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": ""
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/endian.iele:
--------------------------------------------------------------------------------
1 | contract Test {
2 |   define public @test(%width, %val) {
3 |     %ret = bswap %width, %val
4 |     ret %ret
5 |   }
6 | 
7 |   define @init () {}
8 | }
9 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/escape.iele:
--------------------------------------------------------------------------------
 1 | contract "\00\01\0a\1f\ff" {
 2 |   define @init () {}
 3 | }
 4 | 
 5 | contract Bar {
 6 |   define @init () {}
 7 | }
 8 | 
 9 | contract Foo {
10 |   external contract "\00\01\0a\1f\ff"
11 |   external contract "B\61\72"
12 |   define @init () {}
13 | 
14 |   define public @test() {}
15 | }
16 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/escape.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "escape.iele"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0fac1c",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test", 
33 |                         "gasLimit": "0x100000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [], 
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Danse", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4951000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "escape.iele"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/exceptions.iele:
--------------------------------------------------------------------------------
  1 | contract created {
  2 |   define @init(%addr, %overflow) {
  3 |     br %overflow, return
  4 |     %status, %ret = copycreate %addr (%addr, false) send 0
  5 |     revert %status
  6 |   return:
  7 |     ret void
  8 |   }
  9 | }
 10 | 
 11 | contract test {
 12 |   external contract created
 13 | 
 14 |   define @init() {}
 15 | 
 16 |   define public @test1() {
 17 |     %gas = call @iele.gas()
 18 |     %address = call @iele.address()
 19 |     %status = call @func at %address() send 0, gaslimit %gas
 20 |   }
 21 | 
 22 |   define public @test2() {
 23 |     %gas = call @iele.gas()
 24 |     %address = call @iele.address()
 25 |     %status, %ret1, %ret2 = call @func at %address() send 0, gaslimit %gas
 26 |   label:
 27 |   }
 28 | 
 29 |   define public @test3() {
 30 |     %ret = div 1, 0
 31 |   }
 32 | 
 33 |   define public @test4() {
 34 |     %ret = exp 1, -1
 35 |   }
 36 | 
 37 |   define public @test5() {
 38 |     %ret = mod 1, 0
 39 |   }
 40 | 
 41 |   define public @test6() {
 42 |     %ret = addmod 1, 1, 0
 43 |   }
 44 | 
 45 |   define public @test7() {
 46 |     %ret = mulmod 1, 1, 0
 47 |   }
 48 | 
 49 |   define public @test8() {
 50 |     %ret = expmod 1, 1, 0
 51 |   }
 52 | 
 53 |   define public @test9() {
 54 |     %ret = expmod 2, -1, 2
 55 |   }
 56 | 
 57 |   define public @test10() {
 58 |     %ret = sext 1, -1
 59 |   }
 60 | 
 61 |   define public @test11() {
 62 |     %ret = bswap 1, -1
 63 |   }
 64 | 
 65 |   define public @test12() {
 66 |     %ret = log2 0
 67 |   }
 68 | 
 69 |   define public @test13() {
 70 |     %gas = call @iele.gas()
 71 |     %address = call @iele.address()
 72 |     %status, %ret = call @func at %address() send 1, gaslimit %gas
 73 |     revert %status
 74 |   }
 75 | 
 76 |   define public @test14() {
 77 |     %gas = call @iele.gas()
 78 |     %address = call @iele.address()
 79 |     %status, %ret = call @test14 at %address() send 0, gaslimit %gas
 80 |     revert %status
 81 |   }
 82 | 
 83 |   define public @test15() {
 84 |     %gas = call @iele.gas()
 85 |     %address = call @iele.address()
 86 |     %status = call @func2 at %address() send 0, gaslimit %gas
 87 |     revert %status
 88 |   }
 89 | 
 90 |   define public @test17(%foo) {}
 91 | 
 92 |   define public @test18() {
 93 |     %status, %ret = create created(0, true) send 1
 94 |     revert %status
 95 |   }
 96 | 
 97 |   define public @test19() {
 98 |     %status, %ret = create created(0, true) send 0
 99 |     %status, %ret2 = create created(%ret, false) send 0
100 |     revert %status
101 |   }
102 | 
103 |   define public @func() {
104 |     ret 0
105 |   }
106 | 
107 |   define @func2() {}
108 | }
109 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/fptr.iele:
--------------------------------------------------------------------------------
 1 | contract test {
 2 |   define public @test() {
 3 |     %func = @test2
 4 |     store %func, 0
 5 |     %func = load 0
 6 |     %ret = call %func()
 7 |     br %ret, throw
 8 |     %addr = call @iele.address()
 9 |     %gas = call @iele.gas()
10 |     %status, %ret = call %func at %addr() send 0, gaslimit %gas
11 |     br %status, throw
12 |     br %ret, throw
13 |     %status, %ret = staticcall %func at %addr() gaslimit %gas
14 |     br %status, throw
15 |     br %ret, throw
16 | 
17 |     %gas = 10000
18 |     %status = call @testfail at %addr() send 0, gaslimit %gas
19 |     %cmp = cmp ne %status, 1
20 |     br %cmp, throw
21 | 
22 |     %status = call @testfail2 at %addr() send 0, gaslimit %gas
23 |     %cmp = cmp ne %status, 2
24 |     br %cmp, throw
25 |     ret void
26 |   throw:
27 |     revert -1
28 |   }
29 | 
30 |   @unused = 13
31 | 
32 |   define @init () {}
33 | 
34 |   define public @test2() {
35 |     ret 0
36 |   }
37 | 
38 |   define public @testfail() {
39 |     %func = 15
40 |     %addr = call @iele.address()
41 |     %gas = 1000
42 |     %status, %ret = call %func at %addr() send 0, gaslimit %gas
43 |     %cmp = cmp ne %status, 1
44 |     br %cmp, throw
45 |     br %ret, throw
46 |     %status, %ret = staticcall %func at %addr() gaslimit %gas
47 |     %cmp = cmp ne %status, 1
48 |     br %cmp, throw
49 |     br %ret, throw
50 |     %ret = call %func()
51 |   throw:
52 |     revert -1
53 |   }
54 | 
55 |   define public @testfail2() {
56 |     %func = @test2
57 |     %ret = call %func(0)
58 |   }
59 | }
60 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/fptr.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "fptr.iele"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0f5d09",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test",
33 |                         "gasLimit": "0x100000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [],
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Danse", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4951000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "fptr.iele"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/logarithm.iele:
--------------------------------------------------------------------------------
1 | contract logarithm_test {
2 |   define public @test_logarithm(%value) {
3 |     %retval = log2 %value
4 |     ret %retval
5 |   }
6 | 
7 |   define @init() {}
8 | }
9 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/selfdestruct.iele:
--------------------------------------------------------------------------------
1 | contract selfdestruct_test {
2 |   define public @kill(%receiver) {
3 |     selfdestruct %receiver
4 |   }
5 | 
6 |   define @init() {}
7 | }
8 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/selfdestruct.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "SHIFT": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x10", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "selfdestruct.iele"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": [],
23 |                         "status": "",
24 |                         "gas": "0x0f49a0",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": "0x5dc0"
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "kill", 
33 |                         "gasLimit": "0x100000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": ["0x2000000000000000000000000000000000000000"], 
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Danse", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4951000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x2000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x10", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": ""
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/shift.iele:
--------------------------------------------------------------------------------
 1 | contract shift_test {
 2 |   @x = 0x0100
 3 |   @y = 0x0101
 4 |   define public @test_shift(%a,%b) {
 5 |     %2 = sload @x
 6 |     %2 = shift %2, %a
 7 |     sstore %2, @x
 8 |     %2 = sload @y
 9 |     %2 = shift %2, %b
10 |     sstore %2, @y
11 |   }
12 | 
13 |   define @init() {}
14 | }
15 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/shift.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "SHIFT": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                     "0x0100": "0x0001",
15 |                     "0x0101": "0x1000"
16 |                 },
17 |                 "code": "shift.iele"
18 |             }
19 |         },
20 |         "blocks": [
21 |             {
22 |                 "results": [
23 |                     {
24 |                         "out": [],
25 |                         "status": "",
26 |                         "gas": "0x0f816d",
27 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
28 |                         "refund": ""
29 |                     }
30 |                 ],
31 |                 "transactions": [
32 |                     {
33 |                         "nonce": "0x00", 
34 |                         "function": "test_shift", 
35 |                         "gasLimit": "0x100000", 
36 |                         "value": "0x00", 
37 |                         "to": "0x1000000000000000000000000000000000000000", 
38 |                         "arguments": ["0x09","-0x0b"], 
39 |                         "contractCode": "",
40 |                         "gasPrice": "0x01",
41 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
42 |                     }
43 |                 ], 
44 |                 "blockHeader": {
45 |                     "gasLimit": "0x174876e800", 
46 |                     "number": "0x01", 
47 |                     "difficulty": "0x020000", 
48 |                     "timestamp": "0x03e8", 
49 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
50 |                 }
51 |             }
52 |         ], 
53 |         "network": "Danse", 
54 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
55 |         "postState": {
56 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
57 |                 "nonce": "0x01",
58 |                 "balance": "0xe8d4951000",
59 |                 "storage": {},
60 |                 "code": ""
61 |             },
62 |             "0x1000000000000000000000000000000000000000": {
63 |                 "nonce": "0x00", 
64 |                 "balance": "0x00", 
65 |                 "storage": {
66 |                     "0x0100": "0x0200",
67 |                     "0x0101": "0x02"
68 |                 }, 
69 |                 "code": "shift.iele"
70 |             }
71 |         }
72 |     }
73 | }
74 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/staticcall.iele:
--------------------------------------------------------------------------------
 1 | contract created {
 2 |   define @init() {}
 3 | }
 4 | 
 5 | contract staticcall_test {
 6 |   external contract created
 7 | 
 8 |   define public @test_staticcall() {
 9 |     %address = call @iele.address()
10 |     %gas = call @iele.gas()
11 |     %status, %ret = staticcall @static1 at %address () gaslimit %gas
12 |     br %status, throw
13 |     br %ret, throw
14 |     %status, %ret = staticcall @nonstatic1 at %address () gaslimit 20000
15 |     %cmp = cmp ne %status, 4
16 |     br %cmp, throw
17 |     %status, %ret = staticcall @nonstatic2 at %address () gaslimit 1000
18 |     %cmp = cmp ne %status, 4
19 |     br %cmp, throw
20 |     %status, %ret = staticcall @nonstatic3 at %address () gaslimit 1000
21 |     %cmp = cmp ne %status, 4
22 |     br %cmp, throw
23 |     %status, %ret = staticcall @nonstatic4 at %address () gaslimit 2000
24 |     %cmp = cmp ne %status, 4
25 |     br %cmp, throw
26 |     %status, %ret = staticcall @nonstatic5 at %address () gaslimit 40000
27 |     %cmp = cmp ne %status, 4
28 |     br %cmp, throw
29 |     %status, %ret = staticcall @nonstatic6 at %address () gaslimit 40000
30 |     %cmp = cmp ne %status, 4
31 |     br %cmp, throw
32 |     %status, %ret = staticcall @nonstatic7 at %address () gaslimit 10000
33 |     %cmp = cmp ne %status, 4
34 |     br %cmp, throw
35 |     ret 0
36 |   throw:
37 |     revert -1
38 |   }
39 | 
40 |   define public @static2() {
41 |     ret void
42 |   }
43 | 
44 |   define public @static1() {
45 |     %address = call @iele.address()
46 |     %gas = call @iele.gas()
47 |     %status = call @static2 at %address () send 0, gaslimit %gas
48 |     br %status, throw
49 |     ret 0
50 |   throw:
51 |     revert -1
52 |   }
53 | 
54 |   define public @nonstatic1() {
55 |     sstore 0, 0
56 |   }
57 |   define public @nonstatic2() {
58 |     log 0
59 |   }
60 |   define public @nonstatic3() {
61 |     log 0, 0
62 |   }
63 |   define public @nonstatic4() {
64 |     %address = call @iele.address()
65 |     %gas = call @iele.gas()
66 |     %status = call @static2 at %address () send 1, gaslimit %gas
67 |   }
68 |   define public @nonstatic5() {
69 |     %status, %ret = create created () send 0
70 |   }
71 |   define public @nonstatic6() {
72 |     %address = call @iele.address()
73 |     %status, %ret = copycreate %address () send 0
74 |   }
75 |   define public @nonstatic7() {
76 |     selfdestruct 0
77 |   }
78 | 
79 |   define @init() {}
80 | }
81 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/staticcall.iele.json:
--------------------------------------------------------------------------------
 1 | {
 2 |     "BLOCKHASH": {
 3 |         "pre": {
 4 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
 5 |                 "nonce": "0x00",
 6 |                 "balance": "0xe8d4a51000",
 7 |                 "storage": {},
 8 |                 "code": ""
 9 |             },
10 |             "0x1000000000000000000000000000000000000000": {
11 |                 "nonce": "0x00", 
12 |                 "balance": "0x00", 
13 |                 "storage": {
14 |                 },
15 |                 "code": "staticcall.iele"
16 |             }
17 |         },
18 |         "blocks": [
19 |             {
20 |                 "results": [
21 |                     {
22 |                         "out": ["0x00"],
23 |                         "status": "",
24 |                         "gas": "0x0dea03",
25 |                         "logs": "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", 
26 |                         "refund": ""
27 |                     }
28 |                 ],
29 |                 "transactions": [
30 |                     {
31 |                         "nonce": "0x00", 
32 |                         "function": "test_staticcall", 
33 |                         "gasLimit": "0x100000", 
34 |                         "value": "0x00", 
35 |                         "to": "0x1000000000000000000000000000000000000000", 
36 |                         "arguments": [], 
37 |                         "contractCode": "",
38 |                         "gasPrice": "0x01",
39 |                         "from": "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b"
40 |                     }
41 |                 ], 
42 |                 "blockHeader": {
43 |                     "gasLimit": "0x174876e800", 
44 |                     "number": "0x01", 
45 |                     "difficulty": "0x020000", 
46 |                     "timestamp": "0x03e8", 
47 |                     "coinbase": "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
48 |                 }
49 |             }
50 |         ], 
51 |         "network": "Danse", 
52 |         "blockhashes": ["0x24a30e4305ac41674b26493c800c05f507e98d3b8bceb0a314f9b9bc43622736", "0x00"],
53 |         "postState": {
54 |             "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
55 |                 "nonce": "0x01",
56 |                 "balance": "0xe8d4951000",
57 |                 "storage": {},
58 |                 "code": ""
59 |             },
60 |             "0x1000000000000000000000000000000000000000": {
61 |                 "nonce": "0x00", 
62 |                 "balance": "0x00", 
63 |                 "storage": {
64 |                 }, 
65 |                 "code": "staticcall.iele"
66 |             }
67 |         }
68 |     }
69 | }
70 | 


--------------------------------------------------------------------------------
/tests/iele/danse/unit/wellFormed.iele:
--------------------------------------------------------------------------------
 1 | contract Test {
 2 |   define @init() {}
 3 | 
 4 |   define public @foo() {
 5 |     %ret = not 0
 6 |     %ret = byte 1, 2
 7 |     %ret = and 1, 2
 8 |     %ret = xor 1, 2
 9 |     %ret = sha3 0
10 |     log 0, 0
11 |   }
12 | }
13 | 


--------------------------------------------------------------------------------
/tests/node-test.sh:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env bash
 2 | 
 3 | set -euxo pipefail
 4 | 
 5 | port=9001
 6 | 
 7 | args=()
 8 | while [[ $# -gt 0 ]]; do
 9 |     arg="$1"
10 |     case $arg in
11 |         --port) port="$2"    ; shift 2 ;;
12 |         *)      args+=("$1") ; shift   ;;
13 |     esac
14 | done
15 | if [[ "${#args[@]}" -gt 0 ]]; then
16 |   set -- "${args[@]}"
17 | fi
18 | 
19 | kiele vm --port "$port" &
20 | sleep 3
21 | make test-iele-node  "$@" TEST_PORT="$port"
22 | make test-bad-packet "$@" TEST_PORT="$port"
23 | kill %kiele
24 | 


--------------------------------------------------------------------------------
/tests/split-test.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | 
 3 | 
 4 | import sys
 5 | import json
 6 | import os
 7 | import subprocess
 8 | 
 9 | # Example usage: tests/ethereum-tests/VMTests/abc.json tests/VMTests/abc/
10 | source_file = sys.argv[1]
11 | target_dir = sys.argv[2]
12 | 
13 | evm_test_to_iele = os.path.join(os.path.dirname(__file__), "evm-to-iele", "evm-test-to-iele")
14 | 
15 | with open (source_file, "r") as source:
16 |     original_test = json.load(source)
17 |     for subtest in original_test.keys():
18 |         target_file = os.path.join(target_dir, subtest + ".json")
19 |         target_iele_file = os.path.join(target_dir, subtest + ".iele.json")
20 |         with open (target_file, "w+") as target:
21 |             json.dump({ subtest: original_test[subtest] }, target, indent=4)
22 |         with open (target_iele_file, "w+") as target:
23 |             subprocess.check_call([evm_test_to_iele, target_file, target_iele_file])
24 | 


--------------------------------------------------------------------------------
/vm/c/iele/semantics.cpp:
--------------------------------------------------------------------------------
 1 | #include "proto/msg.pb.h"
 2 | #include "runtime/header.h"
 3 | #include "semantics.h"
 4 | #include "k.h"
 5 | #include "world.h"
 6 | #include "vm.h"
 7 | #include <string>
 8 | 
 9 | using namespace io::iohk::ethereum::extvm;
10 | 
11 | bool get_error(mpz_ptr status) {
12 |   return mpz_sgn(status) != 0;
13 | }
14 | 
15 | std::string get_output_data(list *l) {
16 |   static uint32_t tag = getTagForSymbolName("LblListToInts{}");
17 |   void *arr[1];
18 |   arr[0] = l;
19 |   block* ints = (block*)evaluateFunctionSymbol(tag, arr);
20 |   static uint32_t tag2 = getTagForSymbolName("LblrlpEncodeInts{}");
21 |   arr[0] = ints;
22 |   string* token = (string*)evaluateFunctionSymbol(tag2, arr);
23 |   return std::string(token->data, len(token));
24 | }
25 | 
26 | uint64_t get_schedule(mpz_ptr number, CallContext *ctx) {
27 |   static uint32_t danse_tag = getTagForSymbolName("LblDANSE{}");
28 |   uint32_t tag = danse_tag;
29 |   return (((uint64_t)tag) << 32) | 1;
30 | }
31 | 
32 | input_data unpack_input(bool iscreate, std::string data) {
33 |   string* token = makeString(data.c_str(), data.size());
34 |   static uint32_t tag = getTagForSymbolName("LblrlpDecode{}");
35 |   void* arr[1];
36 |   arr[0] = token;
37 |   json* decoded = (json*) evaluateFunctionSymbol(tag, arr);
38 |   string* str = ((stringinj*)decoded->data->hd)->data;
39 |   jsonlist* args = ((json*)decoded->data->tl->hd)->data;
40 |   input_data res;
41 |   res.args = (block*)args;
42 |   if (iscreate) {
43 |     res.code = str;
44 |     res.function = makeString("");
45 |   } else {
46 |     res.function = str;
47 |     res.code = makeString("");
48 |   }
49 |   return res;
50 | }
51 | 
52 | uint32_t kcellInjTag = getTagForSymbolName("inj{SortIELESimulation{}, SortKItem{}}");
53 | uint32_t unparseByteStack = getTagForSymbolName("LblunparseByteStack{}");
54 | 


--------------------------------------------------------------------------------
/vm/c/iele/semantics.h:
--------------------------------------------------------------------------------
 1 | #ifndef SEMANTICS_H
 2 | #define SEMANTICS_H
 3 | 
 4 | struct json;
 5 | struct stringinj;
 6 | struct zinj;
 7 | struct inj;
 8 | struct mapinj;
 9 | 
10 | struct account {
11 |   blockheader h;
12 |   zinj* acctID;
13 |   zinj* balance;
14 |   inj* code;
15 |   mapinj *storage;
16 |   zinj *nonce;
17 | };
18 | 
19 | struct log {
20 |   blockheader h;
21 |   mpz_ptr acct;
22 |   list topics;
23 |   string *data;
24 | };
25 | 
26 | struct input_data {
27 |   string* code;
28 |   block* args;
29 |   string* function;
30 | };
31 | 
32 | struct accounts;
33 | 
34 | struct tx_result {
35 |   blockheader h;
36 |   list rets;
37 |   mpz_ptr gas;
38 |   mpz_ptr refund;
39 |   mpz_ptr status;
40 |   list selfdestruct;
41 |   list logs;
42 |   accounts* accounts; 
43 |   list touched;
44 | };
45 | 
46 | struct bytecodecoverage_cell {
47 |   blockheader h;
48 |   zinj *bytecodeHash;
49 |   stringinj *bytecode;
50 |   stringinj *coverageData;
51 | };
52 | 
53 | struct bytecodecoverages_cell;
54 | 
55 | struct extractedCoverages {
56 |   blockheader h;
57 |   bytecodecoverages_cell *bytecodecoverages;
58 | };
59 | 
60 | std::string get_output_data(list *);
61 | 
62 | extern uint32_t unparseByteStack;
63 | 
64 | #define logData(log) log->data
65 | 
66 | #endif
67 | 


--------------------------------------------------------------------------------
/vm/c/version.h:
--------------------------------------------------------------------------------
1 | #define VM_VERSION "1.0.0"
2 | 


--------------------------------------------------------------------------------
/vm/c/vm.h:
--------------------------------------------------------------------------------
 1 | #ifndef VM_H
 2 | #define VM_H
 3 | 
 4 | extern "C" {
 5 |   mpz_ptr hook_BLOCKCHAIN_getBalance(mpz_ptr);
 6 |   mpz_ptr hook_BLOCKCHAIN_getNonce(mpz_ptr);
 7 |   mpz_ptr hook_BLOCKCHAIN_getStorageData(mpz_ptr, mpz_ptr);
 8 |   bool hook_BLOCKCHAIN_accountExists(mpz_ptr);
 9 |   bool hook_BLOCKCHAIN_isCodeEmpty(mpz_ptr);
10 | }
11 | 
12 | void clear_cache(void);
13 | 
14 | struct account;
15 | 
16 | struct acctinj {
17 |   blockheader h;
18 |   account* data;
19 | };
20 | 
21 | struct log;
22 | 
23 | struct loginj {
24 |   blockheader h;
25 |   struct log* data;
26 | };
27 | 
28 | struct accounts {
29 |   blockheader h;
30 |   map data;
31 | };
32 | 
33 | struct kcell {
34 |   blockheader h;
35 |   bool iscreate;
36 |   mpz_ptr to;
37 |   mpz_ptr from;
38 |   string* code;
39 |   block* args;
40 |   mpz_ptr value;
41 |   mpz_ptr gasprice;
42 |   mpz_ptr gas;
43 |   mpz_ptr beneficiary;
44 |   mpz_ptr difficulty;
45 |   mpz_ptr number;
46 |   mpz_ptr gaslimit;
47 |   mpz_ptr timestamp;
48 |   string* function;
49 | };
50 | 
51 | struct kcellinj {
52 |   blockheader h;
53 |   kcell* data;
54 | };
55 | 
56 | struct bytecodecoverages_cell {
57 |   blockheader h;
58 |   map data;
59 | };
60 | 
61 | #endif
62 | 


--------------------------------------------------------------------------------
/vm/ieleApi.mli:
--------------------------------------------------------------------------------
 1 | open Yojson.Basic
 2 | 
 3 | val eth_getCode : string -> string -> json
 4 | val eth_getBlockByNumber : string -> json
 5 | val eth_getTransactionReceipt : string -> json
 6 | val iele_sendTransaction : json -> json
 7 | val iele_call : json -> string -> json
 8 | val eth_getBalance : string -> string -> json
 9 | val eth_isStorageEmpty : string -> string -> bool
10 | val personal_newAccount : unit -> json
11 | val test_rewindToBlock : int -> json
12 | val test_mineBlocks : int -> json
13 | val test_modifyTimestamp : int -> json
14 | val miner_setEtherbase : string -> json
15 | val test_setChainParams : json -> json
16 | 


--------------------------------------------------------------------------------
/web/.gitignore:
--------------------------------------------------------------------------------
1 | node_modules
2 | .cache


--------------------------------------------------------------------------------
/web/README.md:
--------------------------------------------------------------------------------
1 | # K Website
2 | 
3 | Please make sure you have nodejs and npm installed
4 | 
5 | ```bash
6 | $ npm install     # install necessary dependencies
7 | $ npm run build   # build the website to ./public_content directory
8 | $ npm run serve   # start the development server
9 | ```


--------------------------------------------------------------------------------
/web/build-html.js:
--------------------------------------------------------------------------------
 1 | const { cleanUpFiles, generatePagesFromMarkdownFiles } = require("k-web-theme");
 2 | const path = require("path");
 3 | const fs = require("fs");
 4 | 
 5 | cleanUpFiles(path.resolve(__dirname, "./public_content/"));
 6 | 
 7 | const pageTemplate = fs
 8 |   .readFileSync("./static_content/html/page_template.html")
 9 |   .toString("utf-8");
10 | generatePagesFromMarkdownFiles({
11 |   globPattern: path.resolve(__dirname, "../") + "/**/*.md",
12 |   globOptions: { ignore: [path.resolve(__dirname, "../web/**/*")] },
13 |   origin: "https://github.com/runtimeverification/iele-semantics/tree/master/",
14 |   sourceDirectory: path.resolve(__dirname, "../"),
15 |   outputDirectory: path.resolve(__dirname, "./public_content/"),
16 |   websiteDirectory: path.resolve(__dirname, "./public_content/"),
17 |   template: pageTemplate,
18 |   includeFileBasePath: path.resolve(__dirname, "./static_content/html/"),
19 | });
20 | 


--------------------------------------------------------------------------------
/web/package.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "name": "iele-semantics",
 3 |   "version": "1.0.0",
 4 |   "description": "--- permalink: README.html copyright: Copyright (c) 2010-2020 Runtime Verification Team. All Rights Reserved. ---",
 5 |   "main": "index.html",
 6 |   "scripts": {
 7 |     "build": "cd ./k-web-theme && npm install && npm run build && cd - && npm install ./k-web-theme && cp -r ./k-web-theme/public_content/* ./public_content/ && node build-html.js",
 8 |     "build-sitemap": "node sitemap/build-sitemap.js https://ielelang.org/",
 9 |     "serve": "http-server public_content"
10 |   },
11 |   "repository": {
12 |     "type": "git",
13 |     "url": "git+https://github.com/runtimeverification/iele-semantics.git"
14 |   },
15 |   "author": "IELE Semantics | Runtime Verification",
16 |   "license": "UNLICENSED",
17 |   "devDependencies": {
18 |     "http-server": "^0.12.3"
19 |   },
20 |   "dependencies": {
21 |     "k-web-theme": "file:k-web-theme"
22 |   },
23 |   "bugs": {
24 |     "url": "https://github.com/runtimeverification/iele-semantics/issues"
25 |   },
26 |   "homepage": "https://github.com/runtimeverification/iele-semantics/#readme"
27 | }
28 | 


--------------------------------------------------------------------------------
/web/public_content/.gitignore:
--------------------------------------------------------------------------------
1 | assets/css
2 | assets/js
3 | assets/sass
4 | *.html
5 | tutorial
6 | sitemap.xml


--------------------------------------------------------------------------------
/web/public_content/assets/img/404.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/404.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/500.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/500.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/favicon.ico:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/favicon.ico


--------------------------------------------------------------------------------
/web/public_content/assets/img/hero/kerc20-hero-image.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/hero/kerc20-hero-image.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/hero/test-coverage-hero-image.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/hero/test-coverage-hero-image.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/hero/test-runner-hero-image.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/hero/test-runner-hero-image.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/iele-logo-dark.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/iele-logo-dark.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/iele-logo.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/iele-logo.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/rv-logo-dark.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/rv-logo-dark.png


--------------------------------------------------------------------------------
/web/public_content/assets/img/rv-logo.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/public_content/assets/img/rv-logo.png


--------------------------------------------------------------------------------
/web/sitemap/build-sitemap.js:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env node
 2 | const { buildSitemap } = require("k-web-theme");
 3 | const path = require("path");
 4 | 
 5 | const websiteOrigin = process.argv[2];
 6 | buildSitemap({
 7 |   websiteOrigin,
 8 |   websiteDirectory: path.join(__dirname, "../public_content/"),
 9 |   sitemapPath: path.join(__dirname, "../public_content/sitemap.xml"),
10 | });
11 | 


--------------------------------------------------------------------------------
/web/static_content/html/404.html:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/static_content/html/404.html


--------------------------------------------------------------------------------
/web/static_content/html/500.html:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/runtimeverification/iele-semantics/e030f7592753ee3dd6452757a5fdcfe3baacf037/web/static_content/html/500.html


--------------------------------------------------------------------------------
/web/static_content/html/include/footer.html:
--------------------------------------------------------------------------------
1 | {{$WEBSITE_FOOTER}}
2 | 


--------------------------------------------------------------------------------
/web/static_content/html/include/head.html:
--------------------------------------------------------------------------------
 1 | <meta charset="utf-8" />
 2 | <meta
 3 |   name="viewport"
 4 |   content="width=device-width, initial-scale=1.0, maximum-scale=1.0"
 5 | />
 6 | <meta
 7 |   name="description"
 8 |   content="Design and implement your programming language and software analysis tools with mathematical rigor."
 9 | />
10 | <meta name="keywords" content="runtime, verification, rv, k" />
11 | <meta name="author" content="IELE Semantics | Runtime Verification Inc" />
12 | <meta name="robots" content="index, follow" />
13 | 
14 | <!--favicon icon-->
15 | <link rel="icon" type="image/png" href="{{$ROOT}}/assets/img/favicon.ico" />
16 | 
17 | <title>IELE Semantics | Runtime Verification Inc</title>
18 | 
19 | <!-- <base href="/k/" /> -->
20 | 
21 | <!--web fonts-->
22 | <link
23 |   href="https://fonts.googleapis.com/css?family=Nunito:300,400,600,700,800"
24 |   rel="stylesheet"
25 | />
26 | <link
27 |   href="https://fonts.googleapis.com/css?family=Lora:400i"
28 |   rel="stylesheet"
29 | />
30 | 
31 | <link
32 |   href="https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@5.14.0/css/all.min.css"
33 |   rel="stylesheet"
34 | />
35 | 
36 | <link href="{{$ROOT}}/assets/css/index.css" rel="stylesheet" />
37 | 
38 | <!--[if (gt IE 9) |!(IE)]><!-->
39 | <!--<link rel="stylesheet" href="/assets/vendor/custom-nav/css/effects/fade-menu.css"/>-->
40 | <!-- <link rel="stylesheet" href="{{$ROOT}}/assets/k/vl-nav/css/effects/slide-menu.css" /> -->
41 | <!--<![endif]-->
42 | 


--------------------------------------------------------------------------------
/web/static_content/html/include/header.html:
--------------------------------------------------------------------------------
 1 | <header
 2 |   class="navbar navbar-expand navbar-dark flex-column flex-md-row bd-navbar"
 3 | >
 4 |   <a class="logo-link" href="{{$ROOT}}/index.html"> IELE Semantics </a>
 5 |   <ul class="navbar-nav ml-md-auto">
 6 |     <li class="nav-item">
 7 |       <a
 8 |         class="nav-link pl-2 pr-1 mx-1 py-3 my-n2"
 9 |         href="https://github.com/runtimeverification/iele-semantics"
10 |         target="_blank"
11 |         rel="noopener"
12 |         aria-label="GitHub"
13 |       >
14 |         <i class="fab fa-github"></i>
15 |       </a>
16 |     </li>
17 |   </ul>
18 |   <!--
19 |   <a
20 |     class="btn btn-rv-blue d-none d-lg-inline-block mb-3 mb-md-0 ml-md-3"
21 |     href="{{$ROOT}}/downloads"
22 |     >Download</a
23 |   >
24 |   -->
25 | </header>
26 | 


--------------------------------------------------------------------------------
/web/static_content/html/include/sidebar.html:
--------------------------------------------------------------------------------
 1 | <div class="col-12 col-md-3 col-xl-2 bd-sidebar mb-3">
 2 |   <form
 3 |     role="search"
 4 |     class="bd-search d-flex align-items-center justify-content-between"
 5 |   >
 6 |     <input
 7 |       type="search"
 8 |       class="form-control"
 9 |       placeholder="Search..."
10 |       aria-label="Search for..."
11 |       autocomplete="false"
12 |       id="search-box"
13 |     />
14 |     <button
15 |       class="btn bd-search-docs-toggle d-md-none p-0 ml-3 collapsed"
16 |       type="button"
17 |       aria-label="Toggle docs navigation"
18 |       style="font-size: 1.4rem"
19 |     >
20 |       <i class="fas fa-bars"></i>
21 |     </button>
22 |   </form>
23 |   <nav class="collapse bd-links" aria-label="Main navigation">
24 |     <div class="bd-toc-item">
25 |       <a class="bd-toc-link" href="{{$ROOT}}/">Homepage</a>
26 |       <a class="bd-toc-link" href="{{$ROOT}}/INSTALL">Install</a>
27 |       <a class="bd-toc-link" href="{{$ROOT}}/Design">Design</a>
28 |     </div>
29 |   </nav>
30 | </div>
31 | 


--------------------------------------------------------------------------------
/web/static_content/html/page_template.html:
--------------------------------------------------------------------------------
 1 | <!DOCTYPE html>
 2 | <html lang="en">
 3 |   <head>
 4 |     {{include/head.html}}
 5 |   </head>
 6 | 
 7 |   <body>
 8 |     {{include/header.html}}
 9 | 
10 |     <div class="container-fluid">
11 |       <div class="row flex-xl-nowrap">
12 |         {{include/sidebar.html}}
13 |         <main
14 |           class="col-12 col-md-6 col-xl-8 py-md-3 pl-md-5 bd-content"
15 |           role="main"
16 |         >
17 |           <div class="markdown-preview">{{$MARKDOWN_HTML}}</div>
18 |         </main>
19 | 
20 |         <!-- Page ToC -->
21 |         <div class="col-12 col-md-3 col-xl-2 py-md-3 bd-sidebar page-toc mb-3">
22 |           {{$PAGE_TOC_HTML}}
23 |         </div>
24 |         <div class="btn btn-rv-blue page-toc-toggle-btn"></div>
25 |         <!-- End Page ToC -->
26 |       </div>
27 |     </div>
28 |     {{include/footer.html}}
29 |     <script src="https://cdnjs.cloudflare.com/ajax/libs/Typist/1.2/typist.min.js"></script>
30 |     <script src="{{$ROOT}}/assets/js/index.js"></script>
31 |     <!-- Global site tag (gtag.js) - Google Analytics -->
32 |     <script
33 |       async
34 |       src="https://www.googletagmanager.com/gtag/js?id=G-QL0D8HRYFW"
35 |     ></script>
36 |     <script>
37 |       window.dataLayer = window.dataLayer || [];
38 |       function gtag() {
39 |         dataLayer.push(arguments);
40 |       }
41 |       gtag("js", new Date());
42 |       gtag("config", "G-QL0D8HRYFW");
43 |     </script>
44 |   </body>
45 | </html>
46 | 


--------------------------------------------------------------------------------