Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Sep 10, 2024

• running_id for trace fix

  alexwng

  authored
  ce51570

  Copy full SHA for ce51570

Commits on Jun 30, 2023

• fixed duplicate literals in terms

  fslivovsky

  committed
  4938113

  Copy full SHA for 4938113

• bugfix QCIR parser

  fslivovsky

  committed
  7c931d8

  Copy full SHA for 7c931d8

Commits on Jun 29, 2023

• bugfix tautological clauses

  fslivovsky

  committed
  a0f681a

  Copy full SHA for a0f681a

• bugfix

  fslivovsky

  committed
  fa444d5

  Copy full SHA for fa444d5

Commits on Nov 7, 2022

• improved clause/term minimization for QBF

  fslivovsky

  committed
  8224c21

  Copy full SHA for 8224c21

Commits on Oct 8, 2022

• flushing trace file

  fslivovsky

  committed
  7f3cff8

  Copy full SHA for 7f3cff8

Commits on Oct 7, 2022

• improved tracing

  fslivovsky

  committed
  eb29a8f

  Copy full SHA for eb29a8f

Commits on Sep 28, 2022

• support for dependency learning with LDQ

  fslivovsky

  committed
  9360db6

  Copy full SHA for 9360db6

Commits on Sep 21, 2022

• basic proof tracing

  fslivovsky

  committed
  b0b6335

  Copy full SHA for b0b6335

Commits on Jul 28, 2022

• license

  fslivovsky

  committed
  b999f1c

  Copy full SHA for b999f1c

Commits on Jul 26, 2022

• merge alternative propagation

  fslivovsky

  committed
  5670caa

  Copy full SHA for 5670caa

• QCIR parsing option

  fslivovsky

  committed
  51d7078

  Copy full SHA for 51d7078

Commits on Apr 29, 2022

• Merge branch 'altprop' of github.com:fslivovsky/miniQU into altprop

  fslivovsky

  committed
  855bb3c

  Copy full SHA for 855bb3c

• tracking avg clause size

  fslivovsky

  committed
  5e4c5e7

  Copy full SHA for 5e4c5e7

Commits on Apr 15, 2022

• fixed some warnings

  fslivovsky

  committed
  99ede6c

  Copy full SHA for 99ede6c

Commits on Mar 28, 2022

• VSIDS fix

  fslivovsky

  committed
  cd7bd2c

  Copy full SHA for cd7bd2c

Commits on Mar 17, 2022

• only encode non-redundant gates

  fslivovsky

  committed
  70676d3

  Copy full SHA for 70676d3

• bugfix partial certificate

  fslivovsky

  committed
  a3d09ad

  Copy full SHA for a3d09ad

• outputting partial certificates

  fslivovsky

  committed
  c551691

  Copy full SHA for c551691

Commits on Mar 2, 2022

• ccmin-mode=0 by default

  fslivovsky

  committed
  6c2747c

  Copy full SHA for 6c2747c

Commits on Feb 24, 2022

• removed spurious options

  fslivovsky

  committed
  06e5700

  Copy full SHA for 06e5700

Commits on Feb 21, 2022

• commandline option for solving mode

  fslivovsky

  committed
  9a5fff2

  Copy full SHA for 9a5fff2

Commits on Feb 20, 2022

• LDQ version

  fslivovsky

  committed
  5838e0f

  Copy full SHA for 5838e0f

Commits on Feb 19, 2022

• passing fuzzing

  fslivovsky

  committed
  616b9cb

  Copy full SHA for 616b9cb

Commits on Feb 18, 2022

• started implementation of QUP

  fslivovsky

  committed
  8b7f36b

  Copy full SHA for 8b7f36b

• Qres mode

  fslivovsky

  committed
  c5c6eb8

  Copy full SHA for c5c6eb8

Commits on Feb 17, 2022

• removed dd-discrepancy from index

  fslivovsky

  committed
  653384c

  Copy full SHA for 653384c

Commits on Feb 10, 2022

• const modifier

  fslivovsky

  committed
  4ee1401

  Copy full SHA for 4ee1401

• LBD-based cleaning

  fslivovsky

  committed
  caadb2a

  Copy full SHA for caadb2a

• refactored encoding generation

  fslivovsky

  committed
  dac229f

  Copy full SHA for dac229f

Commits on Feb 4, 2022

• bugfix

  fslivovsky

  committed
  b0d5964

  Copy full SHA for b0d5964

Commits on Feb 3, 2022

• fix for trivially true QCIR

  fslivovsky

  committed
  b0fc5b6

  Copy full SHA for b0fc5b6

Commits on Jan 5, 2022

• QCIR parsing with proper filename ending

  fslivovsky

  committed
  a6f39c0

  Copy full SHA for a6f39c0

Commits on Nov 29, 2021

• separate statistics for clauses and terms

  fslivovsky

  committed
  b6a65a1

  Copy full SHA for b6a65a1