summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-074-7/+13
|
* Misc changes.Alan Mishchenko2013-03-071-5/+14
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-12/+14
|
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-055-38/+82
|
* User-controlable SAT sweeper.Alan Mishchenko2013-03-042-79/+94
|
* User-controlable SAT sweeper.Alan Mishchenko2013-03-032-6/+62
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-272-6/+69
|
* User-controlable SAT sweeper and other small changes.Alan Mishchenko2013-02-273-16/+197
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-272-2/+56
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-7/+7
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-262-62/+82
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+6
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-18/+29
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+8
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+6
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-2/+12
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+2
|
* 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
|
* 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
|