summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
...
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-3/+25
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-15/+15
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+7
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+3
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-77/+139
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-11/+15
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-59/+91
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-71/+66
* User-controlable SAT sweeper.Alan Mishchenko2013-02-252-4/+399
* User-controlable SAT sweeper.Alan Mishchenko2013-02-253-1/+289
* Started PO partitioning command.Alan Mishchenko2013-02-251-0/+168
* Started PO partitioning command.Alan Mishchenko2013-02-242-0/+121
* Integrating sweeping information.Alan Mishchenko2013-02-232-5/+14
* Integrating sweeping information.Alan Mishchenko2013-02-237-33/+68
* K-hot STG encoding.Alan Mishchenko2013-02-232-10/+72
* K-hot STG encoding.Alan Mishchenko2013-02-231-1/+178
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-212-8/+41
* Compiler warnings.Alan Mishchenko2013-02-213-4/+5
* Integrating sweeping information.Alan Mishchenko2013-02-201-1/+1
* Integrating sweeping information.Alan Mishchenko2013-02-201-2/+2
* Integrating sweeping information.Alan Mishchenko2013-02-206-182/+56
* Integrating sweeping information.Alan Mishchenko2013-02-202-34/+25
* Integrating sweeping information.Alan Mishchenko2013-02-204-69/+139
* 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 unsigned...Alan Mishchenko2013-01-301-6/+6
* 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