Code

Create ISOP representations#11

Code

Merged

msoeken merged 9 commits intomastermsoeken/kitty:masterfrom isopmsoeken/kitty:isopCopy head branch name to clipboardOct 21, 2017

Commits

Commits on Oct 20, 2017

• Documentation.

  msoeken

  committed
  9a513c6

  Copy full SHA for 9a513c6

• Check whether function depends on variable with has_var.

  msoeken

  committed
  e099d30

  Copy full SHA for e099d30

• Co-factors.

  msoeken

  committed
  b87fc93

  Copy full SHA for b87fc93

• Documentation.

  msoeken

  committed
  766d3a8

  Copy full SHA for 766d3a8

• Operators for binary operations.

  msoeken

  committed
  96d5092

  Copy full SHA for 96d5092

• Predicate is_const0.

  msoeken

  committed
  e1e0c44

  Copy full SHA for e1e0c44

Commits on Oct 21, 2017

• Update operators.

  msoeken

  committed
  59d71fa

  Copy full SHA for 59d71fa

• Create truth table from cube (SOP) representation.

  msoeken

  committed
  2dcbb55

  Copy full SHA for 2dcbb55

• Create ISOP repersentation with Minato-Morreale algorithm.

  msoeken

  committed
  37d38f3

  Copy full SHA for 37d38f3