Commits

Breadcrumbs

History for

onm

User selector

All users

All time

Commit history

Commits on Nov 19, 2018

• much activation debugging

  Show description for 2fc655f
  wsc1

  committed
  2fc655fView commit details

  Copy full SHA for 2fc655f

  View code at this pointBrowse repository at this point

Commits on Nov 14, 2018

• bugfix with unroll const

  wsc1

  committed
  1abd102View commit details

  Copy full SHA for 1abd102

  View code at this pointBrowse repository at this point

• const in eval too

  Show description for 354691e
  wsc1

  committed
  354691eView commit details

  Copy full SHA for 354691e

  View code at this pointBrowse repository at this point

• unroll constants test

  wsc1

  committed
  f7a795aView commit details

  Copy full SHA for f7a795a

  View code at this pointBrowse repository at this point

• make unroller work for constants.

  Show description for d0d891a
  wsc1

  committed
  d0d891aView commit details

  Copy full SHA for d0d891a

  View code at this pointBrowse repository at this point

• make logic.C.Eval* work when embedded in logic.S

  wsc1

  committed
  00a0388View commit details

  Copy full SHA for 00a0388

  View code at this pointBrowse repository at this point

Commits on Nov 13, 2018

• documentation cleanup + unroll Len/MaxLen

  wsc1

  committed
  e5d37daView commit details

  Copy full SHA for e5d37da

  View code at this pointBrowse repository at this point

Commits on Nov 11, 2018

• add another more involved unroll/cnf test

  wsc1

  committed
  5fd0a9eView commit details

  Copy full SHA for 5fd0a9e

  View code at this pointBrowse repository at this point

Commits on Nov 10, 2018

• add incremental cnfization for unroll and the like

  wsc1

  committed
  3007036View commit details

  Copy full SHA for 3007036

  View code at this pointBrowse repository at this point

Commits on Jun 6, 2018

• interface improvement (and change)

  Show description for fe2cf9e
  wsc1

  committed
  fe2cf9eView commit details

  Copy full SHA for fe2cf9e

  View code at this pointBrowse repository at this point

Commits on Jun 3, 2018

• ameliorated docs

  wsc1

  committed
  fa46cd2View commit details

  Copy full SHA for fa46cd2

  View code at this pointBrowse repository at this point

• added cardinality constraint support to C

  wsc1

  committed
  7d6023cView commit details

  Copy full SHA for 7d6023c

  View code at this pointBrowse repository at this point

Commits on Jun 1, 2018

• aiger support and copyright notice

  wsc1

  committed
  d07442fView commit details

  Copy full SHA for d07442f

  View code at this pointBrowse repository at this point

• support non-power-of-two cardinality constraints

  wsc1

  committed
  094c5f1View commit details

  Copy full SHA for 094c5f1

  View code at this pointBrowse repository at this point

• preparing for aiger i/o

  wsc1

  committed
  fa56832View commit details

  Copy full SHA for fa56832

  View code at this pointBrowse repository at this point

Commits on May 31, 2018

• added cardinality constraints with sorting nets

  Show description for 9bf2e01
  wsc1

  committed
  9bf2e01View commit details

  Copy full SHA for 9bf2e01

  View code at this pointBrowse repository at this point

Commits on Oct 14, 2016

• rename import paths again for go get.

  Show description for 52fb3e8
  wsc1

  committed
  52fb3e8View commit details

  Copy full SHA for 52fb3e8

  View code at this pointBrowse repository at this point

• test path

  wsc1

  committed
  677e2e5View commit details

  Copy full SHA for 677e2e5

  View code at this pointBrowse repository at this point

• perl ple imports

  wsc1

  committed
  61192afView commit details

  Copy full SHA for 61192af

  View code at this pointBrowse repository at this point

• moved files for get

  wsc1

  committed
  8307aeaView commit details

  Copy full SHA for 8307aea

  View code at this pointBrowse repository at this point

Loading