| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Duplicating Glucose package. | Alan Mishchenko | 2020-11-12 | 1 | -0/+3 |
| * | Improving MFFC computation code. | Alan Mishchenko | 2020-09-17 | 3 | -3/+6 |
| * | Adding new utility procedures. | Alan Mishchenko | 2020-05-11 | 3 | -0/+10 |
| * | Make use of setrlimit conditional on ABC_NO_RLIMIT. | whitequark | 2020-04-30 | 1 | -2/+2 |
| * | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 1 | -1/+1 |
| * | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 1 | -1/+1 |
| * | Adding commands to generate data for experiments. | Alan Mishchenko | 2020-02-22 | 1 | -0/+4 |
| * | Adding commands 'save' and 'load' for mapped networks. | Alan Mishchenko | 2020-01-03 | 1 | -0/+7 |
| * | Undoing some recent changes for improved CEX writing. | Alan Mishchenko | 2019-01-21 | 3 | -7/+0 |
| * | Fixing the problem with outputting word-level CEXes after retiming. | Alan Mishchenko | 2019-01-17 | 3 | -0/+7 |
| * | Experiments with retiming (adding new APIs). | Alan Mishchenko | 2018-12-09 | 4 | -2/+17 |
| * | fix: header <malloc.h> is depreciated | Nathan Zhou | 2018-11-30 | 1 | -1/+1 |
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -7/+7 |
| * | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -1/+39 |
| * | Procedure to return seq equivalences. | Alan Mishchenko | 2018-07-22 | 1 | -0/+3 |
| * | Adding parameters and improvements to %blast. | Alan Mishchenko | 2018-02-28 | 4 | -0/+7 |
| * | Extending MiniLUT to return attributes. | Alan Mishchenko | 2018-02-11 | 1 | -0/+1 |
| * | Portability changes for gcc-6 suggested by Clifford. | Alan Mishchenko | 2017-12-03 | 1 | -5/+0 |
| * | Portability changes for gcc-6 suggested by Clifford. | Alan Mishchenko | 2017-12-02 | 1 | -2/+2 |
| * | Portability changes for gcc-6 suggested by Clifford. | Alan Mishchenko | 2017-12-02 | 1 | -1/+6 |
| * | Adding API to dump MiniAIG into a Verilog file and other small changes. | Alan Mishchenko | 2017-10-22 | 4 | -1/+9 |
| * | Adding Glucose 3.0 as a separate package. | Alan Mishchenko | 2017-09-06 | 1 | -0/+4 |
| * | Integrating Satoko into 'bmc' and 'bmc2'. | Alan Mishchenko | 2017-08-16 | 1 | -2/+2 |
| * | add a new field to the ABC Frame. The new field is a callback that may be cal... | Baruch Sterin | 2017-08-09 | 1 | -0/+4 |
| * | New commands for backing up networks. | Alan Mishchenko | 2017-08-04 | 2 | -0/+7 |
| * | Experiments with logic optimization. | Alan Mishchenko | 2017-07-21 | 1 | -0/+3 |
| * | Synchronizing various data-structures. | Alan Mishchenko | 2017-07-04 | 2 | -0/+10 |
| * | removed unnecessary declaration | Heinz Riener | 2017-03-03 | 1 | -1/+0 |
| * | added missing ABC_NAMESPACE_HEADER | Heinz Riener | 2017-03-03 | 1 | -0/+4 |
| * | Moving global declarations into 'abcapi.h' and moving it into 'main' package. | Alan Mishchenko | 2017-03-02 | 4 | -6/+190 |
| * | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-24 | 2 | -6/+0 |
| * | Compiler warnings. | Alan Mishchenko | 2016-12-31 | 1 | -2/+2 |
| * | Parser for JSON format. | Alan Mishchenko | 2016-10-25 | 3 | -0/+12 |
| * | Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ... | Alan Mishchenko | 2016-01-14 | 3 | -0/+8 |
| * | New command %psinv. | Alan Mishchenko | 2015-11-23 | 3 | -2/+6 |
| * | main: add option -Q for execute command quietly, then interactive | Baruch Sterin | 2015-11-18 | 2 | -7/+15 |
| * | pyabc: remove python integration from abc, it is moved to a separate extension | Baruch Sterin | 2015-11-05 | 2 | -50/+0 |
| * | main: allow the -c -C -q -f -F -s command line options to be repeated and the... | Baruch Sterin | 2015-11-05 | 1 | -12/+40 |
| * | make sure all of ABC and related libraries are in the same namespace (when co... | Baruch Sterin | 2015-10-16 | 1 | -2/+8 |
| * | New constraint manager and memory reporting 'ps'. | Alan Mishchenko | 2015-09-08 | 1 | -0/+1 |
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 2 | -2/+2 |
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 2 | -4/+13 |
| * | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-31 | 1 | -0/+1 |
| * | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -0/+4 |
| * | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-18 | 2 | -0/+5 |
| * | Modifications to read SMTLIB file from stdin. | Alan Mishchenko | 2015-02-18 | 1 | -16/+1 |
| * | Modifications to read SMTLIB file from stdin. | Alan Mishchenko | 2015-02-11 | 1 | -2/+31 |
| * | New parser and framework. | Alan Mishchenko | 2014-11-29 | 2 | -0/+5 |
| * | Changes to enable building external code. | Alan Mishchenko | 2014-10-28 | 3 | -32/+2 |
| * | Changes to enable building external code. | Alan Mishchenko | 2014-10-27 | 3 | -378/+376 |
