Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Metropolis: static call #270

Closed
wants to merge 6 commits into from
Closed

Metropolis: static call #270

wants to merge 6 commits into from

Commits on Mar 31, 2017

  1. Add a new element I_w in the input tuple I

    @pirapira
    pirapira committed Mar 31, 2017
    Configuration menu
    Copy the full SHA
    796200e View commit details
    Browse the repository at this point in the history

  2. Add a "write permission" argument to Theta

    @pirapira
    pirapira committed Mar 31, 2017
    Configuration menu
    Copy the full SHA
    b93f618 View commit details
    Browse the repository at this point in the history

  3. Add "write permission" argument to \Lambda function

    @pirapira
    pirapira committed Mar 31, 2017
    Configuration menu
    Copy the full SHA
    6251d26 View commit details
    Browse the repository at this point in the history

  4. Add an exceptional halt for state changes during static calls

    @pirapira
    pirapira committed Mar 31, 2017
    Configuration menu
    Copy the full SHA
    3203fed View commit details
    Browse the repository at this point in the history

  5. Specify STATICCALL

    @pirapira
    pirapira committed Mar 31, 2017
    Configuration menu
    Copy the full SHA
    4da4391 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2017

  1. Adjust white spaces

    @pirapira
    pirapira committed May 10, 2017
    Configuration menu
    Copy the full SHA
    1cdfa35 View commit details
    Browse the repository at this point in the history