Commits

Branch selector

 master

User selector

alanminko

Datepicker

All time

Commit History

Commits on Apr 28, 2022

• Removing equivalence classes when they are not properly refined.

  alanminko

  committed
  61f2f3d

  Copy full SHA for 61f2f3d

• Removing equivalence classes when they are not properly refined.

  alanminko

  committed
  f675807

  Copy full SHA for f675807

Commits on Apr 27, 2022

• Removing duplicated command.

  alanminko

  committed
  daa4eaf

  Copy full SHA for daa4eaf

• Adding switch -c to &cone.

  alanminko

  committed
  5999b5a

  Copy full SHA for 5999b5a

Commits on Apr 26, 2022

• Experiments with word-level data structures.

  alanminko

  committed
  0fc56e7

  Copy full SHA for 0fc56e7

Commits on Apr 25, 2022

• A trivial changeset.

  alanminko

  committed
  c68fcae

  Copy full SHA for c68fcae

• Adding a switch to complement outputs after collapsing.

  alanminko

  committed
  9e164ec

  Copy full SHA for 9e164ec

• Bug fix in &uif.

  alanminko

  committed
  7693ce6

  Copy full SHA for 7693ce6

Commits on Apr 24, 2022

• Supporting multiple box types in &uif.

  alanminko

  committed
  dd81af8

  Copy full SHA for dd81af8

• Bug fix in &uif.

  alanminko

  committed
  ca6dd4e

  Copy full SHA for ca6dd4e

• Experiments with SAT sweeping.

  alanminko

  committed
  1abd045

  Copy full SHA for 1abd045

• Experiments with SAT sweeping.

  alanminko

  committed
  cb30ea0

  Copy full SHA for cb30ea0

• Experiments with SAT sweeping.

  alanminko

  committed
  1f56f20

  Copy full SHA for 1f56f20

• Adding switch to stop scorr if refinement is too slow.

  alanminko

  committed
  8e13245

  Copy full SHA for 8e13245

Commits on Apr 22, 2022

• Experiments with word-level data structures.

  alanminko

  committed
  b79f37a

  Copy full SHA for b79f37a

Commits on Apr 7, 2022

• Merge pull request berkeley-abc#160 from antonblanchard/signed-char

  Show description for fdf08d2
  alanminko

  authored
  fdf08d2

  Copy full SHA for fdf08d2

Commits on Apr 5, 2022

• Added a switch to &dfs to perform levelized ordering.

  alanminko

  committed
  e5e5e35

  Copy full SHA for e5e5e35

• Experiments with word-level data structures.

  alanminko

  committed
  7ad8f95

  Copy full SHA for 7ad8f95

Commits on Apr 4, 2022

• Merge pull request berkeley-abc#145 from QuantamHD/fix_internal_pins

  Show description for 547de09
  alanminko

  authored
  547de09

  Copy full SHA for 547de09

Commits on Apr 3, 2022

• Suggested changes to properly initialize the variable array for Cudd_bddVectorCompose().

  alanminko

  committed
  5405003

  Copy full SHA for 5405003

Commits on Mar 30, 2022

• Merge pull request berkeley-abc#157 from sarnold/gh-windows-fix

  Show description for 480aaa6
  alanminko

  authored
  480aaa6

  Copy full SHA for 480aaa6

Commits on Mar 29, 2022

• Suggested changes for the case when the file begings with a new line.

  alanminko

  committed
  a24b15d

  Copy full SHA for a24b15d

Commits on Mar 6, 2022

• Experiments with word-level data structures.

  alanminko

  committed
  ee22833

  Copy full SHA for ee22833

• Experiments with word-level data structures.

  alanminko

  committed
  d86e8d9

  Copy full SHA for d86e8d9

• Experiments with word-level data structures.

  alanminko

  committed
  32693e9

  Copy full SHA for 32693e9

Commits on Feb 26, 2022

• Interleaved variable ordering during bit-blasting.

  alanminko

  committed
  6606c18

  Copy full SHA for 6606c18

Commits on Feb 23, 2022

• Intersection a bug in rewrite/refactor.

  alanminko

  committed
  3186a82

  Copy full SHA for 3186a82

• Intersection a bug in rewrite/refactor.

  alanminko

  committed
  bcf21e4

  Copy full SHA for bcf21e4

Commits on Feb 18, 2022

• Similar changes suggested in other places.

  alanminko

  committed
  31519bd

  Copy full SHA for 31519bd

• Merge pull request berkeley-abc#147 from yurivict/FreeBSD_fix

  Show description for 34fe762
  alanminko

  authored
  34fe762

  Copy full SHA for 34fe762

• Suggested change to prevent ABC from crashing when compiled on Windows.

  alanminko

  committed
  b442c74

  Copy full SHA for b442c74

Commits on Feb 17, 2022

• Experiments with word-level data structures.

  alanminko

  committed
  33fb7a8

  Copy full SHA for 33fb7a8

Commits on Feb 16, 2022

• Improving truth table handling.

  alanminko

  committed
  ea5648d

  Copy full SHA for ea5648d

Commits on Feb 4, 2022

• Improving truth table handling.

  alanminko

  committed
  6345832

  Copy full SHA for 6345832

Commits on Feb 3, 2022

• Compiler warnings.

  alanminko

  committed
  faa5947

  Copy full SHA for faa5947

Pagination

Previous

Next