summaryrefslogtreecommitdiffstats
path: root/src/misc/extra
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-0/+19
|
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-294-116/+116
|
* Modified 'read' to read all types of libraries (genlib, liberty, scl).Alan Mishchenko2012-09-201-1/+1
|
* Fixing mismatch between declaration of the output value of Extra_CpuTime.Alan Mishchenko2012-09-181-1/+1
|
* Several minor changes.Alan Mishchenko2012-09-031-0/+41
|
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-232-4/+86
|
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-082-1/+2
|
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-1/+1
|
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-201-8/+16
|
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-192-0/+291
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-074-6/+6
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-076-13/+11
|
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-071-2/+8
|
* Added/moved several APIs.Alan Mishchenko2012-04-102-9/+16
|
* Added several new APIs.Alan Mishchenko2012-03-311-0/+1
|
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-302-2/+36
|
* Added new procedures to read files.Alan Mishchenko2012-03-112-1/+52
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-162-2/+2
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-162-3/+6
|
* Major restructuring of the code.Alan Mishchenko2012-01-2114-332/+334
|
* Added utility to sort lines in a file alphabetically.Alan Mishchenko2011-12-171-0/+97
|
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-312-7/+7
|
* Changes to Boolean matching.Alan Mishchenko2011-09-241-0/+35
|
* Fixed minor issues having to do with the number of BDD vars used.Alan Mishchenko2011-09-181-3/+0
|
* Fixing bugs in the new procedures added to the library.Alan Mishchenko2011-03-052-16/+39
|
* Adding new procedures to the library.Alan Mishchenko2011-03-052-0/+202
|
* Improved timeout in the BDD reachability engines.Alan Mishchenko2011-02-131-0/+5
|
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-131-1/+1
|
* Yet another update to the runtime control in BDD operations.Alan Mishchenko2011-02-072-4/+193
|
* Added handling runtime limit inside And and AndExist.Alan Mishchenko2011-02-073-0/+478
|
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-012-0/+143
|
* initial commit of public abcAlan Mishchenko2010-11-0117-356/+490
|
* Version abc90315Alan Mishchenko2009-03-152-1/+2
|
* Version abc90215Alan Mishchenko2009-02-1514-238/+180
|
* Version abc90118Alan Mishchenko2009-01-183-13/+28
|
* Version abc81004Alan Mishchenko2008-10-041-12/+24
|
* Version abc80718Alan Mishchenko2008-07-181-1/+1
|
* Version abc80717Alan Mishchenko2008-07-171-0/+2
|
* Version abc80702Alan Mishchenko2008-07-0211-50/+57
|
* Version abc80515Alan Mishchenko2008-05-151-15/+4
|
* Version abc80507Alan Mishchenko2008-05-071-0/+1
|
* Version abc80430Alan Mishchenko2008-04-304-0/+1211
|
* Version abc80402Alan Mishchenko2008-04-021-11/+9
|
* Version abc80326Alan Mishchenko2008-03-261-1/+1
|
* Version abc80307Alan Mishchenko2008-03-072-3/+20
|
* Version abc80305Alan Mishchenko2008-03-051-16/+28
|
* Version abc80301Alan Mishchenko2008-03-012-0/+25
|
* Version abc80130_2Alan Mishchenko2008-01-3017-98/+7667
|
* Version abc80130Alan Mishchenko2008-01-3017-7667/+98
|
* Version abc71130Alan Mishchenko2007-11-301-1/+27
|