summaryrefslogtreecommitdiffstats
path: root/src/base/cmd
Commit message (Collapse)AuthorAgeFilesLines
* Misc changes.Alan Mishchenko2013-03-071-2/+2
|
* Unifification of custom extensions.Alan Mishchenko2012-12-101-2/+2
|
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵Niklas Een2012-10-301-50/+57
| | | | Fixed printf -> Abc_Print in some places.
* Added command 'starter' to call ABC concurrently.Alan Mishchenko2012-10-022-4/+4
|
* Added command 'starter' to call ABC concurrently.Alan Mishchenko2012-10-022-31/+85
|
* Added command 'starter' to call ABC concurrently.Alan Mishchenko2012-10-025-5/+304
|
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-1/+1
|
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-296-40/+40
|
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-2/+4
|
* Improved printout of command history.Alan Mishchenko2012-08-273-2/+28
|
* Compiler warnings.Alan Mishchenko2012-08-261-1/+1
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-251-1/+6
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-252-12/+9
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-253-5/+12
|
* Compiler warnings.Alan Mishchenko2012-08-241-1/+1
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-243-27/+60
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-244-20/+78
|
* 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 ↵Alan Mishchenko2011-04-171-1/+83
| | | | numbers.
* 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 ↵Baruch Sterin2011-02-013-18/+17
| | | | functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 20:54:19 +0000