Commits

Commits on Nov 25, 2021

Merge remote-tracking branch 'upstream/master'
lee30sonia
committedNov 25, 2021
exclude some code for clang 10 (lsils#515 )
lee30sonia
authoredNov 25, 2021

Commits on Nov 22, 2021

Aqfp synthesis updates (lsils#508 )
mdsudara
authoredNov 22, 2021

Commits on Nov 18, 2021

remove 2020 files
lee30sonia
committedNov 18, 2021
restore CIs
lee30sonia
committedNov 18, 2021
update upstream
lee30sonia
committedNov 18, 2021

Commits on Nov 17, 2021

Several I/O-related updates (lsils#506 )
lee30sonia
authoredNov 17, 2021

Commits on Nov 6, 2021

klut to AIG/XAG/MIG (lsils#502 )

costamag
and
lee30sonia
authoredNov 6, 2021
Fix errors and warning (lsils#505 )
lee30sonia
authoredNov 6, 2021
Update Window Resynthesis (lsils#503 )

Nozidoali
and
lee30sonia
authoredNov 6, 2021
Static parameter objects & custom cost function (lsils#504 )
lee30sonia
authoredNov 6, 2021

Commits on Oct 22, 2021

Update Catch2 (lsils#501 )
lee30sonia
authoredOct 22, 2021
New logic optimization framework for Boolean methods (lsils#500 )
lee30sonia
authoredOct 22, 2021

Commits on Oct 21, 2021

Update coverage.yml
lee30sonia
authoredOct 21, 2021

Commits on Oct 6, 2021

GENLIB library: changed function definition according to the standard (Boolean formulas) (lsils#499 )
aletempiac
authoredOct 6, 2021

Commits on Oct 1, 2021

Utility functions to recover network names after optimization (lsils#497 )
marcelwa
authoredOct 1, 2021

Commits on Sep 28, 2021

incomplete node map (lsils#494 )
lee30sonia
authoredSep 28, 2021

Commits on Sep 20, 2021

Various minor fixes (lsils#493 )
lee30sonia
authoredSep 20, 2021

Commits on Aug 29, 2021

Updates to mapper (lsils#492 )
aletempiac
authoredAug 29, 2021

Commits on Aug 12, 2021

Mapping fixes and documentation (lsils#490 )
aletempiac
authoredAug 12, 2021

Commits on Aug 11, 2021

Updates to mapper (lsils#489 )
aletempiac
authoredAug 11, 2021

Commits on Aug 10, 2021

Update documentation (lsils#487 )
lee30sonia
authoredAug 10, 2021
C++ CWG DR 2237 fix (lsils#488 )
b1f6c1c4
authoredAug 10, 2021

Commits on Jul 26, 2021

Write aiger and preserve names (lsils#486 )
hriener
authoredJul 26, 2021

Commits on Jul 20, 2021

bugfix: mockturtle logo. (lsils#485 )
hriener
authoredJul 20, 2021

Commits on Jul 19, 2021

Updates to mapper (lsils#484 )
aletempiac
authoredJul 19, 2021

Commits on Jul 7, 2021

AQFP buffer optimization based on chunked movement (lsils#483 )
lee30sonia
authoredJul 7, 2021

Commits on Jun 28, 2021

fix window-based resub (lsils#482 )
lee30sonia
authoredJun 28, 2021

Commits on Jun 15, 2021

buffer_insertion: AQFP buffer insertion and verification + buffered_network data structure and I/O (lsils#478 )
lee30sonia
authoredJun 15, 2021

Commits on Jun 9, 2021

Update README.md
hriener
authoredJun 9, 2021
Update README.md
hriener
authoredJun 9, 2021

Commits on Jun 1, 2021

Fixed internal compiler error when compiling with gcc (lsils#477 )
marcelwa
authoredJun 1, 2021

Commits on May 28, 2021

Minor fixes (lsils#476 )
hriener
authoredMay 28, 2021

Commits on May 25, 2021

Aletempiac/tech mapper (lsils#474 )
aletempiac
authoredMay 25, 2021

Commits on May 21, 2021

Code simplifications and additional functionality for kLUT network (lsils#471 )
marcelwa
authoredMay 21, 2021