Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 28, 2022

• Merge pull request #26 from tias/patch-1

  Show description for 461a8f4
  biotomas

  authored
  461a8f4

  Copy full SHA for 461a8f4

Commits on Jun 27, 2022

• typo

  tias

  authored
  de0ac2b

  Copy full SHA for de0ac2b

Commits on Jan 9, 2022

• Merge pull request #25 from conp-solutions/ipasir-check-fixes

  Show description for 07cc535
  biotomas

  authored
  07cc535

  Copy full SHA for 07cc535

Commits on Jan 7, 2022

• SATSolver: fix handling conflict clause

  Show description for b95fcd7
  conp-solutions

  committed
  b95fcd7

  Copy full SHA for b95fcd7

Commits on Oct 13, 2021

• Merge pull request #24 from dangerbleistift/master

  Show description for 0e2e093
  biotomas

  authored
  0e2e093

  Copy full SHA for 0e2e093

Commits on Oct 11, 2021

• Changed from modified tar file to patching the compilation, adding the fPIC flag this way

  dangerbleistift

  committed
  6b7a655

  Copy full SHA for 6b7a655

• Enabled compilation of picosat961, allowing compilation of shared object files

  dangerbleistift

  committed
  b9beff6

  Copy full SHA for b9beff6

Commits on Oct 8, 2021

• Enabled compilation of minisat-220 with -fPIC flag, allowing compilation of shared object files

  dangerbleistift

  committed
  273a5aa

  Copy full SHA for 273a5aa

• Enabled compilation of lingelingbcj with -fPIC flag, allowing compilation of shared objects files

  dangerbleistift

  committed
  00dc210

  Copy full SHA for 00dc210

Commits on Mar 18, 2021

• Merge pull request #23 from clausecker/master

  Show description for c10e266
  biotomas

  authored
  c10e266

  Copy full SHA for c10e266

Commits on Mar 17, 2021

• reflow ipasir.h comments to 72 columns

  Show description for 8d12918
  clausecker

  committed
  8d12918

  Copy full SHA for 8d12918

• Document multithreading assumptions of ipasir_set_learn

  Show description for 7a5c717
  clausecker

  committed
  7a5c717

  Copy full SHA for 7a5c717

• Subsequent calls to ipasir_set_learn() override the previous callback

  Show description for 27f52b4
  clausecker

  committed
  27f52b4

  Copy full SHA for 27f52b4

Commits on Feb 9, 2021

• Merge pull request #21 from msakai/fix-genipaessentials-learnCb

  Show description for bb5dd47
  biotomas

  authored
  bb5dd47

  Copy full SHA for bb5dd47

Commits on Feb 6, 2021

• fix genipaessentials's learnCb function

  Show description for 7149495
  msakai

  committed
  7149495

  Copy full SHA for 7149495

Commits on Jan 28, 2021

• Merge pull request #20 from msakai/feature/ipasir_val-int32_t

  Show description for 3333862
  biotomas

  authored
  3333862

  Copy full SHA for 3333862

• Merge pull request #19 from msakai/feature/int32-limits

  Show description for 5c38bea
  biotomas

  authored
  5c38bea

  Copy full SHA for 5c38bea

• refer INT32_MIN and INT32_MAX instead of INT_MIN and INT_MAX as the limits of literals

  msakai

  committed
  5d4267f

  Copy full SHA for 5d4267f

• change return type of ipasir_val to int32_t

  msakai

  committed
  4fde462

  Copy full SHA for 4fde462

Commits on Sep 7, 2020

• Merge pull request #18 from Robbepop/robin-use-int32_t

  Show description for 5203299
  biotomas

  authored
  5203299

  Copy full SHA for 5203299

Commits on Sep 4, 2020

• replace usage of int with int32_t where it denotes the type of a literal

  Robbepop

  committed
  0641d1e

  Copy full SHA for 0641d1e

Commits on May 13, 2020

• Merge pull request #17 from conp-solutions/ipasir-check

  Show description for a09fe11
  biotomas

  authored
  a09fe11

  Copy full SHA for a09fe11

Commits on May 5, 2020

• ipasir: add satunsat check

  Show description for ac4cacc
  conp-solutions

  committed
  ac4cacc

  Copy full SHA for ac4cacc

• ipasir: add iterative checker

  Show description for 08dde60
  conp-solutions

  committed
  08dde60

  Copy full SHA for 08dde60

• ipasir: add conlflic checker

  Show description for a6b3b10
  conp-solutions

  committed
  a6b3b10

  Copy full SHA for a6b3b10

Commits on Apr 20, 2020

• improved documentation of ipasir_solve

  

  Markus Iser

  committed
  ce05488

  Copy full SHA for ce05488

• improved documentation of ipasir_val

  

  Markus Iser

  committed
  a4efb15

  Copy full SHA for a4efb15

• further clarifications in the documentation of ipasir_failed

  

  Markus Iser

  committed
  cda9a48

  Copy full SHA for cda9a48

• avoid confusions between solver _state_ and the pointer to arbitrary state-data used in callback functions

  

  Markus Iser

  committed
  d79d067

  Copy full SHA for d79d067

Commits on Apr 12, 2020

• Clarified specification of ipasir_failed

  

  Markus Iser

  committed
  91e874b

  Copy full SHA for 91e874b

Commits on Mar 24, 2020

• fixed minisat package

  

  Markus Iser

  committed
  baceaac

  Copy full SHA for baceaac

• got rid of -Wreorder in minisat build

  

  Markus Iser

  committed
  688b4de

  Copy full SHA for 688b4de

• fix build of apps 'genipasat' and 'icnf' with solver 'lingeling'

  

  Markus Iser

  committed
  dd262f4

  Copy full SHA for dd262f4

• patched minisat

  

  Markus Iser

  committed
  7a57bb5

  Copy full SHA for 7a57bb5

• app genipamax: fixed pblib <math.h> imports and removed hard-coded compiler-version dependency

  

  Markus Iser

  committed
  4ba40a8

  Copy full SHA for 4ba40a8

Pagination

Previous

Next