Code

Update sclBufSize.c#45

Code

Open

marina-neseem wants to merge 7 commits intoberkeley-abc:masterberkeley-abc/abc:masterfrom marina-neseem:mastermarina-neseem/abc:masterCopy head branch name to clipboard

+72-42

Commits

Commits on Jun 16, 2019

• Update sclBufSize.c

  Show description for 698251a
  marina-neseem

  authored
  698251a

  Copy full SHA for 698251a

Commits on Dec 14, 2019

• disable SAT checking in fraig

  marina-neseem

  committed
  cfb370a

  Copy full SHA for cfb370a

Commits on Dec 15, 2019

• add -x flag to fraig command to enable approcimation

  marina-neseem

  committed
  dff0580

  Copy full SHA for dff0580

Commits on Dec 16, 2019

• modify the approximation condition

  marina-neseem

  committed
  b47a2b7

  Copy full SHA for b47a2b7

• Add approximate rewriting

  marina-neseem

  committed
  8b61091

  Copy full SHA for 8b61091

• fix bug in argument passing

  marina-neseem

  committed
  aab7612

  Copy full SHA for aab7612

Commits on Dec 17, 2019

• fix a bug in approximate rewrite

  marina-neseem

  committed
  f527012

  Copy full SHA for f527012