summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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-143-363/+1
|
* 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-091-0/+1
|
* Improvements to LMS code.Alan Mishchenko2012-11-063-7/+24
|
* Fixing out-of-bound problem when collecting GIA nodes.Alan Mishchenko2012-11-022-7/+17
|
* Changing default parameter in &if.Alan Mishchenko2012-11-021-1/+1
|
* MergeNiklas Een2012-10-309-357/+901
|\
| * Improvements to LMS code.Alan Mishchenko2012-10-282-0/+34
| |
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-251-2/+2
| |
| * Added hierarchical BLIF output for mapping with LUT structures (write_blif ↵Alan Mishchenko2012-10-241-2/+3
| | | | | | | | -a -S <XYZ>).
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-241-19/+41
| |
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-244-328/+629
| |
| * Creating dedicated choice representation for GIA.Alan Mishchenko2012-10-245-21/+118
| |
| * Adding frontier comptuation based on reversed CO order in &ps.Alan Mishchenko2012-10-244-9/+59
| |
| * Fixing frontier computation in &ps.Alan Mishchenko2012-10-241-4/+43
| |
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-89/+88
|/
* Commenting out printout.Alan Mishchenko2012-10-101-2/+2
|
* Extending the default GIA writing buffer.Alan Mishchenko2012-10-091-1/+1
|
* Bug fix in reading AIGER with both signal names and extensions.Alan Mishchenko2012-10-081-79/+79
|
* C++ portability changes.Alan Mishchenko2012-10-032-3/+3
|
* Minor bug fixes.Alan Mishchenko2012-10-031-3/+8
|
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-0216-72/+64
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 15:39:12 +0000