Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 9, 2019

• Adding macro to disable bridge output and APIs by popular demand.

  alanminko

  committed
  e9896a2

  Copy full SHA for e9896a2

Commits on Nov 5, 2019

• Adding option to &flow2 to map using the library.

  alanminko

  committed
  e9de990

  Copy full SHA for e9de990

Commits on Nov 3, 2019

• Changes to several APIs.

  alanminko

  committed
  ec1dc44

  Copy full SHA for ec1dc44

Commits on Oct 31, 2019

• Changes to several APIs.

  alanminko

  committed
  6b2fe00

  Copy full SHA for 6b2fe00

Commits on Oct 27, 2019

• Compiler warnings.

  alanminko

  committed
  7f503dc

  Copy full SHA for 7f503dc

• Experiments with simulation.

  alanminko

  committed
  5a11844

  Copy full SHA for 5a11844

Commits on Oct 26, 2019

• Adding a new feature to decompose special 6-input cuts.

  alanminko

  committed
  f9309ce

  Copy full SHA for f9309ce

• Adding limit on the depth of recursion when counting exact area in 'amap'.

  alanminko

  committed
  feb3e79

  Copy full SHA for feb3e79

• Adding switch -o to 'map' and '&put' to control gate duplication.

  alanminko

  committed
  35c2b42

  Copy full SHA for 35c2b42

• Experiments with miter construction.

  alanminko

  committed
  d3fddd4

  Copy full SHA for d3fddd4

Commits on Oct 6, 2019

• Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p. 452)

  alanminko

  committed
  52a8ebb

  Copy full SHA for 52a8ebb

Commits on Oct 5, 2019

• Remove assertions when the solver becomes UNSAT after adding constraints in 'scorr -c'.

  alanminko

  committed
  4dc569c

  Copy full SHA for 4dc569c

Commits on Oct 4, 2019

• Small bug in the unused code.

  alanminko

  committed
  3b4e957

  Copy full SHA for 3b4e957

Commits on Oct 3, 2019

• Several corner-case bug fixes in scorr with constraints.

  alanminko

  committed
  623b5e8

  Copy full SHA for 623b5e8

Commits on Sep 27, 2019

• Fixing compilication problem related to shiftFunc().

  alanminko

  committed
  cdabd42

  Copy full SHA for cdabd42

Commits on Sep 26, 2019

• Adding switch to &if to consider special type of 6-input cuts.

  alanminko

  committed
  b292595

  Copy full SHA for b292595

• Fixing compilication problem related to Abc_TtVerifySmallTruth().

  alanminko

  committed
  df2bce1

  Copy full SHA for df2bce1

Commits on Sep 19, 2019

• Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to print delay profile.

  alanminko

  committed
  390adc3

  Copy full SHA for 390adc3

• Adding option 'gen -b' to generate signed Booth multipliers.

  alanminko

  committed
  3a1705e

  Copy full SHA for 3a1705e

• Fixing performance bug (too many partial products) in blasting signed Booth multiplier.

  alanminko

  committed
  395614a

  Copy full SHA for 395614a

• Bug fix in &trace.

  alanminko

  committed
  2ef7930

  Copy full SHA for 2ef7930

Commits on Sep 14, 2019

• Several suggested bug-fixes.

  alanminko

  committed
  c3837b9

  Copy full SHA for c3837b9

• Several suggested bug-fixes.

  alanminko

  committed
  4256ad0

  Copy full SHA for 4256ad0

Commits on Sep 4, 2019

• Upgrading reparametrization to perform (non-range-equivalent) removal of logic.

  alanminko

  committed
  5081b41

  Copy full SHA for 5081b41

Commits on Aug 27, 2019

• Fix read_bench to read standard gate names in lower-case.

  alanminko

  committed
  379b6a2

  Copy full SHA for 379b6a2

Commits on Aug 14, 2019

• Adding switch to suppress printing simple objects in %retime.

  alanminko

  committed
  9754572

  Copy full SHA for 9754572

Commits on Jul 30, 2019

• Adding new switch to &genqfb to use output as an enable in the miter.

  alanminko

  committed
  9017fa9

  Copy full SHA for 9017fa9

Commits on Jul 25, 2019

• Preserving boxes after &write.

  alanminko

  committed
  5776ad0

  Copy full SHA for 5776ad0

• Bug fix in &mfs.

  alanminko

  committed
  a63319a

  Copy full SHA for a63319a

• Adding license file for Glucose 3.0

  alanminko

  committed
  0bd2650

  Copy full SHA for 0bd2650

• Fixing some update gcc.

  alanminko

  committed
  a318e7e

  Copy full SHA for a318e7e

Commits on Jul 24, 2019

• Fixing some update gcc.

  alanminko

  committed
  ee1bd8f

  Copy full SHA for ee1bd8f

Commits on Jul 18, 2019

• Adding handling of objects without fanout in %retime.

  alanminko

  committed
  0ca7e35

  Copy full SHA for 0ca7e35

• Representing formula used in &fftest as a BLIF file.

  alanminko

  committed
  2de3573

  Copy full SHA for 2de3573

Commits on Jul 16, 2019

• Adding switch '-F <filename>' to &fftest.

  alanminko

  committed
  6b9ed7a

  Copy full SHA for 6b9ed7a

Pagination

Previous

Next