Commits

History for

Commits on Nov 17, 2021

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

Commits on Oct 22, 2021

New logic optimization framework for Boolean methods (lsils#500 )
lee30sonia
authoredOct 22, 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 Aug 11, 2021

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

Commits on Jul 19, 2021

Updates to mapper (lsils#484 )
aletempiac
authoredJul 19, 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 May 18, 2021

Consistently linking all libraries with SYSTEM attribute (lsils#469 )
marcelwa
authoredMay 18, 2021
Update the interface of resynthesis engines (lsils#466 )
lee30sonia
authoredMay 18, 2021

Commits on May 5, 2021

Various minor fixes (lsils#458 )
hriener
authoredMay 5, 2021

Commits on Apr 27, 2021

Technology mapper and technology library generation (lsils#433 )
aletempiac
authoredApr 27, 2021

Commits on Apr 26, 2021

Updates in xag_resyn (lsils#450 )
lee30sonia
authoredApr 26, 2021

Commits on Apr 22, 2021

Update maple.hpp (lsils#448 )
b1f6c1c4
authoredApr 22, 2021

Commits on Apr 10, 2021

Exact AIG synthesis (lsils#440 )
hriener
authoredApr 10, 2021

Commits on Apr 8, 2021

Updated nlohmann::json to latest version 3.9.1 to resolve compiler issues with GCC 9 and 10 (lsils#438 )
marcelwa
authoredApr 8, 2021

Commits on Apr 7, 2021

Further improved compatibility with Alpine Linux (lsils#436 )
marcelwa
authoredApr 7, 2021

Commits on Mar 15, 2021

GENLIB support for reading PIN specifications. (lsils#429 )
hriener
authoredMar 15, 2021

Commits on Mar 12, 2021

AQFP optimization flow of the ASPDAC'21 paper (lsils#426 )

lee30sonia
and
aletempiac
authoredMar 12, 2021

Commits on Mar 8, 2021

XAG resynthesis engine (re-implementation of ABC's k-resub) (lsils#425 )
lee30sonia
authoredMar 8, 2021

Commits on Feb 23, 2021

GENLIB (lsils#421 )
hriener
authoredFeb 23, 2021

Commits on Feb 13, 2021

lorina update. (lsils#420 )
hriener
authoredFeb 13, 2021

Commits on Dec 31, 2020

MIG resynthesis engines (lsils#414 )
lee30sonia
authoredDec 31, 2020

Commits on Dec 16, 2020

Efficiency & correctness of using ODCs in resub (lsils#411 )
lee30sonia
authoredDec 16, 2020
updated bill to improve compatibility with Alpine Linux (lsils#410 )
marcelwa
authoredDec 16, 2020

Commits on Dec 7, 2020

Minor fixes (lsils#406 )
hriener
authoredDec 7, 2020
Use parallel_hashmap instead of sparsepp. (lsils#395 )
Bruno Schmitt
authoredDec 7, 2020

Commits on Nov 1, 2020

update libabcresub. (lsils#391 )
hriener
authoredNov 1, 2020

Commits on Oct 23, 2020

CMake: new flag to enable/disable matplotlib (and Python3 dependency). (lsils#388 )
hriener
authoredOct 23, 2020

Commits on Oct 19, 2020

Windowing (lsils#381 )
hriener
authoredOct 19, 2020
added matplotlib-cpp. (lsils#386 )
hriener
authoredOct 19, 2020

Commits on Oct 9, 2020

missing header.
hriener
committedOct 9, 2020

Commits on Sep 28, 2020

Functional reduction (lsils#380 )
lee30sonia
authoredSep 28, 2020

Commits on Jul 21, 2020

Simulation-guided Boolean resubstitution & unified resub framework (lsils#373 )
lee30sonia
authoredJul 21, 2020

Commits on Jun 12, 2020

Incremental CNF construction in circuit_validator (lsils#361 )
lee30sonia
authoredJun 12, 2020

Commits on Jun 3, 2020

Circuit validator (lsils#346 )
lee30sonia
authoredJun 3, 2020

Commits on May 17, 2020

Use pragma include guards. (lsils#348 )
msoeken
authoredMay 17, 2020