Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 12, 2018

• Compiler warning.

  alanminko

  committed
  1aed74e

  Copy full SHA for 1aed74e

• Extending extra library with additional ZDD-based procedures.

  alanminko

  committed
  5560011

  Copy full SHA for 5560011

Commits on Oct 9, 2018

• Corner-case bug fix in LUT to AIG translation.

  alanminko

  committed
  af62d29

  Copy full SHA for af62d29

Commits on Oct 2, 2018

• Experiments with Boolean functions.

  alanminko

  committed
  bc65461

  Copy full SHA for bc65461

• Experiments with Boolean functions.

  alanminko

  committed
  5bb6d45

  Copy full SHA for 5bb6d45

• Experiments with Boolean functions.

  alanminko

  committed
  3c0b4b6

  Copy full SHA for 3c0b4b6

• Experiments with Boolean functions.

  alanminko

  committed
  c750544

  Copy full SHA for c750544

Commits on Oct 1, 2018

• Visualizingn BDDs without complemented edges in 'show_bdd'.

  alanminko

  committed
  6f6dba4

  Copy full SHA for 6f6dba4

• Compiler warning.

  alanminko

  committed
  6159c95

  Copy full SHA for 6159c95

• Experiments with word-level retiming.

  alanminko

  committed
  9e787c7

  Copy full SHA for 9e787c7

Commits on Sep 29, 2018

• Adding switch to 'write_pla' to write random onset minterms of the first PO function (bug fix).

  alanminko

  committed
  a8faa2b

  Copy full SHA for a8faa2b

• Adding switch to 'write_pla' to write random onset minterms of the first PO function.

  alanminko

  committed
  75ed858

  Copy full SHA for 75ed858

Commits on Sep 28, 2018

• Adding command 'cof' to replace node by a constant (bug fix).

  alanminko

  committed
  3e33c91

  Copy full SHA for 3e33c91

Commits on Sep 27, 2018

• Adding command 'cof' to replace node by a constant.

  alanminko

  committed
  a0413c9

  Copy full SHA for a0413c9

• Adding visualization of global BDDs in 'show_bdd'.

  alanminko

  committed
  5528d1b

  Copy full SHA for 5528d1b

Commits on Sep 26, 2018

• New way of blasting complex flops.

  alanminko

  committed
  563f4a8

  Copy full SHA for 563f4a8

Commits on Sep 25, 2018

• New way of blasting complex flops.

  alanminko

  committed
  a93699f

  Copy full SHA for a93699f

• New way of blasting complex flops.

  alanminko

  committed
  fea4782

  Copy full SHA for fea4782

Commits on Sep 23, 2018

• Support for flops with complex controls.

  alanminko

  committed
  a2258f5

  Copy full SHA for a2258f5

Commits on Sep 22, 2018

• New APIs of the truth table package.

  alanminko

  committed
  53ba287

  Copy full SHA for 53ba287

• Adding dump of name mapping after blasting.

  alanminko

  committed
  a9815b7

  Copy full SHA for a9815b7

Commits on Sep 21, 2018

• Compiler problem.

  alanminko

  committed
  26bfd74

  Copy full SHA for 26bfd74

Commits on Sep 20, 2018

• Preserving output names while deriving a miter.

  alanminko

  committed
  c861635

  Copy full SHA for c861635

• Preserving names while deriving a miter.

  alanminko

  committed
  0dec03b

  Copy full SHA for 0dec03b

• Fixing a memory leak.

  alanminko

  committed
  c5f7486

  Copy full SHA for c5f7486

Commits on Sep 17, 2018

• Fixing mismatch in exact NPN computation (by XueGong Zhou)

  alanminko

  committed
  d8c47d5

  Copy full SHA for d8c47d5

Commits on Sep 16, 2018

• Expriments with functions.

  alanminko

  committed
  677c984

  Copy full SHA for 677c984

• Expriments with functions.

  alanminko

  committed
  57d65f7

  Copy full SHA for 57d65f7

• Expriments with functions.

  alanminko

  committed
  0edf9a5

  Copy full SHA for 0edf9a5

• Expriments with functions.

  alanminko

  committed
  c9e520e

  Copy full SHA for c9e520e

Commits on Sep 13, 2018

• Suggested bug fix in 'amap'.

  alanminko

  committed
  d05fe03

  Copy full SHA for d05fe03

• Expriments with functions (cleanup).

  alanminko

  committed
  1f93bfb

  Copy full SHA for 1f93bfb

• Expriments with functions (cleanup).

  alanminko

  committed
  62638df

  Copy full SHA for 62638df

Commits on Sep 11, 2018

• Supporting unitialized flops in NDR.

  alanminko

  committed
  caaca11

  Copy full SHA for caaca11

• Expriments with functions (supporting symmetries).

  alanminko

  committed
  1b82a38

  Copy full SHA for 1b82a38

Pagination

Previous

Next