summaryrefslogtreecommitdiffstats
path: root/src/base/cmd/cmdPlugin.c
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-071-3/+3
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-3/+3
* 64-bit portability changes.Alan Mishchenko2011-09-171-2/+2
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-2/+0
* 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
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-6/+4
* 1. Replace system() with a function that responds to SIGINT. 2. Add functions...Baruch Sterin2011-02-011-13/+10
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-0/+629