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

Merge DHExp and UExp #1197

Merged
merged 114 commits into from
Jul 31, 2024
Merged

Merge DHExp and UExp #1197

merged 114 commits into from
Jul 31, 2024

Commits on Jan 26, 2024

  1. Begin making DHExp look like UExp

    @Negabinary
    Negabinary committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    d90db51 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Make matches consistent across dhexp, uexp

    @Negabinary
    Negabinary committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    272d3a5 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Add d_loc' and make step data structure more consistent

    @Negabinary
    Negabinary committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    5389bdd View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Add ids to DHExp

    @Negabinary
    Negabinary committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    9953921 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. Switch to id-based stepper

    @Negabinary
    Negabinary committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    e3328e5 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Update comments from meeting with Andrew

    @Negabinary
    Negabinary committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    720ae55 View commit details
    Browse the repository at this point in the history

  2. Fix up ids to make them unique after evaluation

    @Negabinary
    Negabinary committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    7dd9a78 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Remove hole instance identifiers, postprocessing

    @Negabinary
    Negabinary committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    bdf0310 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2024

  1. Change how IDs are copied

    @Negabinary
    Negabinary committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    34204aa View commit details
    Browse the repository at this point in the history

  2. Move compose function

    @Negabinary
    Negabinary committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    d74d432 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2024

  1. Combine forward and reverse application

    @Negabinary
    Negabinary committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    84287cd View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    76859cd View commit details
    Browse the repository at this point in the history

  2. Merge fixes

    @Negabinary
    Negabinary committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    252bce2 View commit details
    Browse the repository at this point in the history

  3. Change how ids are renamed

    @Negabinary
    Negabinary committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    4e98c22 View commit details
    Browse the repository at this point in the history

  4. Remove ExpandingKeyword from dhexp

    @Negabinary
    Negabinary committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    f53fede View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. thread info_map through dynamics

    @Negabinary
    Negabinary committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    a6be94f View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Add patterns to FixF DHExp, remove projection

    @Negabinary
    Negabinary committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    f55f55a View commit details
    Browse the repository at this point in the history

  2. Surface fix

    @Negabinary
    Negabinary committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    5127854 View commit details
    Browse the repository at this point in the history

  3. Remove Triv

    @Negabinary
    Negabinary committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    f75a1d5 View commit details
    Browse the repository at this point in the history

  4. Rename InvalidText to Invalid

    @Negabinary
    Negabinary committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    b3639ef View commit details
    Browse the repository at this point in the history

  5. Add MultiHole to DHexp

    @Negabinary
    Negabinary committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    19cd211 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. Remove set_info_map

    @Negabinary
    Negabinary committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    841207b View commit details
    Browse the repository at this point in the history

  2. DHPat renamings

    @Negabinary
    Negabinary committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    f5feb7a View commit details
    Browse the repository at this point in the history

  3. Remove Triv

    @Negabinary
    Negabinary committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    31482d6 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Rename NonEmptyHole to StaticErrorHole, and use it more sparingly

    @Negabinary
    Negabinary committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    741f133 View commit details
    Browse the repository at this point in the history

  2. Rearranging DHExp

    @Negabinary
    Negabinary committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    fc667f7 View commit details
    Browse the repository at this point in the history

  3. Add TyAlias

    @Negabinary
    Negabinary committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    6d73811 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Add Unary Operator to DHExp

    @Negabinary
    Negabinary committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    92c1f63 View commit details
    Browse the repository at this point in the history

  2. Remove BuiltinAp

    @Negabinary
    Negabinary committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    82f5c2c View commit details
    Browse the repository at this point in the history

  3. Add BuiltinFun to UExp

    @Negabinary
    Negabinary committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    7e47213 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. begone DHPat.t

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    16d2001 View commit details
    Browse the repository at this point in the history

  2. Update comments

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    6d32831 View commit details
    Browse the repository at this point in the history

  3. Add dynamic error hole forms to UExp (Hopefully they will be replaced… 

    … with a better solution soon)
    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    460a81a View commit details
    Browse the repository at this point in the history

  4. Remove id field from test

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    f9facd4 View commit details
    Browse the repository at this point in the history

  5. Add parens to DHExp.t

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    22541ae View commit details
    Browse the repository at this point in the history

  6. Write down which expressions are produced during evaluation

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    16e8193 View commit details
    Browse the repository at this point in the history

  7. Remove type annotations from fun and fix (can be found in infomap if … 

    …needed)
    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    62f4f0b View commit details
    Browse the repository at this point in the history

  8. Add copied field to UExp

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    1cf3527 View commit details
    Browse the repository at this point in the history

  9. Add closures to UExp

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    cf8f0ca View commit details
    Browse the repository at this point in the history

  10. Add casts to UExp

    @Negabinary
    Negabinary committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    70101c9 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Remove type from ListLit 

    This might need to be re-added at some point for type inference purposes
    @Negabinary
    Negabinary committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    11eee6b View commit details
    Browse the repository at this point in the history

  2. (messily) finally merge DHExp and UExp

    @Negabinary
    Negabinary committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    2e6f73e View commit details
    Browse the repository at this point in the history

  3. Split Term into multiple files

    @Negabinary
    Negabinary committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    e3012a8 View commit details
    Browse the repository at this point in the history

  4. Rename DHExp to DExp 

    Revert "Rename DHExp to DExp"

This reverts commit 22925be.

Revert "Rename DHExp to DExp"

This reverts commit 22925be.

Fix capitalization
    @Negabinary
    Negabinary committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    8fcd42c View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    212ac71 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Add a big map for terms

    @Negabinary
    Negabinary committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    7c00c38 View commit details
    Browse the repository at this point in the history

  2. Tidy up elaboration

    @Negabinary
    Negabinary committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    4474937 View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2024

  1. Use map for replacing ids

    @Negabinary
    Negabinary committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    3900782 View commit details
    Browse the repository at this point in the history

  2. Remove DHExp, DHPat 

    (replaced with DExp, DPat)
    @Negabinary
    Negabinary committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    6ffc082 View commit details
    Browse the repository at this point in the history

  3. Delete unused files

    @Negabinary
    Negabinary committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    c7637d6 View commit details
    Browse the repository at this point in the history

  4. Fix hidden steps always showing

    @Negabinary
    Negabinary committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    69d5dba View commit details
    Browse the repository at this point in the history

  5. Move some functions, add some comments

    @Negabinary
    Negabinary committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    424c7c0 View commit details
    Browse the repository at this point in the history

  6. Revert DPat and DExp

    @Negabinary
    Negabinary committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    8ec663c View commit details
    Browse the repository at this point in the history

  7. Move UTerms back

    @Negabinary
    Negabinary committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    dc8719f View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. Update comments

    @Negabinary
    Negabinary committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    d0d8c10 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Add rec to UTyp (by copying from poly-adt-after2)

    @Negabinary
    Negabinary committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    46c7caf View commit details
    Browse the repository at this point in the history

  2. Begin Typ UTyp merge

    @Negabinary
    Negabinary committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    1cfdd94 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Add comments

    @Negabinary
    Negabinary committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    af061ee View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Remove Constructor from type

    @Negabinary
    Negabinary committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    63c7d9c View commit details
    Browse the repository at this point in the history

  2. Add parens to Typ

    @Negabinary
    Negabinary committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    ab74302 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Add ids to Typ

    @Negabinary
    Negabinary committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    6a6fa38 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. Factor out Ids 

    (adding infrastructure for structure sharing if we need it)
    @Negabinary
    Negabinary committed Mar 28, 2024
    Configuration menu
    Copy the full SHA
    98cf0e1 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. Fix #1150 for constructors

    @Negabinary
    Negabinary committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    ba44262 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. Update UTyp sums to match Typ

    @Negabinary
    Negabinary committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    4a4b7c2 View commit details
    Browse the repository at this point in the history

  2. Merge Typ and UTyp

    @Negabinary
    Negabinary committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    09cd50c View commit details
    Browse the repository at this point in the history

  3. Move type functions into one file

    @Negabinary
    Negabinary committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    f6dcb7a View commit details
    Browse the repository at this point in the history

  4. Delete some small files

    @Negabinary
    Negabinary committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    687a429 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. Rewrite pattern matching

    @Negabinary
    Negabinary committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    7be9f32 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. Rewrite pattern matching

    @Negabinary
    Negabinary committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    d87a27a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'remove-dhexp' of https://github.com/hazelgrove/hazel in… 

    …to remove-dhexp
    @Negabinary
    Negabinary committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    cfd643c View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    3442532 View commit details
    Browse the repository at this point in the history

  2. Merge fixup

    @Negabinary
    Negabinary committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    e09c74c View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Take SynSwitches out of Elaboration

    @Negabinary
    Negabinary committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    8478fca View commit details
    Browse the repository at this point in the history

  2. Fix type parentheses problem

    @Negabinary
    Negabinary committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    4c8dd5a View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Make elaborator more explicit

    @Negabinary
    Negabinary committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    c8c69b5 View commit details
    Browse the repository at this point in the history

  2. Remove infomap from transition

    @Negabinary
    Negabinary committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    ee802a4 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Remove infomap from more places

    @Negabinary
    Negabinary committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    caa04d8 View commit details
    Browse the repository at this point in the history

  2. Get infomap out of webworker

    @Negabinary
    Negabinary committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    ba6dba5 View commit details
    Browse the repository at this point in the history

  3. Fix implicit fixpoint cast elaboration

    @Negabinary
    Negabinary committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    99b56f4 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Fix cast elaboration bugs

    @Negabinary
    Negabinary committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    b2a74aa View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    07b0041 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. Merge fixup

    @Negabinary
    Negabinary committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    8871cd4 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. statics + elab performance

    @Negabinary
    Negabinary committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    78ac980 View commit details
    Browse the repository at this point in the history

  2. Remove attempt at type annotation

    @Negabinary
    Negabinary committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    24ca95c View commit details
    Browse the repository at this point in the history

  3. Make pattern cast printing nicer

    @Negabinary
    Negabinary committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    882301a View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. Fix fixpoint elaboration

    @Negabinary
    Negabinary committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    4fe9d9c View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Get tests working

    @Negabinary
    Negabinary committed May 2, 2024
    Configuration menu
    Copy the full SHA
    d62f220 View commit details
    Browse the repository at this point in the history

  2. Fix constructor casting issues

    @Negabinary
    Negabinary committed May 2, 2024
    Configuration menu
    Copy the full SHA
    35cf7b9 View commit details
    Browse the repository at this point in the history

  3. Fix TypFun casting

    @Negabinary
    Negabinary committed May 2, 2024
    Configuration menu
    Copy the full SHA
    b38f781 View commit details
    Browse the repository at this point in the history

  4. Fixpoint printing

    @Negabinary
    Negabinary committed May 2, 2024
    Configuration menu
    Copy the full SHA
    e93ec47 View commit details
    Browse the repository at this point in the history

  5. Fix history toggle

    @Negabinary
    Negabinary committed May 2, 2024
    Configuration menu
    Copy the full SHA
    f42c61d View commit details
    Browse the repository at this point in the history

  6. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed May 2, 2024
    Configuration menu
    Copy the full SHA
    79c9b6a View commit details
    Browse the repository at this point in the history

  7. Fix duplicate ids

    @Negabinary
    Negabinary committed May 2, 2024
    Configuration menu
    Copy the full SHA
    14e8446 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Update DHExp comment

    @Negabinary
    Negabinary committed May 7, 2024
    Configuration menu
    Copy the full SHA
    91c11ae View commit details
    Browse the repository at this point in the history

  2. Address the easiest of Andrew's comments

    @Negabinary
    Negabinary committed May 7, 2024
    Configuration menu
    Copy the full SHA
    5e61682 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Address the easiest of Andrew's comments

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

  2. Merge branch 'remove-dhexp' of https://github.com/hazelgrove/hazel in… 

    …to remove-dhexp
    @Negabinary
    Negabinary committed May 8, 2024
    Configuration menu
    Copy the full SHA
    35c8729 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. Typ.mk_fast -> Typ.temp

    @Negabinary
    Negabinary committed May 9, 2024
    Configuration menu
    Copy the full SHA
    a956b0d View commit details
    Browse the repository at this point in the history

  2. Remove to_typ

    @Negabinary
    Negabinary committed May 9, 2024
    Configuration menu
    Copy the full SHA
    fd0c583 View commit details
    Browse the repository at this point in the history

  3. Explain map_term

    @Negabinary
    Negabinary committed May 9, 2024
    Configuration menu
    Copy the full SHA
    a5dda32 View commit details
    Browse the repository at this point in the history

  4. Remove some more comments

    @Negabinary
    Negabinary committed May 9, 2024
    Configuration menu
    Copy the full SHA
    860a015 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Fix divide by zero bug

    @Negabinary
    Negabinary committed May 10, 2024
    Configuration menu
    Copy the full SHA
    89a506c View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Fixed match types not working through parentheses

    @Negabinary
    Negabinary committed May 16, 2024
    Configuration menu
    Copy the full SHA
    d35375d View commit details
    Browse the repository at this point in the history

  2. Fix constructor elaboration

    @Negabinary
    Negabinary committed May 16, 2024
    Configuration menu
    Copy the full SHA
    25090f1 View commit details
    Browse the repository at this point in the history

  3. Move test check marks back

    @Negabinary
    Negabinary committed May 16, 2024
    Configuration menu
    Copy the full SHA
    16e0ad2 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Fix sum cast accumulation

    @Negabinary
    Negabinary committed May 20, 2024
    Configuration menu
    Copy the full SHA
    9c2bd7a View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Fix builtins throwing errors

    @Negabinary
    Negabinary committed May 28, 2024
    Configuration menu
    Copy the full SHA
    8447c01 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed May 28, 2024
    Configuration menu
    Copy the full SHA
    5d77a82 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed May 28, 2024
    Configuration menu
    Copy the full SHA
    91d135d View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. delete TypeAssignment.re

    @Negabinary
    Negabinary committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    098f032 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    d0d288c View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Fix tests

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

Commits on Jun 14, 2024

  1. Fix named typfun showing up as anonymous

    @Negabinary
    Negabinary committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    436559f View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. Merge branch 'dev' into remove-dhexp

    @Negabinary
    Negabinary committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    73826ea View commit details
    Browse the repository at this point in the history