summaryrefslogtreecommitdiffstats
path: root/src/base/cmd
Commit message (Collapse)AuthorAgeFilesLines
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
|
* load_plugin: remove a comment that became redundant and cleaned up a bitBaruch Sterin2015-11-101-7/+2
|
* load_plugin: remove a check that the binary exists when a plugin command ↵Baruch Sterin2015-11-101-6/+0
| | | | runs - the registration was successful, so the binary should exist. The check was remove to allow the -p option for load_plugin to work.
* Add a -p option to load_plugin, given this option, the command does not ↵Baruch Sterin2015-11-071-31/+84
| | | | require an absolute path for theplugin. Instead, the shell searches PATH for it.
* Adding new command 'abcrc' to load "abc.rc" on demand.Alan Mishchenko2015-03-101-5/+25
|
* Compiler warnings.Alan Mishchenko2015-02-191-0/+1
|
* Propagating changes after updating flag of 'sop'.Alan Mishchenko2015-02-191-3/+3
|
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-3/+3
|
* Changes to history recording and other small things.Alan Mishchenko2014-11-301-1/+1
|
* Changes to history recording and other small things.Alan Mishchenko2014-11-301-0/+2
|
* Added check if a given command exists.Alan Mishchenko2014-11-182-0/+17
|
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-0/+8
|
* Deriving AIG after cell mapping.Alan Mishchenko2014-10-031-1/+28
|
* Improvements to bit-blaster.Alan Mishchenko2014-09-301-2/+3
|
* Command to rename files in the same directory.Alan Mishchenko2014-09-281-0/+191
|
* Debugging the bit-blaster.Alan Mishchenko2014-09-231-1/+1
|
* Concurrency for Boolean matching.Alan Mishchenko2014-09-181-1/+1
|
* Adding barrier buffers.Alan Mishchenko2014-03-161-2/+2
|
* Patching ABC for Yosys.Alan Mishchenko2013-11-271-2/+4
|
* Patching ABC for Yosys.Alan Mishchenko2013-11-273-45/+103
|
* Compiler warnings.Alan Mishchenko2013-10-301-1/+1
|
* Code for parsing the transcripts.Alan Mishchenko2013-08-021-0/+18
|
* Code for parsing the transcripts.Alan Mishchenko2013-07-301-0/+124
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-272-5/+5
|
* Changing command 'history' to have simpler interface.Alan Mishchenko2013-05-181-28/+11
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-4/+1
|
* 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
|