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

Api #7097

Merged
merged 11 commits into from
Jan 25, 2024
Merged

Api #7097

merged 11 commits into from
Jan 25, 2024

Commits on Jan 22, 2024

  1. rename ul_pair to column 

    Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
    @levnach
    levnach committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    21ee5ee View commit details
    Browse the repository at this point in the history

  2. t 

    Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
    @levnach
    levnach committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    84637db View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. simple test passed

    @levnach
    levnach committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    6585634 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. remove an assert

    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    634514e View commit details
    Browse the repository at this point in the history

  2. relax an assertion

    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    b34324c View commit details
    Browse the repository at this point in the history

  3. remove an obsolete function 

    Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    6958b48 View commit details
    Browse the repository at this point in the history

  4. access a term by the term column

    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    73c0dd5 View commit details
    Browse the repository at this point in the history

  5. remove the column index from colunm.h

    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    d5d4872 View commit details
    Browse the repository at this point in the history

  6. remove an unused method

    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    bd87177 View commit details
    Browse the repository at this point in the history

  7. remove debug code

    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    1e01096 View commit details
    Browse the repository at this point in the history

  8. fix the build of lp_tst 

    Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
    @levnach
    levnach committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    beeba94 View commit details
    Browse the repository at this point in the history