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

Add builtin ByteArray type #2933

Merged
merged 28 commits into from
Aug 13, 2024
Merged

Add builtin ByteArray type #2933

merged 28 commits into from
Aug 13, 2024

Commits on Aug 13, 2024

  1. Add builtin ByteArray and primitive ByteArray type

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    add76aa View commit details
    Browse the repository at this point in the history

  2. Support builtin list constructors in core parser

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    2081d86 View commit details
    Browse the repository at this point in the history

  3. Fix test assertion

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    6b2d9df View commit details
    Browse the repository at this point in the history

  4. Add support for bytearray-from-list-byte and bytearray-size in Core

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    c0cf4f5 View commit details
    Browse the repository at this point in the history

  5. Support UInt8 type in Core parser

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    9dd0d73 View commit details
    Browse the repository at this point in the history

  6. Support u8 literals and uint8 type in jvt files

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    daeb99d View commit details
    Browse the repository at this point in the history

  7. Make list, cons, nil predeclared builtins in jvt

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    9070d51 View commit details
    Browse the repository at this point in the history

  8. Use Str constants for list, nil and cons

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    7bb873c View commit details
    Browse the repository at this point in the history

  9. Pretty print ConstUInt8 with 'u8' suffix

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    60201c2 View commit details
    Browse the repository at this point in the history

  10. Support ByteArray ops in JuvixTree

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    45b2c32 View commit details
    Browse the repository at this point in the history

  11. Add support or non-support for bytearray in the backends 

    A check similar to CheckNoAnoma is added to check that programs in the
Cairo and Asm backends do not contain ByteArray operations
    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    a943d55 View commit details
    Browse the repository at this point in the history

  12. Fix CheckNoByteArray check

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f613de6 View commit details
    Browse the repository at this point in the history

  13. Add Nockma stldib function StdilbFoldBytes 

    This will be used to implement the List UInt8 -> ByteArray builtin in
the Nockma backend
    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    3012600 View commit details
    Browse the repository at this point in the history

  14. Add StdlibFoldBytes to the Nockma evaluator

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    830a201 View commit details
    Browse the repository at this point in the history

  15. Add nock StdlibLengthList

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    c00ab49 View commit details
    Browse the repository at this point in the history

  16. Implement OpByteArraySize and OpByteArrayFromListUInt8 in Nock

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    70cd56c View commit details
    Browse the repository at this point in the history

  17. casm reg tests, lists are now built-in

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    28d57c9 View commit details
    Browse the repository at this point in the history

  18. Add Anoma compilation ByteArray test

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    e03326a View commit details
    Browse the repository at this point in the history

  19. ByteArray Core eval: filter type arguments from constructor arguments 

    When we're evaluating `OpByteArrayFromListByte` we need to extract the
list of bytes from the nexted list constructors that are passed to the
Op. The polymorphic type of the list is passed in as the first argument
to the constructor, so we remove it.
    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    fc9f49f View commit details
    Browse the repository at this point in the history

  20. Format example

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    21f849f View commit details
    Browse the repository at this point in the history

  21. Rename bytearray-size to bytearray-length

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    d7e5ac0 View commit details
    Browse the repository at this point in the history

  22. Use names builtinList{Cons, Nil} for builtin List constructors in Core

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    952a2f6 View commit details
    Browse the repository at this point in the history

  23. Exclude ByteArray tests from Core compilation tests 

    bytearray is not supported in Asm
    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    252b63a View commit details
    Browse the repository at this point in the history

  24. Do not define list as a JuvixTree builtin 

    This reverts changes made in 7fe81c4
    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    6d91d59 View commit details
    Browse the repository at this point in the history

  25. Exclude ByteArray from JuvixTree -> JuvixAsm test

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    8cce437 View commit details
    Browse the repository at this point in the history

  26. Restore list types to casm reg tests

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f953b6e View commit details
    Browse the repository at this point in the history

  27. Use ppInductives from main 

    Don't print BuiltinList as its now declared implicitly
    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    3eba6d3 View commit details
    Browse the repository at this point in the history

  28. Fix output of nockma->tree compile test for bytearray

    @paulcadman
    paulcadman committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    940a073 View commit details
    Browse the repository at this point in the history