Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 12, 2025

• Reordered checks to see if abc_exp is defined and has been built.

  Anonymous-Stranger

  authored
  707336b

  Copy full SHA for 707336b

• Created script to collect evaluation data.

  Anonymous-Stranger

  committed
  28a4b39

  Copy full SHA for 28a4b39

• uncomment the assertion

  qinhant

  committed
  e299a89

  Copy full SHA for e299a89

• Wrote script to collect eval data.

  Anonymous-Stranger

  committed
  0b7879e

  Copy full SHA for 0b7879e

Commits on Feb 11, 2025

• added floating valid signal

  WWFUG

  committed
  3cdbdf0

  Copy full SHA for 3cdbdf0

Commits on Feb 10, 2025

• update scripts with new iterative predicate replacement option

  WWFUG

  committed
  602b994

  Copy full SHA for 602b994

Commits on Feb 5, 2025

• remove redundant scripts

  qinhant

  committed
  94b38dc

  Copy full SHA for 94b38dc

Commits on Feb 4, 2025

• Added support for modules with multiple lines of parameters.

  Anonymous-Stranger

  committed
  470b289

  Copy full SHA for 470b289

• remove debug modules from smallboom

  qinhant

  committed
  6c05fd1

  Copy full SHA for 6c05fd1

• add smallboom_miter

  qinhant

  committed
  072e3d5

  Copy full SHA for 072e3d5

Commits on Feb 3, 2025

• prove rocket

  qinhant

  committed
  70158dc

  Copy full SHA for 70158dc

• disable compress instruction in rocket

  qinhant

  committed
  7228eb9

  Copy full SHA for 7228eb9

• fix rocket testbench

  qinhant

  committed
  0850e13

  Copy full SHA for 0850e13

• fix small bugs in rocket miter

  qinhant

  committed
  c3ea8dd

  Copy full SHA for c3ea8dd

• add rocket miter

  qinhant

  committed
  9b325f3

  Copy full SHA for 9b325f3

Commits on Jan 27, 2025

• add sodor 5 stage

  qinhant

  committed
  4e5da58

  Copy full SHA for 4e5da58

• fix small bugs in sodor

  qinhant

  committed
  5f985ce

  Copy full SHA for 5f985ce

• add sodor

  qinhant

  committed
  83f1d3e

  Copy full SHA for 83f1d3e

Commits on Jan 19, 2025

• update abc_exp to the latest version

  WWFUG

  committed
  f702d4c

  Copy full SHA for f702d4c

Commits on Jan 8, 2025

• add invariant expand script

  qinhant

  committed
  ee39fa0

  Copy full SHA for ee39fa0

Commits on Dec 23, 2024

• fix small bugs in python scripts

  qinhant

  committed
  909083c

  Copy full SHA for 909083c

Commits on Dec 18, 2024

• Added a Dockerfile.

  Anonymous-Stranger

  committed
  bf7e248

  Copy full SHA for bf7e248

Commits on Dec 11, 2024

• debugging SE leakymul

  qinhant

  committed
  c2b9ece

  Copy full SHA for c2b9ece

Commits on Nov 26, 2024

• Added support for selecting which shortcut signals to create.

  Anonymous-Stranger

  committed
  f33b437

  Copy full SHA for f33b437

Commits on Nov 25, 2024

• add simulation script

  qinhant

  committed
  4848c01

  Copy full SHA for 4848c01

• change flop order in SE_leakymul

  qinhant

  committed
  a01008d

  Copy full SHA for a01008d

Commits on Nov 20, 2024

• add 2-round encryption SE

  qinhant

  committed
  2c17675

  Copy full SHA for 2c17675

Commits on Nov 16, 2024

• add fast_run_exp.sh

  qinhant

  committed
  a81e962

  Copy full SHA for a81e962

Commits on Nov 4, 2024

• add more output information

  qinhant

  committed
  b07a759

  Copy full SHA for b07a759

• output relation when transform to aig

  qinhant

  committed
  3360c43

  Copy full SHA for 3360c43

Commits on Oct 28, 2024

• add dump predicate flop numbers

  qinhant

  committed
  fab2ac4

  Copy full SHA for fab2ac4

Commits on Oct 18, 2024

• fix fast run

  qinhant

  committed
  9906975

  Copy full SHA for 9906975

Commits on Oct 17, 2024

• fix fast_run.sh

  qinhant

  committed
  b6cdef5

  Copy full SHA for b6cdef5

• add SE

  qinhant

  committed
  d950165

  Copy full SHA for d950165

• add miter script

  qinhant

  committed
  f79706d

  Copy full SHA for f79706d

Pagination

Previous

Next