Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 26, 2021

• count containment when printing set table

  michalcohen

  committed
  2171273

  Copy full SHA for 2171273

• prep call to prove new property

  michalcohen

  committed
  58fc597

  Copy full SHA for 58fc597

• check containment return the contained set

  michalcohen

  committed
  7769f5f

  Copy full SHA for 7769f5f

• tide up

  michalcohen

  committed
  8d6701a

  Copy full SHA for 8d6701a

Commits on Dec 26, 2020

• prints stats about each clause we are trying to block

  michalcohen

  committed
  77a7b15

  Copy full SHA for 77a7b15

Commits on Dec 6, 2020

• states Table

  Show description for 344ed0b
  michalcohen

  committed
  344ed0b

  Copy full SHA for 344ed0b

Commits on Oct 25, 2020

• states Table

  michalcohen

  committed
  83c56a6

  Copy full SHA for 83c56a6

Commits on Oct 17, 2020

• first graph implementation

  michalcohen

  committed
  87a1c93

  Copy full SHA for 87a1c93

Commits on Oct 10, 2020

• Fixing a clang error related to 'unlink'.

  alanminko

  committed
  b2aa245

  Copy full SHA for b2aa245

Commits on Oct 2, 2020

• New command 'read_sf'.

  alanminko

  committed
  ada0731

  Copy full SHA for ada0731

Commits on Sep 30, 2020

• Bug fix in window output computation.

  alanminko

  committed
  f1eb933

  Copy full SHA for f1eb933

Commits on Sep 29, 2020

• Memory leaks.

  alanminko

  committed
  947eeb9

  Copy full SHA for 947eeb9

Commits on Sep 26, 2020

• Memory leaks.

  alanminko

  committed
  41c937e

  Copy full SHA for 41c937e

Commits on Sep 25, 2020

• Changing SAT sweepers (ifraig and &fraig) to be stronger by default.

  alanminko

  committed
  f21bafe

  Copy full SHA for f21bafe

Commits on Sep 21, 2020

• Improvement to reconv-driven windowing.

  alanminko

  committed
  55a67a1

  Copy full SHA for 55a67a1

Commits on Sep 19, 2020

• Performance bug in k-resub and faster windowing.

  alanminko

  committed
  d953425

  Copy full SHA for d953425

Commits on Sep 18, 2020

• Experiment with using MUXes in k-resub engine.

  alanminko

  committed
  55f4751

  Copy full SHA for 55f4751

Commits on Sep 17, 2020

• Compiler warnings.

  alanminko

  committed
  63fc01c

  Copy full SHA for 63fc01c

• Improving MFFC computation code.

  alanminko

  committed
  083c121

  Copy full SHA for 083c121

• Bug fixed in the resub code.

  alanminko

  committed
  fb769cf

  Copy full SHA for fb769cf

Commits on Sep 14, 2020

• Compiler warnings.

  alanminko

  committed
  bab462d

  Copy full SHA for bab462d

• Experiments with iterative synthesis.

  alanminko

  committed
  07bf95f

  Copy full SHA for 07bf95f

Commits on Sep 11, 2020

• Deleting unused info left by the SAT sweeper.

  alanminko

  committed
  a2c3c21

  Copy full SHA for a2c3c21

Commits on Sep 7, 2020

• Adding switch &cec -w to print SAT solver stats.

  alanminko

  committed
  d556ad6

  Copy full SHA for d556ad6

• Fixing a typo in setting the miter type.

  alanminko

  committed
  fe968e9

  Copy full SHA for fe968e9

• Verifying new resub code.

  alanminko

  committed
  8ef4404

  Copy full SHA for 8ef4404

Commits on Sep 3, 2020

• Experiments with ICCAD CAD benchmarks (Problem A).

  alanminko

  committed
  4b46462

  Copy full SHA for 4b46462

Commits on Aug 16, 2020

• Experiments with window computation.

  alanminko

  committed
  26e03ef

  Copy full SHA for 26e03ef

Commits on Aug 13, 2020

• Making &cec use precomputed simulation info.

  alanminko

  committed
  850d39f

  Copy full SHA for 850d39f

Commits on Aug 12, 2020

• Extending &sim_read to use non-64-divisible pattern counts.

  alanminko

  committed
  b74b7df

  Copy full SHA for b74b7df

Commits on Jul 30, 2020

• New ways of reading MiniAIG.

  alanminko

  committed
  5c8ee4a

  Copy full SHA for 5c8ee4a

• New ways of reading MiniAIG.

  alanminko

  committed
  aaeadb1

  Copy full SHA for aaeadb1

Commits on Jul 21, 2020

• Fixing new resub code.

  alanminko

  committed
  448f263

  Copy full SHA for 448f263

• Fixing new resub code.

  alanminko

  committed
  25538c2

  Copy full SHA for 25538c2

Commits on Jul 17, 2020

• Experiment with structural similarity.

  alanminko

  committed
  22d9b1d

  Copy full SHA for 22d9b1d

Pagination

Previous

Next