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

Propagator #5845

Merged
merged 12 commits into from
Feb 17, 2022
Merged

Propagator #5845

merged 12 commits into from
Feb 17, 2022

Commits on Feb 9, 2022

  1. user propagator without ids 

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

  2. user propagator without ids 

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

  3. fix signature 

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

  4. references #5818 

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

  5. fix c++ build 

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

Commits on Feb 10, 2022

  1. switch to vs 2022 

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

  2. switch 2022 

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

  3. Update propagator example (I) (#5835) 

    * fix #5829

* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* switch to vs 2022

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* Adapted the example to the changes in the propagator

Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @CEisenhofer @NikolajBjorner
    CEisenhofer and NikolajBjorner authored Feb 10, 2022
    Configuration menu
    Copy the full SHA
    7f5b615 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2022

  1. context goes out of scope in stack allocation, so can't used scoped c… 

    …ontext when passing objects around
    @NikolajBjorner
    NikolajBjorner committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    dfa28fa View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2022

  1. parameter check 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    41005f6 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2022

  1. add rewriter 

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

Commits on Feb 16, 2022

  1. Fixed bug in user-propagator "created" (#5843)

    @CEisenhofer
    CEisenhofer authored Feb 16, 2022
    Configuration menu
    Copy the full SHA
    de0d9ce View commit details
    Browse the repository at this point in the history