summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* 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-082-9/+109
* New unrolling manager.Alan Mishchenko2012-12-243-3/+463
* Improvements to DSD manager.Alan Mishchenko2012-12-152-48/+175
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-154-25/+133
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-138-129/+170
* Unifification of custom extensions.Alan Mishchenko2012-12-131-1/+1
* Unifification of custom extensions.Alan Mishchenko2012-12-131-2/+2
* Unifification of custom extensions.Alan Mishchenko2012-12-131-3/+3
* Unifification of custom extensions.Alan Mishchenko2012-12-131-14/+14
* Improvements to DSD manager.Alan Mishchenko2012-12-113-44/+79
* Improvements to DSD manager.Alan Mishchenko2012-12-101-19/+21
* Improvements to DSD manager.Alan Mishchenko2012-12-101-185/+93
* Improvements to DSD manager.Alan Mishchenko2012-12-101-134/+46
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-102-0/+62
* Unifification of custom extensions.Alan Mishchenko2012-12-1026-1147/+809
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-101-2/+0
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-1014-77/+76
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:02:01 +0000