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

Nlsat simplify #7227

Merged
merged 15 commits into from
May 15, 2024
Merged

Nlsat simplify #7227

merged 15 commits into from
May 15, 2024

Commits on May 7, 2024

  1. dev branch for simplification 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 7, 2024
    Configuration menu
    Copy the full SHA
    1589e7d View commit details
    Browse the repository at this point in the history

  2. bug fixes 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 7, 2024
    Configuration menu
    Copy the full SHA
    f41769c View commit details
    Browse the repository at this point in the history

  3. bugfixes 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 7, 2024
    Configuration menu
    Copy the full SHA
    5340b23 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. fix factorization 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 8, 2024
    Configuration menu
    Copy the full SHA
    55ded3d View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. separate out simplification functionality

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

  2. reorder initialization 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 10, 2024
    Configuration menu
    Copy the full SHA
    d53e62a View commit details
    Browse the repository at this point in the history

  3. reorder initialization 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 10, 2024
    Configuration menu
    Copy the full SHA
    9b42068 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Update README.md

    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    a39b0dc View commit details
    Browse the repository at this point in the history

  2. initial warppers for seq-map/seq-fold 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    c87c8dc View commit details
    Browse the repository at this point in the history

  3. expose fold as well 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    04121fb View commit details
    Browse the repository at this point in the history

  4. add C++ bindings for sequence operations 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    8aa7785 View commit details
    Browse the repository at this point in the history

  5. add abs function to API 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    445dc4d View commit details
    Browse the repository at this point in the history

  6. add parameter validation to ternary and 4-ary functions for API #7219 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    d854b98 View commit details
    Browse the repository at this point in the history

  7. add pre-processing and reorder 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    c73d565 View commit details
    Browse the repository at this point in the history

  8. add pre-processing and reorder 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed May 15, 2024
    Configuration menu
    Copy the full SHA
    da062d4 View commit details
    Browse the repository at this point in the history