Commits

Branch selector

 master

User selector

hriener

All time

Commit History

Commits on Mar 4, 2022

• Update codeql.yml

  Show description for c4e50f0
  hriener

  authored
  c4e50f0

  Copy full SHA for c4e50f0

Commits on Feb 28, 2022

• codeql. (#537)

  hriener

  authored
  4f34bcf

  Copy full SHA for 4f34bcf

Commits on Jul 26, 2021

• Write aiger and preserve names (#486)

  Show description for 2e393c0
  hriener

  authored
  2e393c0

  Copy full SHA for 2e393c0

Commits on Jul 20, 2021

• bugfix: mockturtle logo. (#485)

  hriener

  authored
  af3de4c

  Copy full SHA for af3de4c

Commits on Jun 9, 2021

• Update README.md

  hriener

  authored
  1c4b064

  Copy full SHA for 1c4b064

• Update README.md

  Show description for d786b18
  hriener

  authored
  d786b18

  Copy full SHA for d786b18

Commits on May 28, 2021

• Minor fixes (#476)

  Show description for 372a1bd
  hriener

  authored
  372a1bd

  Copy full SHA for 372a1bd

Commits on May 21, 2021

• Update CI (#473)

  Show description for 07bf9e7
  hriener

  authored
  07bf9e7

  Copy full SHA for 07bf9e7

Commits on May 13, 2021

• Quality tests for MIGs and unit tests for XMG algebraic rewriting. (#465)

  Show description for 75380ce
  hriener

  authored
  75380ce

  Copy full SHA for 75380ce

Commits on May 12, 2021

• exclude from problematic C++ feature from Clang9. (#464)

  Show description for f18f90f
  hriener

  authored
  f18f90f

  Copy full SHA for f18f90f

• Various bugfixes (#459)

  Show description for ee1cf73
  hriener

  authored
  ee1cf73

  Copy full SHA for ee1cf73

Commits on May 8, 2021

• more test cases. (#461)

  hriener

  authored
  f6cb890

  Copy full SHA for f6cb890

Commits on May 7, 2021

• verilog. (#460)

  hriener

  authored
  592f62b

  Copy full SHA for 592f62b

Commits on May 5, 2021

• Various minor fixes (#458)

  Show description for c2d2337
  hriener

  authored
  c2d2337

  Copy full SHA for c2d2337

• node_map: minor fixes and test cases. (#457)

  Show description for 106a52c
  hriener

  authored
  106a52c

  Copy full SHA for 106a52c

Commits on Apr 29, 2021

• xag_npn: complete AIG and XAG databases. (#455)

  Show description for 672f7d9
  hriener

  authored
  672f7d9

  Copy full SHA for 672f7d9

Commits on Apr 27, 2021

• Minor fix in XAG resynthesis engine and test case. (#453)

  Show description for e9d27e0
  hriener

  authored
  e9d27e0

  Copy full SHA for e9d27e0

Commits on Apr 23, 2021

• Window rewriting (#449)

  Show description for 75178f9
  hriener

  authored
  75178f9

  Copy full SHA for 75178f9

Commits on Apr 21, 2021

• write_aiger. (#446)

  hriener

  authored
  6d00820

  Copy full SHA for 6d00820

Commits on Apr 19, 2021

• improved performance of window-rewriting. (#445)

  hriener

  authored
  07659e1

  Copy full SHA for 07659e1

Commits on Apr 18, 2021

• window_utils: improve performance by allocating `levels` once. (#444)

  hriener

  authored
  7767e79

  Copy full SHA for 7767e79

• Update interface.hpp

  Show description for 6fbb4bb
  hriener

  authored
  6fbb4bb

  Copy full SHA for 6fbb4bb

Commits on Apr 17, 2021

• window_rewriting.

  hriener

  committed
  1e71aa4

  Copy full SHA for 1e71aa4

Commits on Apr 16, 2021

• Window rewriting (#443)

  Show description for a87dc83
  hriener

  authored
  a87dc83

  Copy full SHA for a87dc83

Commits on Apr 11, 2021

• refactor xmgcost. (#441)

  hriener

  authored
  a49125a

  Copy full SHA for a49125a

Commits on Apr 10, 2021

• Exact AIG synthesis (#440)

  Show description for 730b16d
  hriener

  authored
  730b16d

  Copy full SHA for 730b16d

• Update README.md

  hriener

  authored
  6883431

  Copy full SHA for 6883431

• bugfix: resubstitution test case.

  hriener

  committed
  655f17d

  Copy full SHA for 655f17d

• remove unreachable code.

  hriener

  committed
  8a837fd

  Copy full SHA for 8a837fd

Commits on Apr 9, 2021

• Improve coverage of AIG resubstitution (#435)

  Show description for 24a0b27
  hriener

  authored
  24a0b27

  Copy full SHA for 24a0b27

Commits on Apr 6, 2021

• Update README.md

  hriener

  authored
  129741e

  Copy full SHA for 129741e

• Coverage analysis with codecov. (#434)

  Show description for 577a8b2
  hriener

  authored
  577a8b2

  Copy full SHA for 577a8b2

Commits on Mar 21, 2021

• quality tests for cached exact synthesis. (#431)

  hriener

  authored
  0b98f81

  Copy full SHA for 0b98f81

Commits on Mar 18, 2021

• refactory: replace NameMap with `names_view` in `aiger_reader`. (#430)

  hriener

  authored
  cd450cd

  Copy full SHA for cd450cd

Commits on Mar 15, 2021

• GENLIB support for reading PIN specifications. (#429)

  hriener

  authored
  d393d3f

  Copy full SHA for d393d3f

Pagination

Previous

Next