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.

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

[REVIEW] Formalization of Computation #4923

Closed
wants to merge 11 commits into from

Commits on Jun 18, 2021

  1. Configuration menu
    Copy the full SHA
    1e1b399 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d2af4ab View commit details
    Browse the repository at this point in the history
  3. removed dumps_task()

    madsbk committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    9235a80 View commit details
    Browse the repository at this point in the history
  4. clean up the classes

    madsbk committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    2adfcfc View commit details
    Browse the repository at this point in the history
  5. doc

    madsbk committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    69f920c View commit details
    Browse the repository at this point in the history
  6. Remove loads_function

    madsbk committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    1ee1e0c View commit details
    Browse the repository at this point in the history
  7. Remove dumps_function

    madsbk committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    1ffbbd1 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    55aba5c View commit details
    Browse the repository at this point in the history
  9. doc

    madsbk committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    7e0e309 View commit details
    Browse the repository at this point in the history
  10. doc

    madsbk committed Jun 18, 2021
    Configuration menu
    Copy the full SHA
    0791c89 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2021

  1. Configuration menu
    Copy the full SHA
    8e419a8 View commit details
    Browse the repository at this point in the history