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

Major refactor #17

Merged
merged 14 commits into from
Jul 10, 2024
Merged

Major refactor #17

merged 14 commits into from
Jul 10, 2024

Commits on Jun 27, 2024

  1. clean up opcode handling of endianness.

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    3086d91 View commit details
    Browse the repository at this point in the history

  2. remove hexstring library. 

    we just use Printf now.
    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    1b80323 View commit details
    Browse the repository at this point in the history

  3. print json output

    @ailrst @katrinafyi
    ailrst authored and katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    02b2a3c View commit details
    Browse the repository at this point in the history

  4. main.ml: small refactor

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    d17f6a2 View commit details
    Browse the repository at this point in the history

  5. main.ml: small restyles

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    caba520 View commit details
    Browse the repository at this point in the history

  6. main.ml: use Arg for argument parsing.

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    83dd6b1 View commit details
    Browse the repository at this point in the history

  7. remove semantics memoisation.

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    5b2dd7a View commit details
    Browse the repository at this point in the history

  8. ignore venv.

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    2f28a0d View commit details
    Browse the repository at this point in the history

  9. also pretty json in gts file. 

    this is not a big problem if we compress now.
    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    3a37c09 View commit details
    Browse the repository at this point in the history

  10. styling ig

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    cda9c6f View commit details
    Browse the repository at this point in the history

  11. do_block

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    0b78b60 View commit details
    Browse the repository at this point in the history

  12. yojson

    @katrinafyi
    katrinafyi committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    ca5cf59 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. use Arm_env and delete ast if it already exists

    @katrinafyi
    katrinafyi committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    b37c440 View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. Merge remote-tracking branch 'origin/main' into refactor

    @katrinafyi
    katrinafyi committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    7faf538 View commit details
    Browse the repository at this point in the history