Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: arminbiere/cadical
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: ac48dd6447f90ef6cca2d953387089941d1b13f4
Choose a base ref
...
head repository: arminbiere/cadical
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 3d346f7a73080b276ae26fc2d15845747371fa1e
Choose a head ref
  • 10 commits
  • 7 files changed
  • 4 contributors

Commits on Dec 15, 2023

  1. add missing deletes in mobical

    @m-fleury
    m-fleury committed Dec 15, 2023
    Copy the full SHA
    a9dac4e View commit details

Commits on Dec 16, 2023

  1. Merge branch 'development' of github.com:arminbiere/cadical into deve… 

    …lopment
    @m-fleury
    m-fleury committed Dec 16, 2023
    Copy the full SHA
    3fe5f46 View commit details

Commits on Dec 17, 2023

  1. updated version for development

    @arminbiere
    arminbiere committed Dec 17, 2023
    Copy the full SHA
    2e73459 View commit details

Commits on Dec 18, 2023

  1. fix propagator notification when ILB keeps unsat state that was found… 

    … by preprocessing
    @kfazekas
    kfazekas committed Dec 18, 2023
    Copy the full SHA
    d114667 View commit details

  2. Merge branch 'development' of github.com:arminbiere/cadical into deve… 

    …lopment
    @m-fleury
    m-fleury committed Dec 18, 2023
    Copy the full SHA
    615684c View commit details

  3. fix merge slip

    @m-fleury
    m-fleury committed Dec 18, 2023
    Copy the full SHA
    0e773cb View commit details

  4. formatted

    Armin Biere committed Dec 18, 2023
    Copy the full SHA
    e289076 View commit details

  5. removed strange comment

    @arminbiere
    arminbiere committed Dec 18, 2023
    Copy the full SHA
    2fad707 View commit details

  6. news

    @arminbiere
    arminbiere committed Dec 18, 2023
    Copy the full SHA
    082b2c6 View commit details

  7. updated internal version

    @arminbiere
    arminbiere committed Dec 18, 2023
    Copy the full SHA
    3d346f7 View commit details
Loading