summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Collapse)AuthorAgeFilesLines
* Integrating hierarchy information (reporting incorrect topological order).Alan Mishchenko2013-02-203-13/+53
|
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-201-18/+54
|
* New command &cycle, which is faster than 'cycle'.Alan Mishchenko2013-02-192-0/+50
|
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-194-8/+299
|
* Integrating sweeping information.Alan Mishchenko2013-02-192-2/+59
|
* Integrating sweeping information.Alan Mishchenko2013-02-185-0/+348
|
* Integrating packing information.Alan Mishchenko2013-02-175-4/+427
|
* Integration of timing manager.Alan Mishchenko2013-02-063-0/+62
|
* Integration of timing manager.Alan Mishchenko2013-02-037-281/+596
|
* Integration of timing manager.Alan Mishchenko2013-02-014-13/+137
|
* Integration of timing manager.Alan Mishchenko2013-01-303-0/+144
|
* 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 ↵Alan Mishchenko2013-01-301-6/+6
| | | | unsigned long long.
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-251-2/+2
|
* Added switch &trim -V <num> to remove const POs with specific value <num>.Alan Mishchenko2013-01-252-4/+24
|
* Integration of timing manager.Alan Mishchenko2013-01-234-8/+64
|
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
|
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-2/+0
|
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+2
|
* 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
|
* Technology mapper.Alan Mishchenko2013-01-081-0/+1
|
* Technology mapper.Alan Mishchenko2013-01-081-0/+1368
|
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-151-16/+33
|
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-131-1/+16
|
* 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
|
* Unifification of custom extensions.Alan Mishchenko2012-12-108-1078/+741
|
* Renaming If_Lut_t into If_LibLut_t.Alan Mishchenko2012-12-101-6/+6
|
* Corner-case bug fix in &rpm.Alan Mishchenko2012-12-091-9/+24
|
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-1/+1
|
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-094-4/+290
|
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-082-10/+17
|
* Restoring correct behavior of 'tempor' after a change in counting BMC frames ↵Alan Mishchenko2012-12-071-1/+1
| | | | in 'bmc2'.
* Enabling additional stat printouts.Alan Mishchenko2012-12-021-1/+0
|
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-012-0/+33
|
* Counter-example analysis and optimization.Alan Mishchenko2012-11-282-0/+20
|
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-152-3/+6
|
* Added switch 'cexcut -n' to generate only one bad state.Alan Mishchenko2012-11-151-0/+2
|
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-3/+3
|
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-142-0/+54
|
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-1/+1
|
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-1410-3771/+3
|
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-126-10/+10
|
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-125-4/+32
|
* Performance bug fix in choice generation.Alan Mishchenko2012-11-092-1/+15
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 04:50:32 +0000