summaryrefslogtreecommitdiffstats
path: root/src/misc/extra
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc71001Alan Mishchenko2007-10-0117-0/+14444
* Version abc70930Alan Mishchenko2007-09-3017-14444/+0
* Version abc70726Alan Mishchenko2007-07-261-7/+11
* Version abc70703Alan Mishchenko2007-07-032-1/+51
* Version abc70406Alan Mishchenko2007-04-061-0/+24
* Version abc70328Alan Mishchenko2007-03-283-17/+83
* Version abc70313Alan Mishchenko2007-03-131-0/+2
* Version abc70302Alan Mishchenko2007-03-022-3/+6
* Version abc70225Alan Mishchenko2007-02-252-1/+18
* Version abc70217Alan Mishchenko2007-02-174-0/+1385
* Version abc70206Alan Mishchenko2007-02-061-0/+4
* Version abc70121Alan Mishchenko2007-01-212-0/+222
* Version abc70110Alan Mishchenko2007-01-103-35/+53
* Version abc61206Alan Mishchenko2006-12-062-59/+0
* Version abc60823Alan Mishchenko2006-08-231-1/+1
* Version abc60822Alan Mishchenko2006-08-222-2/+93
* Version abc60812Alan Mishchenko2006-08-123-83/+26
* Version abc60803Alan Mishchenko2006-08-031-1/+1
* Version abc60723Alan Mishchenko2006-07-232-2/+122
* Version abc60701Alan Mishchenko2006-07-013-3/+3