| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Preventing command history from being overwritten by internal scripts. | Alan Mishchenko | 2021-01-09 | 1 | -1/+2 |
| * | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 1 | -1/+1 |
| * | Adding limit on the depth of recursion when counting exact area in 'amap'. | Alan Mishchenko | 2019-10-26 | 1 | -5/+5 |
| * | Add special handling of script-level assertions. | Alan Mishchenko | 2019-03-20 | 1 | -2/+98 |
| * | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,... | Alan Mishchenko | 2019-03-05 | 1 | -2/+2 |
| * | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 1 | -1/+1 |
| * | Suggested fix: close file. | Alan Mishchenko | 2018-10-16 | 1 | -1/+2 |
| * | New commands for backing up networks. | Alan Mishchenko | 2017-08-04 | 1 | -6/+0 |
| * | Saturating floating point computation. | Alan Mishchenko | 2017-07-01 | 1 | -1/+1 |
| * | Macro to prevent writing history file. | Alan Mishchenko | 2017-03-02 | 1 | -3/+5 |
| * | Adding APIs to mark cones. Creating test-bench for incremental solving &satok... | Alan Mishchenko | 2017-02-11 | 1 | -3/+3 |
| * | Updates to the autotuner. | Alan Mishchenko | 2017-02-10 | 1 | -23/+186 |
| * | Word-level abstraction. | Alan Mishchenko | 2017-02-09 | 1 | -2/+2 |
| * | Editing output messages. | Alan Mishchenko | 2017-02-08 | 1 | -3/+3 |
| * | Editing output messages. | Alan Mishchenko | 2017-02-08 | 1 | -3/+3 |
| * | Compiler warning. | Alan Mishchenko | 2017-02-08 | 1 | -7/+6 |
| * | Autotuner for 'satoko'. | Alan Mishchenko | 2017-02-08 | 3 | -0/+637 |
| * | Change suggested by Udi Finkelstein. | Alan Mishchenko | 2017-01-09 | 2 | -40/+2 |
| * | Enabling AIGs without structural hashing. | Alan Mishchenko | 2016-05-20 | 1 | -1/+1 |
| * | load_plugin: remove a comment that became redundant and cleaned up a bit | Baruch Sterin | 2015-11-10 | 1 | -7/+2 |
| * | load_plugin: remove a check that the binary exists when a plugin command runs... | Baruch Sterin | 2015-11-10 | 1 | -6/+0 |
| * | Add a -p option to load_plugin, given this option, the command does not requi... | Baruch Sterin | 2015-11-07 | 1 | -31/+84 |
| * | Adding new command 'abcrc' to load "abc.rc" on demand. | Alan Mishchenko | 2015-03-10 | 1 | -5/+25 |
| * | Compiler warnings. | Alan Mishchenko | 2015-02-19 | 1 | -0/+1 |
| * | Propagating changes after updating flag of 'sop'. | Alan Mishchenko | 2015-02-19 | 1 | -3/+3 |
| * | Adding resource limit switch -C to 'sop'. | Alan Mishchenko | 2015-02-11 | 1 | -3/+3 |
| * | Changes to history recording and other small things. | Alan Mishchenko | 2014-11-30 | 1 | -1/+1 |
| * | Changes to history recording and other small things. | Alan Mishchenko | 2014-11-30 | 1 | -0/+2 |
| * | Added check if a given command exists. | Alan Mishchenko | 2014-11-18 | 2 | -0/+17 |
| * | Preparing to work with C++ code. | Alan Mishchenko | 2014-10-21 | 1 | -0/+8 |
| * | Deriving AIG after cell mapping. | Alan Mishchenko | 2014-10-03 | 1 | -1/+28 |
| * | Improvements to bit-blaster. | Alan Mishchenko | 2014-09-30 | 1 | -2/+3 |
| * | Command to rename files in the same directory. | Alan Mishchenko | 2014-09-28 | 1 | -0/+191 |
| * | Debugging the bit-blaster. | Alan Mishchenko | 2014-09-23 | 1 | -1/+1 |
| * | Concurrency for Boolean matching. | Alan Mishchenko | 2014-09-18 | 1 | -1/+1 |
| * | Adding barrier buffers. | Alan Mishchenko | 2014-03-16 | 1 | -2/+2 |
| * | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 1 | -2/+4 |
| * | Patching ABC for Yosys. | Alan Mishchenko | 2013-11-27 | 3 | -45/+103 |
| * | Compiler warnings. | Alan Mishchenko | 2013-10-30 | 1 | -1/+1 |
| * | Code for parsing the transcripts. | Alan Mishchenko | 2013-08-02 | 1 | -0/+18 |
| * | Code for parsing the transcripts. | Alan Mishchenko | 2013-07-30 | 1 | -0/+124 |
| * | Adding a wrapper around clock() for more accurate time counting in ABC. | Alan Mishchenko | 2013-05-27 | 2 | -5/+5 |
| * | Changing command 'history' to have simpler interface. | Alan Mishchenko | 2013-05-18 | 1 | -28/+11 |
| * | Making changes suggested by Mark Jarvin. | Alan Mishchenko | 2013-05-04 | 1 | -4/+1 |
| * | Misc changes. | Alan Mishchenko | 2013-03-07 | 1 | -2/+2 |
| * | Unifification of custom extensions. | Alan Mishchenko | 2012-12-10 | 1 | -2/+2 |
| * | Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe... | Niklas Een | 2012-10-30 | 1 | -50/+57 |
| * | Added command 'starter' to call ABC concurrently. | Alan Mishchenko | 2012-10-02 | 2 | -4/+4 |
| * | Added command 'starter' to call ABC concurrently. | Alan Mishchenko | 2012-10-02 | 2 | -31/+85 |
| * | Added command 'starter' to call ABC concurrently. | Alan Mishchenko | 2012-10-02 | 5 | -5/+304 |
