Code

Added Assume() + companion methods#12

Code

Merged

wkschwartz merged 44 commits intowkschwartz:masterwkschwartz/pigosat:masterfrom justinfx:assumptionsCopy head branch name to clipboardJan 4, 2017

+464-11

Commits

Commits on Feb 22, 2015

• Added Assume() + companion methods

  justinfx

  committed
  6987909

  Copy full SHA for 6987909

Commits on Apr 3, 2015

• Simplify and clarify doc comment for Assume

  wkschwartz

  committed
  d26d5be

  Copy full SHA for d26d5be

Commits on Apr 13, 2015

• Abort building Go slice early if C array pointer is bad or empty

  wkschwartz

  committed
  792a892

  Copy full SHA for 792a892

• Test C boolean ints as != 0 rather than > 0

  wkschwartz

  committed
  141dccb

  Copy full SHA for 141dccb

• Always acquire lock before using PicoSAT object

  wkschwartz

  committed
  185788d

  Copy full SHA for 185788d

• picosat_failed_assumption also SIGABRTs if the lit is 0

  wkschwartz

  committed
  bd09575

  Copy full SHA for bd09575

• Use nil instead of C.NULL since latter is undefined in cgo

  wkschwartz

  committed
  c9ae460

  Copy full SHA for c9ae460

Commits on Apr 14, 2015

• Move assumption-related methods to separate source file

  wkschwartz

  committed
  39cdc69

  Copy full SHA for 39cdc69

Commits on Apr 16, 2015

• Revert "Move assumption-related methods to separate source file"

  Show description for 353d85f
  wkschwartz

  committed
  353d85f

  Copy full SHA for 353d85f

Commits on Apr 28, 2015

• White space

  wkschwartz

  committed
  4aefd8c

  Copy full SHA for 4aefd8c

Commits on Sep 28, 2016

• Add comments to remind you what the signature of the C functions is

  Show description for aab5069
  wkschwartz

  committed
  aab5069

  Copy full SHA for aab5069

Commits on Sep 29, 2016

• Clarify some of the docstrings

  Show description for 48621c4
  wkschwartz

  committed
  48621c4

  Copy full SHA for 48621c4

Commits on Dec 25, 2016

• Fix #20 - create internal, non-locking Pigosat.Res

  wkschwartz

  committed
  6ffd632

  Copy full SHA for 6ffd632

Commits on Dec 26, 2016

• Simplify and test litArrayToSice

  Show description for 73cc070
  wkschwartz

  committed
  73cc070

  Copy full SHA for 73cc070

Commits on Dec 27, 2016

• Rename assumption tests and reference formulaTests

  wkschwartz

  committed
  e686c61

  Copy full SHA for e686c61

Commits on Dec 28, 2016

• Fix docstring typo

  wkschwartz

  committed
  6668137

  Copy full SHA for 6668137

• Shorten assumption tests by making them more specific & use Go idioms

  wkschwartz

  committed
  d8f534e

  Copy full SHA for d8f534e

• Continue running assumption tests if an intermediate one fails

  wkschwartz

  committed
  9fda240

  Copy full SHA for 9fda240

• Shorter variable name to make lines fit in 80 characters

  wkschwartz

  committed
  3895382

  Copy full SHA for 3895382

• Use Go idiom for brevity

  wkschwartz

  committed
  7421104

  Copy full SHA for 7421104

• Simplify TestAssumptionsFailing by removing unnecessary checks

  Show description for f2942c3
  wkschwartz

  committed
  f2942c3

  Copy full SHA for f2942c3

• gofmt and white space

  wkschwartz

  committed
  e8ba36f

  Copy full SHA for e8ba36f

• More brevity changes

  wkschwartz

  committed
  f23811a

  Copy full SHA for f23811a

• More brevity

  wkschwartz

  committed
  ae212d8

  Copy full SHA for ae212d8

• 80-character lines

  wkschwartz

  committed
  891872d

  Copy full SHA for 891872d

• White space

  wkschwartz

  committed
  5c4bf4a

  Copy full SHA for 5c4bf4a

Commits on Dec 29, 2016

• Separate assume-related code into assume.go and assume_test.go

  wkschwartz

  committed
  ea7def7

  Copy full SHA for ea7def7

Commits on Jan 2, 2017

• Add Solution.String and Status.String

  Show description for 6bf0d58
  wkschwartz

  committed
  6bf0d58

  Copy full SHA for 6bf0d58

Commits on Jan 3, 2017

• Test corner cases of Assume methods

  Show description for 0639a17
  wkschwartz

  committed
  0639a17

  Copy full SHA for 0639a17

• FailedAssumptions can return empty list instead of nil when not UNSAT

  Show description for 52690c2
  wkschwartz

  committed
  52690c2

  Copy full SHA for 52690c2

• Move example from Assume’s docstring to a Go example function

  wkschwartz

  committed
  a3abe8f

  Copy full SHA for a3abe8f

• Simplify Assume documentation and target it toward Go and PiGoSAT.

  wkschwartz

  committed
  d16d3af

  Copy full SHA for d16d3af

• Add test that demonstrates crash in use of Assume and FailedAssumption after UNSAT

  wkschwartz

  committed
  483bdf6

  Copy full SHA for 483bdf6

• Fix bug that allowed PicoSAT to crash when using assumptions

  Show description for 24955bf
  wkschwartz

  committed
  24955bf

  Copy full SHA for 24955bf

• Simplify docstring: remove unnecessary code from example

  wkschwartz

  committed
  3e4db32

  Copy full SHA for 3e4db32

• Actually test litArrayToSlice, and fix a bug

  Show description for 865f89b
  wkschwartz

  committed
  865f89b

  Copy full SHA for 865f89b

• Turns out ExamplePigosat_Assume also wasn’t running because of typos

  Show description for e7d158c
  wkschwartz

  committed
  e7d158c

  Copy full SHA for e7d158c

• Add test to demonstrate issue #22: calling BlockSolution from inside Solve

  Show description for 3b19ee6
  wkschwartz

  committed
  3b19ee6

  Copy full SHA for 3b19ee6

• Clarify Solve docstring now that Assume exists

  wkschwartz

  committed
  93092fb

  Copy full SHA for 93092fb

Commits on Jan 4, 2017

• Fix #22 remove BlockSolution call from Solve

  wkschwartz

  committed
  0763c7e

  Copy full SHA for 0763c7e

• Fix docstring to refer to correct function name

  wkschwartz

  committed
  138b986

  Copy full SHA for 138b986

• Invalidating assumptions with BlockSolution should not crash FailedAssumption

  Show description for c170b0d
  wkschwartz

  committed
  c170b0d

  Copy full SHA for c170b0d

• Clarify panic message in litArrayToSlice

  wkschwartz

  committed
  b7d0387

  Copy full SHA for b7d0387

• Merge branch 'master' into assumptions

  wkschwartz

  authored
  0eff462

  Copy full SHA for 0eff462