Commits

Branch selector

 master

User selector

alanminko

Datepicker

All time

Commit History

Commits on Nov 30, 2025

• Adding extension "y" for obj ID mapping.

  alanminko

  committed
  c4b2b5c

  Copy full SHA for c4b2b5c

Commits on Nov 28, 2025

• Experiments with multipliers.

  alanminko

  committed
  9b0786f

  Copy full SHA for 9b0786f

Commits on Nov 27, 2025

• Merge pull request #447 from mmicko/mingw_wasi

  Show description for 53edce3
  alanminko

  authored
  53edce3

  Copy full SHA for 53edce3

• Adding verbose mode to &permute.

  alanminko

  committed
  b9074a7

  Copy full SHA for b9074a7

• Fixing a bug in &mfs when black boxes are present.

  alanminko

  committed
  7691e2e

  Copy full SHA for 7691e2e

Commits on Nov 25, 2025

• Updating printing APIs.

  alanminko

  committed
  ee89928

  Copy full SHA for ee89928

Commits on Nov 24, 2025

• Fix to maintain correct order of boxes after "&mfs".

  alanminko

  committed
  7f64516

  Copy full SHA for 7f64516

Commits on Nov 23, 2025

• Adduing supporrt for dumping binary file with matches.

  alanminko

  committed
  ba85259

  Copy full SHA for ba85259

• Adding binary cut dump.

  alanminko

  committed
  845de6f

  Copy full SHA for 845de6f

• Adding command "cuts".

  alanminko

  committed
  6d2bedd

  Copy full SHA for 6d2bedd

• Debug features.

  alanminko

  committed
  c956f02

  Copy full SHA for c956f02

• Temporarily undoing recent changes to arrival/required times.

  alanminko

  committed
  148f0e9

  Copy full SHA for 148f0e9

Commits on Nov 22, 2025

• Updating how history is recorded.

  alanminko

  committed
  fade76f

  Copy full SHA for fade76f

• Fixing a corner case crash.

  alanminko

  committed
  48d09e7

  Copy full SHA for 48d09e7

Commits on Nov 21, 2025

• Update to "lutexact".

  alanminko

  committed
  bde60f2

  Copy full SHA for bde60f2

• Dumping partial products as an AIG.

  alanminko

  committed
  4bba035

  Copy full SHA for 4bba035

• Updating how history is recorded.

  alanminko

  committed
  d72b93c

  Copy full SHA for d72b93c

• Fixing timeout in kissat.

  alanminko

  committed
  6aaca6a

  Copy full SHA for 6aaca6a

Commits on Nov 20, 2025

• Updated to "lutexact".

  alanminko

  committed
  51c5ff3

  Copy full SHA for 51c5ff3

Commits on Nov 19, 2025

• Improving print-outs.

  alanminko

  committed
  6490bd7

  Copy full SHA for 6490bd7

• New command "print_npn".

  alanminko

  committed
  bb52782

  Copy full SHA for bb52782

• Adding permutation printout in "lutexact".

  alanminko

  committed
  8c27e4b

  Copy full SHA for 8c27e4b

Commits on Nov 18, 2025

• Renaming "read_dsd" into "read_function".

  alanminko

  committed
  281204f

  Copy full SHA for 281204f

• Updating LUT cascade generation to support flexible inputs.

  alanminko

  committed
  d821926

  Copy full SHA for d821926

• Experiments with LUT mapping.

  alanminko

  committed
  3092826

  Copy full SHA for 3092826

• Addressing platform-dependent computations in the CUDD package.

  alanminko

  committed
  b319f57

  Copy full SHA for b319f57

Commits on Nov 13, 2025

• Fixing another non-reproducibility issue.

  alanminko

  committed
  6f5c466

  Copy full SHA for 6f5c466

• Fixing a non-reproducibility issue in "lutmin".

  alanminko

  committed
  6534475

  Copy full SHA for 6534475

• Fixing a valgrind warning.

  alanminko

  committed
  b1c73c1

  Copy full SHA for b1c73c1

Commits on Nov 12, 2025

• Adding command line option of &symfun.

  alanminko

  committed
  5ade9e9

  Copy full SHA for 5ade9e9

• New command &symfun.

  alanminko

  committed
  28f4ad8

  Copy full SHA for 28f4ad8

• Updating .gitignore

  alanminko

  committed
  9e90e60

  Copy full SHA for 9e90e60

• Experiments with exact synthesis.

  alanminko

  committed
  ec70146

  Copy full SHA for ec70146

• Experiments with exact synthesis.

  alanminko

  committed
  3bd528c

  Copy full SHA for 3bd528c

Commits on Nov 11, 2025

• Adding support for Kissat in "lutexact".

  alanminko

  committed
  38c2bec

  Copy full SHA for 38c2bec

Pagination

Previous

Next