Commits

Branch selector

m

User selector

All users

All time

Commit history

Commits on Nov 21, 2018

• incremental checkmodel compromise

  Show description for 385e5d9
  wsc1

  committed
  385e5d9View commit details

  Copy full SHA for 385e5d9

  Browse repository at this point

• forgot a file...

  wsc1

  committed
  bdbd832View commit details

  Copy full SHA for bdbd832

  Browse repository at this point

• Merge branch 's' into m

  wsc1

  committed
  9ce84eeView commit details

  Copy full SHA for 9ce84ee

  Browse repository at this point

• incremental improvements

  Show description for 952f0cf
  wsc1

  committed
  952f0cfView commit details

  Copy full SHA for 952f0cf

  Browse repository at this point

Commits on Nov 19, 2018

• remove cnfsimp test as it is no longer part of the PR

  wsc1

  committed
  340793eView commit details

  Copy full SHA for 340793e

  Browse repository at this point

• remove cnfsimp, it's too immature to include it

  wsc1

  committed
  77a001aView commit details

  Copy full SHA for 77a001a

  Browse repository at this point

• torture tested and debugged activations

  Show description for 84bc212
  wsc1

  committed
  84bc212View commit details

  Copy full SHA for 84bc212

  Browse repository at this point

• hardcore activation test

  Show description for 3e7c5cc
  wsc1

  committed
  3e7c5ccView commit details

  Copy full SHA for 3e7c5cc

  Browse repository at this point

• much activation debugging

  Show description for 2fc655f
  wsc1

  committed
  2fc655fView commit details

  Copy full SHA for 2fc655f

  Browse repository at this point

• compact if activations in use on checkmodel

  Show description for ff7e0d7
  wsc1

  committed
  ff7e0d7View commit details

  Copy full SHA for ff7e0d7

  Browse repository at this point

Commits on Nov 18, 2018

• try this.

  wsc1

  committed
  a96f469View commit details

  Copy full SHA for a96f469

  Browse repository at this point

• undebug print

  wsc1

  committed
  9a19ac6View commit details

  Copy full SHA for 9a19ac6

  Browse repository at this point

• debug for ...

  wsc1

  committed
  fcebcedView commit details

  Copy full SHA for fcebced

  Browse repository at this point

Commits on Nov 17, 2018

• add ActivationLit()

  Show description for e3d6611
  wsc1

  committed
  e3d6611View commit details

  Copy full SHA for e3d6611

  Browse repository at this point

• added tests for conditions that should panic

  Show description for d4cabb4
  wsc1

  committed
  d4cabb4View commit details

  Copy full SHA for d4cabb4

  Browse repository at this point

• Merge branch 'master' into s

  wsc1

  committed
  c2da295View commit details

  Copy full SHA for c2da295

  Browse repository at this point

• add sudoku example

  wsc1

  committed
  030caf1View commit details

  Copy full SHA for 030caf1

  Browse repository at this point

• checkpoint for switching branches.

  wsc1

  committed
  0d4fd6fView commit details

  Copy full SHA for 0d4fd6f

  Browse repository at this point

Commits on Nov 15, 2018

• documentation refinements

  wsc1

  committed
  0e5d55cView commit details

  Copy full SHA for 0e5d55c

  Browse repository at this point

• activation features

  Show description for ae3b67e
  wsc1

  committed
  ae3b67eView commit details

  Copy full SHA for ae3b67e

  Browse repository at this point

• unify clause removal

  Show description for 386e00c
  wsc1

  committed
  386e00cView commit details

  Copy full SHA for 386e00c

  Browse repository at this point

Commits on Nov 14, 2018

• tested CnfSimp

  Show description for c7afdbe
  wsc1

  committed
  c7afdbeView commit details

  Copy full SHA for c7afdbe

  Browse repository at this point

• export CLoc as z.C

  Show description for b7b8e7e
  wsc1

  committed
  b7b8e7eView commit details

  Copy full SHA for b7b8e7e

  Browse repository at this point

• bugfix with unroll const

  wsc1

  committed
  1abd102View commit details

  Copy full SHA for 1abd102

  Browse repository at this point

• const in eval too

  Show description for 354691e
  wsc1

  committed
  354691eView commit details

  Copy full SHA for 354691e

  Browse repository at this point

• unroll constants test

  wsc1

  committed
  f7a795aView commit details

  Copy full SHA for f7a795a

  Browse repository at this point

• make unroller work for constants.

  Show description for d0d891a
  wsc1

  committed
  d0d891aView commit details

  Copy full SHA for d0d891a

  Browse repository at this point

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

  wsc1

  committed
  00a0388View commit details

  Copy full SHA for 00a0388

  Browse repository at this point

Commits on Nov 13, 2018

• documentation cleanup + unroll Len/MaxLen

  wsc1

  committed
  e5d37daView commit details

  Copy full SHA for e5d37da

  Browse 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

  Browse 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

  Browse repository at this point

Commits on Oct 4, 2018

• format fix for stdin cat

  wsc1

  committed
  dcdcc28View commit details

  Copy full SHA for dcdcc28

  Browse repository at this point

• Add performance fix

  wsc1

  committed
  c72d84fView commit details

  Copy full SHA for c72d84f

  Browse repository at this point

Commits on Sep 8, 2018

• (doh!) fix inc solve flow bug for Marvin Stenger

  wsc1

  committed
  58be5e2View commit details

  Copy full SHA for 58be5e2

  Browse repository at this point

Commits on Sep 2, 2018

• README tweaks

  wsc1

  committed
  2a92729View commit details

  Copy full SHA for 2a92729

  Browse repository at this point