summaryrefslogtreecommitdiffstats
path: root/src/base/cmd
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2022-07-043-6/+92
|\
| * 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
| |
* | Merge remote-tracking branch 'upstream/master' into yosys-experimentalMiodrag Milanovic2021-11-121-1/+2
|\|
| * Preventing command history from being overwritten by internal scripts.Alan Mishchenko2021-01-091-1/+2
| |
* | Add support for WASI platform in Gia_ManGnuplotShow.whitequark2020-05-011-0/+4
| |
* | Add support for WASI platform in cmdCheckShellEscape.whitequark2020-05-011-1/+4
|/ | | | | Since cmdCheckShellEscape doesn't actually report failure in any way, this code simulates a situation where system() never succeeds.
* 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, ↵Alan Mishchenko2019-03-051-2/+2
| | | | memcpy, etc.
* 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 ↵Alan Mishchenko2017-02-111-3/+3
| | | | &satoko -i.
* 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 ↵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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 22:16:48 +0000