summaryrefslogtreecommitdiffstats
path: root/src/base/cmd
Commit message (Expand)AuthorAgeFilesLines
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
* Suggested fix: close file.Alan Mishchenko2018-10-161-1/+2
* New commands for backing up networks.Alan Mishchenko2017-08-041-6/+0
* Saturating floating point computation.Alan Mishchenko2017-07-011-1/+1
* Macro to prevent writing history file.Alan Mishchenko2017-03-021-3/+5
* Adding APIs to mark cones. Creating test-bench for incremental solving &satok...Alan Mishchenko2017-02-111-3/+3
* Updates to the autotuner.Alan Mishchenko2017-02-101-23/+186
* Word-level abstraction.Alan Mishchenko2017-02-091-2/+2
* Editing output messages.Alan Mishchenko2017-02-081-3/+3
* Editing output messages.Alan Mishchenko2017-02-081-3/+3
* Compiler warning.Alan Mishchenko2017-02-081-7/+6
* Autotuner for 'satoko'.Alan Mishchenko2017-02-083-0/+637
* Change suggested by Udi Finkelstein.Alan Mishchenko2017-01-092-40/+2
* 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 runs...Baruch Sterin2015-11-101-6/+0
* Add a -p option to load_plugin, given this option, the command does not requi...Baruch Sterin2015-11-071-31/+84
* 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. Fixe...Niklas Een2012-10-301-50/+57
* 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