summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcTim.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-3/+3
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-041-1/+1
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-3/+112
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-171-0/+3
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-3/+3
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-151-4/+49
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-131-110/+87
* Unifification of custom extensions.Alan Mishchenko2012-12-101-3/+3
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-121-0/+87
* C++ portability changes.Alan Mishchenko2012-10-031-2/+2
* Testing GIA with time manager.Alan Mishchenko2012-09-241-3/+3
* Testing GIA with time manager.Alan Mishchenko2012-09-231-0/+416