summaryrefslogtreecommitdiffstats
path: root/src/base/cmd
Commit message (Expand)AuthorAgeFilesLines
* Allow for skipping structural hashing when reading GIA from file.Alan Mishchenko2012-07-251-1/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-079-19/+19
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Added warning when a command is missingAlan Mishchenko2012-06-151-0/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-162-3/+5
* Major restructuring of the code.Alan Mishchenko2012-01-2110-23/+23
* completely silence the "source" command when the -s option is givenBaruch Sterin2011-10-241-1/+1
* 64-bit portability changes.Alan Mishchenko2011-09-171-2/+2
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-2/+0
* Printing out the path/name of the resource file that is being sourced.Alan Mishchenko2011-07-021-0/+7
* Added new options to testcex.Alan Mishchenko2011-04-281-1/+1
* Commented out debug messages.Alan Mishchenko2011-04-261-2/+2
* Added support for AIG returned in the output file.Alan Mishchenko2011-04-241-8/+34
* Changes to incorporate AIG parsing in memory and user-specified PI/PO/FF numb...Alan Mishchenko2011-04-171-1/+83
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-272-1/+4
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-6/+4
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-132-2/+2
* 1. Replace system() with a function that responds to SIGINT. 2. Add functions...Baruch Sterin2011-02-013-18/+17
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-1/+1
* initial commit of public abcAlan Mishchenko2010-11-0111-88/+1008
* Version abc90310Alan Mishchenko2009-03-101-0/+67
* Version abc90217Alan Mishchenko2009-02-171-3/+11
* Version abc90215Alan Mishchenko2009-02-156-54/+44
* Version abc90118Alan Mishchenko2009-01-182-4/+5
* Version abc81004Alan Mishchenko2008-10-042-2/+31
* Version abc80705Alan Mishchenko2008-07-053-6/+42
* Version abc80702Alan Mishchenko2008-07-021-1/+3
* Version abc80508Alan Mishchenko2008-05-081-1/+1
* Version abc80313Alan Mishchenko2008-03-131-2/+17
* Version abc80307Alan Mishchenko2008-03-072-7/+7
* Version abc80222Alan Mishchenko2008-02-221-1/+1
* Version abc80207Alan Mishchenko2008-02-071-13/+241
* Version abc80130_2Alan Mishchenko2008-01-308-103/+334
* Version abc80130Alan Mishchenko2008-01-308-334/+103
* Version abc71001Alan Mishchenko2007-10-019-0/+2868
* Version abc70930Alan Mishchenko2007-09-309-2868/+0
* Version abc70706Alan Mishchenko2007-07-061-1/+1
* Version abc70330Alan Mishchenko2007-03-301-0/+6
* Version abc70225Alan Mishchenko2007-02-251-3/+3
* Version abc70219Alan Mishchenko2007-02-191-3/+3
* Version abc70209Alan Mishchenko2007-02-091-3/+3
* Version abc70110Alan Mishchenko2007-01-101-12/+11
* Version abc60822Alan Mishchenko2006-08-221-3/+3
* Version abc60419Alan Mishchenko2006-04-191-0/+8
* Version abc60412Alan Mishchenko2006-04-121-3/+3
* Version abc60407Alan Mishchenko2006-04-071-0/+200
* Version abc60303Alan Mishchenko2006-03-032-4/+12
* Version abc60220Alan Mishchenko2006-02-206-74/+73
* Version abc60211Alan Mishchenko2006-02-111-2/+2
* Version abc51222Alan Mishchenko2005-12-222-1/+12