summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* 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-2410-0/+1215
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-244-28/+61
* 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
* 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-092-2/+2
* 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-085-93/+259
* 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-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-071-1/+1
* 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
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-8/+6
* New cut-based refinement.Alan Mishchenko2012-08-063-0/+554
* Scalable gate-level abstraction.Alan Mishchenko2012-08-062-0/+9
* Changing the default value '&gla -n' to the opposite.Alan Mishchenko2012-08-061-0/+3
* New semi-canonical form computation package.Alan Mishchenko2012-08-065-0/+1247
* Scalable gate-level abstraction.Alan Mishchenko2012-08-063-2/+15
* Changing the default value '&gla -n' to the opposite.Alan Mishchenko2012-08-061-1/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-041-108/+1
* Scalable gate-level abstraction.Alan Mishchenko2012-08-033-6/+24
* Scalable gate-level abstraction.Alan Mishchenko2012-08-031-2/+3
* Scalable gate-level abstraction.Alan Mishchenko2012-08-034-22/+51
* Scalable gate-level abstraction.Alan Mishchenko2012-08-024-17/+23
* Scalable gate-level abstraction.Alan Mishchenko2012-08-023-4/+10