Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 12, 2020

• fix-merge

  

  Markus Iser

  committed
  1b837e4

  Copy full SHA for 1b837e4

• Cleanup Parameters

  

  Markus Iser

  committed
  aaa4b05

  Copy full SHA for aaa4b05

Commits on May 2, 2020

• revisited variable elimination, increase stability in incremental mode

  

  Markus Iser

  committed
  e44ef54

  Copy full SHA for e44ef54

• new test for incremental mode

  

  Markus Iser

  committed
  2313d0e

  Copy full SHA for 2313d0e

Commits on Apr 30, 2020

• removed example

  

  Markus Iser

  committed
  fbca911

  Copy full SHA for fbca911

• ipasir hotfix

  

  Markus Iser

  committed
  a108d7b

  Copy full SHA for a108d7b

• comment log-meassages

  

  Markus Iser

  committed
  79c118d

  Copy full SHA for 79c118d

Commits on Apr 26, 2020

• include drat-proof checker in integration-tests

  

  Markus Iser

  committed
  bc79762

  Copy full SHA for bc79762

Commits on Apr 24, 2020

• removed dependency on drat-trim

  

  Markus Iser

  committed
  f0ac257

  Copy full SHA for f0ac257

• drat-checker ready to roll

  

  Markus Iser

  committed
  772b8c2

  Copy full SHA for 772b8c2

Commits on Apr 23, 2020

• drat-checker (initial commit)

  

  Markus Iser

  committed
  c4dafaa

  Copy full SHA for c4dafaa

• refined input stream

  

  Markus Iser

  committed
  f918180

  Copy full SHA for f918180

Commits on Apr 22, 2020

• variable elimination in incremental mode

  

  Markus Iser

  committed
  234392b

  Copy full SHA for 234392b

• reactivated variable-elimination for incremental mode

  

  Markus Iser

  committed
  eb92241

  Copy full SHA for eb92241

Commits on Apr 20, 2020

• fix eliminiation order

  

  Markus Iser

  committed
  69c9391

  Copy full SHA for 69c9391

• variable eliminiation with support for incremental mode

  

  Markus Iser

  committed
  c6290fc

  Copy full SHA for c6290fc

• prepare trail for propagation of eliminated variables

  

  Markus Iser

  committed
  cb89df3

  Copy full SHA for cb89df3

• cleanup mess in subsumption module

  

  Markus Iser

  committed
  01777f5

  Copy full SHA for 01777f5

• pulled new version of drat-trim

  

  Markus Iser

  committed
  ab75d90

  Copy full SHA for ab75d90

• pulled new version of drat-trim

  

  Markus Iser

  committed
  3347eee

  Copy full SHA for 3347eee

Commits on Apr 17, 2020

• new fuzz targets ready

  

  Markus Iser

  committed
  3cd20c4

  Copy full SHA for 3cd20c4

• fuzzing ipasir

  

  Markus Iser

  committed
  2380a2b

  Copy full SHA for 2380a2b

• ipasir_failed basic tests

  

  Markus Iser

  committed
  b1555f7

  Copy full SHA for b1555f7

Commits on Apr 16, 2020

• removed submodule minisat

  

  Markus Iser

  committed
  d9c0541

  Copy full SHA for d9c0541

• removed fuzzing directory.. for real

  

  Markus Iser

  committed
  0012369

  Copy full SHA for 0012369

• removed fuzzing directory; cleanups

  

  Markus Iser

  committed
  cad7c19

  Copy full SHA for cad7c19

• integrated general testing options for fuzz tests

  

  Markus Iser

  committed
  69b6f64

  Copy full SHA for 69b6f64

• fix windows build of external md5-lib

  

  Markus Iser

  committed
  f6f86dc

  Copy full SHA for f6f86dc

• initial implementation of degree-hash

  

  Markus Iser

  committed
  090ed99

  Copy full SHA for 090ed99

Commits on Apr 10, 2020

• temporarily deactivated repeated preprocessing in incremental mode as it provokes inconsistencies in solver state (this needs further analysis); added unit-test

  

  Markus Iser

  committed
  c864773

  Copy full SHA for c864773

Commits on Apr 7, 2020

• exclude teexgraph lib from coverage analysis

  

  Markus Iser

  committed
  1d38e31

  Copy full SHA for 1d38e31

• guard VSIDSC against heap-buffer overflow; still need to check why this happens

  

  Markus Iser

  committed
  73e7554

  Copy full SHA for 73e7554

• include VSIDSC in tests

  

  Markus Iser

  committed
  987b5a8

  Copy full SHA for 987b5a8

• update travis and sonar configuration

  

  Markus Iser

  committed
  502c9bc

  Copy full SHA for 502c9bc

• enable sonar-scanner debug output

  

  Markus Iser

  committed
  62373cf

  Copy full SHA for 62373cf

Pagination

Previous

Next