Skip to content
This repository has been archived by the owner on Mar 16, 2024. It is now read-only.

refactor to simplify symbol similarity #113

Merged
merged 14 commits into from
Jul 5, 2023
Merged

refactor to simplify symbol similarity #113

merged 14 commits into from
Jul 5, 2023

Commits on Jul 4, 2023

  1. refactor to simplify symbol similarity

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    c5e2dbb View commit details
    Browse the repository at this point in the history

  2. check in progress towards integration

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    e2013ac View commit details
    Browse the repository at this point in the history

  3. get tests running, add synchronizer

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    11c30aa View commit details
    Browse the repository at this point in the history

  4. Refactor SymbolSearch

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    0f0bc73 View commit details
    Browse the repository at this point in the history

  5. Correcting type errors

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    265b4ba View commit details
    Browse the repository at this point in the history

  6. refresh embeddings

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    950910e View commit details
    Browse the repository at this point in the history

  7. progress towards merge

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    b496820 View commit details
    Browse the repository at this point in the history

  8. prep for merge

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    0cc8e17 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2023

  1. prep for merge

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    f671397 View commit details
    Browse the repository at this point in the history

  2. update demo symbol search

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    ea20985 View commit details
    Browse the repository at this point in the history

  3. Update nbs

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    ab2ad22 View commit details
    Browse the repository at this point in the history

  4. further tweaks

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    f006406 View commit details
    Browse the repository at this point in the history

  5. Check progress towards final merge

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    b9b4a69 View commit details
    Browse the repository at this point in the history

  6. finalize commit

    @emrgnt-cmplxty
    emrgnt-cmplxty committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    4fb86d2 View commit details
    Browse the repository at this point in the history