summaryrefslogtreecommitdiffstats
path: root/src/base/cmd
Commit message (Expand)AuthorAgeFilesLines
* Making command &kissat not look for the binary in the current dir.Alan Mishchenko2022-06-231-2/+9
* Integrated Kissat, by Armin Biere, as an external binary.Alan Mishchenko2022-06-021-0/+78
* Adding switch to dsd_match to skip small functions.Alan Mishchenko2022-05-181-1/+1
* Similar changes suggested in other places.Alan Mishchenko2022-02-181-4/+4
* Suggested change to prevent ABC from crashing when compiled on Windows.Alan Mishchenko2022-02-181-1/+2
* Preventing command history from being overwritten by internal scripts.Alan Mishchenko2021-01-091-1/+2
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-1/+1
* Adding limit on the depth of recursion when counting exact area in 'amap'.Alan Mishchenko2019-10-261-5/+5
* Add special handling of script-level assertions.Alan Mishchenko2019-03-201-2/+98
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-2/+2
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-26 02:36:49 +0000