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 new Array and Map types #219

Open
wants to merge 30 commits into
base: v5
Choose a base branch
from
Open

add new Array and Map types #219

wants to merge 30 commits into from

Commits on May 23, 2024

  1. add a new Array type 

    this tries to enforce that all array elements are of the same type, but
this is not very strict at the moment, it does not look at lower levels
of composite types.

**breaking change**: in the Datalog language, sets will now be delimited
by '{' and '}' instead of '[' and ]'. Arrays are now delimited by '['
and ']'
    @Geal
    Geal committed May 23, 2024
    Configuration menu
    Copy the full SHA
    bd18466 View commit details
    Browse the repository at this point in the history

  2. add operations on arrays

    @Geal
    Geal committed May 23, 2024
    Configuration menu
    Copy the full SHA
    36fe571 View commit details
    Browse the repository at this point in the history

  3. fix the parser 

    This introduces a breaking change: now parameter names need to start
with a letter
    @Geal
    Geal committed May 23, 2024
    Configuration menu
    Copy the full SHA
    579ea35 View commit details
    Browse the repository at this point in the history

  4. introduce a map type 

    it accepts integers, strings and parameters as keys
    @Geal
    Geal committed May 23, 2024
    Configuration menu
    Copy the full SHA
    366ee5c View commit details
    Browse the repository at this point in the history

  5. fix parameter extraction

    @Geal
    Geal committed May 23, 2024
    Configuration menu
    Copy the full SHA
    6d6df6d View commit details
    Browse the repository at this point in the history

Commits on May 25, 2024

  1. Merge branch 'v5' into map-array

    @Geal
    Geal authored May 25, 2024
    Configuration menu
    Copy the full SHA
    4bdf105 View commit details
    Browse the repository at this point in the history

  2. fix

    @Geal
    Geal committed May 25, 2024
    Configuration menu
    Copy the full SHA
    ae8af8d View commit details
    Browse the repository at this point in the history

  3. fix the parser

    @Geal
    Geal committed May 25, 2024
    Configuration menu
    Copy the full SHA
    2424fe2 View commit details
    Browse the repository at this point in the history

  4. update samples

    @Geal
    Geal committed May 25, 2024
    Configuration menu
    Copy the full SHA
    7ba138d View commit details
    Browse the repository at this point in the history

  5. update samples

    @Geal
    Geal committed May 25, 2024
    Configuration menu
    Copy the full SHA
    8e81d9e View commit details
    Browse the repository at this point in the history

  6. add samples for arrays

    @Geal
    Geal committed May 25, 2024
    Configuration menu
    Copy the full SHA
    7e3e0d1 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2024

  1. basic operations for map

    @Geal
    Geal committed May 26, 2024
    Configuration menu
    Copy the full SHA
    dc26a8d View commit details
    Browse the repository at this point in the history

  2. add checks in samples

    @Geal
    Geal committed May 26, 2024
    Configuration menu
    Copy the full SHA
    7554559 View commit details
    Browse the repository at this point in the history

  3. missing sample

    @Geal
    Geal committed May 26, 2024
    Configuration menu
    Copy the full SHA
    dbf7dc3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'v5' into map-array

    @Geal
    Geal committed May 26, 2024
    Configuration menu
    Copy the full SHA
    bae1a1a View commit details
    Browse the repository at this point in the history

  5. Merge branch 'v5' into map-array

    @Geal
    Geal authored May 26, 2024
    Configuration menu
    Copy the full SHA
    d0c2317 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2024

  1. Merge branch 'v5' into map-array

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    b5c9d3b View commit details
    Browse the repository at this point in the history

  2. fix sample

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    cf026b8 View commit details
    Browse the repository at this point in the history

  3. get operation for arrays

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    bd69881 View commit details
    Browse the repository at this point in the history

  4. allow heterogeneous arrays

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    1f0afa1 View commit details
    Browse the repository at this point in the history

  5. samples for array get

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    e627761 View commit details
    Browse the repository at this point in the history

  6. array any and all operations

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    71a336a View commit details
    Browse the repository at this point in the history

  7. more array tests

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    7216145 View commit details
    Browse the repository at this point in the history

  8. tests for maps

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    6e69b3e View commit details
    Browse the repository at this point in the history

  9. get, all and any operations for maps

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    ca1636d View commit details
    Browse the repository at this point in the history

  10. add an example of nested maps and arrays

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    150d5db View commit details
    Browse the repository at this point in the history

  11. test array parameters

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    0399b2f View commit details
    Browse the repository at this point in the history

  12. JSON support

    @Geal
    Geal committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    38f81ac View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. use the json! macro

    @Geal
    Geal committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    d5003f3 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. fix json test 

    the json macro takes a json-like syntax, not a string
    @divarvel
    divarvel committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    ab861d1 View commit details
    Browse the repository at this point in the history