summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Bug fix: abstraction commands not properly updating status when dumping inter...Alan Mishchenko2012-08-286-3/+6
* Added precomputation of TFO ordering for incremental network updates.Alan Mishchenko2012-08-273-0/+118
* Added printout of library cells.Alan Mishchenko2012-08-277-57/+286
* Improved printout of command history.Alan Mishchenko2012-08-274-2/+31
* Added features 'map -M <float>' to control the use of large gates.Alan Mishchenko2012-08-277-23/+76
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-271-8/+8
* Bug fix in &gla.Alan Mishchenko2012-08-274-5/+25
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-265-169/+267
* Select for mapping smallest-area gates for each functionality.Alan Mishchenko2012-08-261-49/+16
* Compiler warnings.Alan Mishchenko2012-08-263-3/+3
* Added switch '&gla -m' to dump original miter with the abstraction map.Alan Mishchenko2012-08-263-18/+31
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-256-211/+863
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-251-1/+6
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-252-12/+9
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-254-60/+110
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-253-5/+12
* Several improvements to command 'testnpn'.Alan Mishchenko2012-08-253-44/+58
* Compiler warnings.Alan Mishchenko2012-08-242-2/+2
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-2412-1/+1244
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-245-28/+62
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-246-28/+80
* Changed command 'sim' to work with a miter by default (replace 'sim -m' by 's...Alan Mishchenko2012-08-241-1/+1
* Added simulation of comb circuits with user-specified patterns in command 'sim'.Alan Mishchenko2012-08-248-140/+206
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-235-9/+111
* Compiler warnings.Alan Mishchenko2012-08-111-0/+4
* Fixing undesirable effect of recent refinement code on older code in &gla -n.Alan Mishchenko2012-08-114-5/+7
* Enabling -S <num> for &gla to not check the first <num> frames.Alan Mishchenko2012-08-102-19/+226
* Fixing problem with max limit on the number of abstracted objects in &gla.Alan Mishchenko2012-08-102-23/+16
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-102-7/+49
* Improved abstraction refinement.Alan Mishchenko2012-08-092-2/+5
* Improved abstraction refinement.Alan Mishchenko2012-08-094-21/+29
* Compiler warnings.Alan Mishchenko2012-08-091-1/+2
* Compiler warnings.Alan Mishchenko2012-08-093-17/+18
* Compiler warnings.Alan Mishchenko2012-08-093-17/+14
* Compiler warnings.Alan Mishchenko2012-08-091-2/+2
* Compiler warnings.Alan Mishchenko2012-08-093-3/+3
* Improved abstraction refinement.Alan Mishchenko2012-08-094-44/+491
* New semi-canonical form computation package.Alan Mishchenko2012-08-081-0/+94
* New cut-based refinement.Alan Mishchenko2012-08-081-2/+198
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-081-1/+1
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-086-93/+263
* Fixing an interger overflow problem in constructing the variable interaction ...Alan Mishchenko2012-08-081-2/+2
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-0/+4
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-086-13/+337
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-082-11/+32
* New semi-canonical form computation package.Alan Mishchenko2012-08-072-1/+5
* New semi-canonical form computation package.Alan Mishchenko2012-08-072-2/+127
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-2/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-1/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-1/+1