summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Integrating sweeping information.Alan Mishchenko2013-02-188-6/+488
* Integrating packing information.Alan Mishchenko2013-02-175-4/+427
* Added 'gap timeout' to pdr.Alan Mishchenko2013-02-163-43/+61
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-162-0/+2
* Added 'gap timeout' to bmc3 and sim3.Alan Mishchenko2013-02-156-25/+86
* Fixing performance problem in 'cone -s'Alan Mishchenko2013-02-133-10/+46
* Integration of timing manager.Alan Mishchenko2013-02-063-0/+62
* Integration of timing manager.Alan Mishchenko2013-02-0310-284/+678
* Corner-case bug fix in PDR.Alan Mishchenko2013-02-011-1/+1
* Integration of timing manager.Alan Mishchenko2013-02-015-13/+138
* Added switch 'zeropo -s' to skip comb sweep after removing a PO.Alan Mishchenko2013-02-012-5/+12
* pyabc: allow returning large result from sub processesBaruch Sterin2013-01-302-11/+83
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-311-4/+4
* Integration of timing manager.Alan Mishchenko2013-01-304-0/+146
* Added a fix for the writing an AIG that is not normalized.Alan Mishchenko2013-01-301-1/+1
* Fixing compilation problems on Linux-32 related to constants of type unsigned...Alan Mishchenko2013-01-3025-340/+346
* pyabc: fix _cex_put to not call Abc_CexDup() twiceBaruch Sterin2013-01-251-20/+20
* pyabc: deal better with null counter examples and remove special case handlingBaruch Sterin2013-01-251-19/+7
* Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1.Alan Mishchenko2013-01-251-0/+19
* Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current ...Alan Mishchenko2013-01-253-2/+42
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-2/+2
* Fixed a corner-case when 'sim3 -a' does not work for costant POs.Alan Mishchenko2013-01-252-5/+32
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-254-8/+41
* Extending verification status file format to allow for SAT status without CEX.Alan Mishchenko2013-01-251-4/+15
* Integration of timing manager.Alan Mishchenko2013-01-251-3/+10
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-232-28/+26
* Integration of timing manager.Alan Mishchenko2013-01-234-8/+64
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-239-44/+103
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-234-24/+62
* Integration of timing manager.Alan Mishchenko2013-01-231-2/+4
* Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() form...Alan Mishchenko2013-01-082-31/+162
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-087-11/+13
* Fixing C++ compilation issues.Alan Mishchenko2013-01-086-6/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-3/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-9/+9
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-2/+2
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-3/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* Technology mapper.Alan Mishchenko2013-01-081-0/+1
* Adding support of flops to the conversion of MiniAIG into ABC network.Alan Mishchenko2013-01-082-0/+127
* Technology mapper.Alan Mishchenko2013-01-082-0/+1621
* Technology mapper.Alan Mishchenko2013-01-083-9/+117
* New unrolling manager.Alan Mishchenko2012-12-244-3/+467
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 10:17:36 +0000