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

Qf eq bv arith #444

Merged
merged 39 commits into from Sep 28, 2023
Merged

Qf eq bv arith #444

merged 39 commits into from Sep 28, 2023

Commits on May 18, 2023

  1. minor typo

    @ahmed-irfan
    ahmed-irfan committed May 18, 2023
    Configuration menu
    Copy the full SHA
    22f5067 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. add qf_ufbvlia logic

    @ahmed-irfan
    ahmed-irfan committed May 19, 2023
    Configuration menu
    Copy the full SHA
    c427088 View commit details
    Browse the repository at this point in the history

  2. add qf_aufbvlia and qf_aufbvnia

    @ahmed-irfan
    ahmed-irfan committed May 19, 2023
    Configuration menu
    Copy the full SHA
    ee9b94c View commit details
    Browse the repository at this point in the history

  3. test qf_aufbvnia

    @ahmed-irfan
    ahmed-irfan committed May 19, 2023
    Configuration menu
    Copy the full SHA
    90326b9 View commit details
    Browse the repository at this point in the history

  4. move mcsat tests

    @ahmed-irfan
    ahmed-irfan committed May 19, 2023
    Configuration menu
    Copy the full SHA
    01ac83a View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2023

  1. Merge branch 'master' into qf-eq-bv-arith

    @ahmed-irfan
    ahmed-irfan committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    418ce21 View commit details
    Browse the repository at this point in the history

  2. add test

    @ahmed-irfan
    ahmed-irfan committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    a1f6a55 View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Update NOTES -- fix typo

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    7bdddbe View commit details
    Browse the repository at this point in the history

  2. install guide for kissat

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    7f0ebab View commit details
    Browse the repository at this point in the history

  3. add missing EF errors

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    b6e27f3 View commit details
    Browse the repository at this point in the history

  4. interpolats in the context doc

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    504851e View commit details
    Browse the repository at this point in the history

  5. rm push/pop comment about mcsat

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    dc3c6c7 View commit details
    Browse the repository at this point in the history

  6. add comment about mcsat unsat cores

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    3379f6e View commit details
    Browse the repository at this point in the history

  7. fix typo

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    77b2a3d View commit details
    Browse the repository at this point in the history

  8. fix typo

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    378b830 View commit details
    Browse the repository at this point in the history

  9. Update yices.h 

    Expanded the text about modes in MCSAT.
    @disteph @ahmed-irfan
    disteph authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    49dd02c View commit details
    Browse the repository at this point in the history

  10. fix assertion violation in uf_plugin model (#446)

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    ecd4b6c View commit details
    Browse the repository at this point in the history

  11. Correct debug code.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    c34e047 View commit details
    Browse the repository at this point in the history

  12. Avoid deadlocks in MC-SAT.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    ebb3a1f View commit details
    Browse the repository at this point in the history

  13. Destroy in reverse order of creation.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    ed5211f View commit details
    Browse the repository at this point in the history

  14. Allocate large arrays on the heap.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    ba8283d View commit details
    Browse the repository at this point in the history

  15. Use lock-free API.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    a87d54d View commit details
    Browse the repository at this point in the history

  16. Add option to run individual tests. 

    Add option to pass options to SMT2 solver.
Detect bad exit codes.
    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    0b5474b View commit details
    Browse the repository at this point in the history

  17. Add fatal error utilities. 

    Remove yices_smt2_mt frontend, merging capability into yices_smt2.
Ensure threads have large stacks.
Make timeouts thread-safe.
    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    73ce57b View commit details
    Browse the repository at this point in the history

  18. Fix typo.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    a67e465 View commit details
    Browse the repository at this point in the history

  19. Use ptrhead condition variables to communicate with the timer thread.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    12ab29a View commit details
    Browse the repository at this point in the history

  20. Simplify thread API checks.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    c6d3564 View commit details
    Browse the repository at this point in the history

  21. Update COMPILING 

    fixed typo
    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    e2bd36f View commit details
    Browse the repository at this point in the history

  22. Update COMPILING

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    ccf823d View commit details
    Browse the repository at this point in the history

  23. Revert "Update COMPILING" 

    This reverts commit 0dcd12f.
    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    62ee73e View commit details
    Browse the repository at this point in the history

  24. Fix typo in non-THREAD_SAFE code.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    fe6a8fd View commit details
    Browse the repository at this point in the history

  25. Undo unnecessary changes.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    4189740 View commit details
    Browse the repository at this point in the history

  26. Undo unncessary change.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    b8aa85b View commit details
    Browse the repository at this point in the history

  27. Fix typo.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    4b39bd1 View commit details
    Browse the repository at this point in the history

  28. Fix typo.

    @ahmed-irfan
    Mark Mitchell authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    de43c66 View commit details
    Browse the repository at this point in the history

  29. Remove extra factor of 4. (#458) 

    Co-authored-by: Mark Mitchell <mark.mitchell@sri.com>
    @markpmitchell @ahmed-irfan
    2 people authored and ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    e5d498a View commit details
    Browse the repository at this point in the history

  30. mcsat-arrays-weq-graph: fix in filtering select terms

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    9e52bcc View commit details
    Browse the repository at this point in the history

  31. regress test

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    7aeba75 View commit details
    Browse the repository at this point in the history

  32. Merge branch 'master' into qf-eq-bv-arith

    @ahmed-irfan
    ahmed-irfan committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    9d2dc3f View commit details
    Browse the repository at this point in the history