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

Private Specification, Partial Struct Encoding, and Constructor #619

Draft
wants to merge 14 commits into
base: master
Choose a base branch
from
Draft

Private Specification, Partial Struct Encoding, and Constructor #619

wants to merge 14 commits into from

Commits on Feb 4, 2023

  1. Visibility

    tho committed Feb 4, 2023
    Configuration menu
    Copy the full SHA
    9b424d9 View commit details
    Browse the repository at this point in the history

  2. Visibility

    tho committed Feb 4, 2023
    Configuration menu
    Copy the full SHA
    243e8b5 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2023

  1. visibility

    tho committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    df1cc65 View commit details
    Browse the repository at this point in the history

  2. Visibility

    tho committed Feb 8, 2023
    Configuration menu
    Copy the full SHA
    84d0ff8 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2023

  1. Added constructor, dereference, and assignment

    tho committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    1953827 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2023

  1. Updated Constructors, TypeChecking, Errors

    tho committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    408a4b7 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2023

  1. Fixing some bugs-

    tho committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    d900138 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2023

  1. git submodule updated

    tho committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    b7a6ca3 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2023

  1. Fixed some of the comments, and bug fixes

    tho committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    d175042 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2023

  1. Changed error messages, bug fixes

    tho committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    686bd12 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2023

  1. Bug fixes, tests, added more errors and type check

    tho committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    9d8f337 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2023

  1. some changes, bugfixes, evaluation tests

    tho committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    0ba28fd View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2023

  1. bugfixes + documentation

    tho committed Apr 27, 2023
    Configuration menu
    Copy the full SHA
    f713622 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2023

  1. Cleaned code up, documentations

    tho committed Apr 29, 2023
    Configuration menu
    Copy the full SHA
    891a4c3 View commit details
    Browse the repository at this point in the history