summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-8/+6
* New cut-based refinement.Alan Mishchenko2012-08-064-0/+562
* 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-066-0/+1267
* 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
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-2/+2
* Scalable gate-level abstraction.Alan Mishchenko2012-08-023-10/+31
* Scalable gate-level abstraction.Alan Mishchenko2012-08-021-4/+84
* Scalable gate-level abstraction.Alan Mishchenko2012-08-022-38/+119
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 17:35:26 +0000