Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Various changes. | Alan Mishchenko | 2020-03-21 | 1 | -0/+8 |
| | |||||
* | Downgrading random number generator to be not inlined. | Alan Mishchenko | 2020-03-18 | 2 | -24/+37 |
| | |||||
* | Updating and extending simulation data structures. | Alan Mishchenko | 2020-03-05 | 2 | -0/+14 |
| | |||||
* | Adding several new utilities. | Alan Mishchenko | 2020-01-27 | 2 | -0/+107 |
| | |||||
* | Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs. | Alan Mishchenko | 2020-01-07 | 1 | -1/+1 |
| | |||||
* | Adding macro to disable bridge output and APIs by popular demand. | Alan Mishchenko | 2019-11-09 | 2 | -10/+229 |
| | |||||
* | Adding switch to &if to consider special type of 6-input cuts. | Alan Mishchenko | 2019-09-26 | 1 | -0/+7 |
| | |||||
* | Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to ↵ | Alan Mishchenko | 2019-09-19 | 1 | -1/+1 |
| | | | | print delay profile. | ||||
* | Updating command 'symfun' to generate symmetric functions and their NPN classes. | Alan Mishchenko | 2019-05-30 | 1 | -1/+26 |
| | |||||
* | Changes to the interface of &cfs. | Alan Mishchenko | 2019-05-21 | 1 | -1/+1 |
| | |||||
* | Changes to the interface of &cfs. | Alan Mishchenko | 2019-05-15 | 1 | -1/+1 |
| | |||||
* | Modifying 'write_truth' to dump truth table in hex. | Alan Mishchenko | 2019-05-07 | 2 | -0/+19 |
| | |||||
* | Fix index of delay tables created by %blast. | Alan Mishchenko | 2019-04-16 | 1 | -1/+1 |
| | |||||
* | Extending generic simulation APIs. | Alan Mishchenko | 2019-04-09 | 1 | -1/+1 |
| | |||||
* | Extending simulation interface. | Alan Mishchenko | 2019-03-28 | 1 | -1/+1 |
| | |||||
* | Adding new command line args. | Alan Mishchenko | 2019-03-13 | 1 | -1/+1 |
| | |||||
* | Fixing some more warnings by adding cast from 'int' to 'size_t'. | Alan Mishchenko | 2019-03-05 | 15 | -73/+73 |
| | |||||
* | Fixing several other type conversion warnings. | Alan Mishchenko | 2019-03-05 | 1 | -8/+8 |
| | |||||
* | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵ | Alan Mishchenko | 2019-03-05 | 21 | -55/+55 |
| | | | | memcpy, etc. | ||||
* | Suggested white-space changes for fewer gcc warnings. | Alan Mishchenko | 2019-03-04 | 1 | -1/+3 |
| | |||||
* | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 2 | -2/+2 |
| | |||||
* | Adding new switch to simulation. | Alan Mishchenko | 2019-01-29 | 1 | -1/+1 |
| | |||||
* | Changing default parameter values in the AIG generation code. | Alan Mishchenko | 2019-01-18 | 1 | -1/+1 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | Procedure to trasnsform counter-examples. | Alan Mishchenko | 2019-01-15 | 1 | -3/+3 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-15 | 4 | -3/+121 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 1 | -0/+1 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-09 | 2 | -21/+66 |
| | |||||
* | Procedures to generate constant-argument multipliers. | Alan Mishchenko | 2019-01-08 | 2 | -0/+302 |
| | |||||
* | Experiments with retiming (adding new APIs). | Alan Mishchenko | 2018-12-09 | 1 | -0/+7 |
| | |||||
* | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 2 | -3/+3 |
| | |||||
* | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -0/+3 |
| | |||||
* | extraUtilPerm: Abc_ZddDiff. | Heinz Riener | 2018-10-21 | 1 | -1/+1 |
| | |||||
* | New APIs of the truth table package. | Alan Mishchenko | 2018-09-21 | 1 | -0/+28 |
| | |||||
* | Hash table profiling. | Alan Mishchenko | 2018-09-08 | 1 | -0/+14 |
| | |||||
* | Expriments with functions (bug fixes). | Alan Mishchenko | 2018-09-07 | 1 | -1/+1 |
| | |||||
* | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -13/+15 |
| | |||||
* | Updating command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -72/+21 |
| | |||||
* | Adding command 'majgen'. | Alan Mishchenko | 2018-07-04 | 5 | -0/+523 |
| | |||||
* | Path enumeration using SAT. | Alan Mishchenko | 2018-06-20 | 1 | -0/+84 |
| | |||||
* | Experiments with path enumeration. | Alan Mishchenko | 2018-06-10 | 1 | -5/+413 |
| | |||||
* | Experiments with path enumeration. | Alan Mishchenko | 2018-06-06 | 2 | -0/+116 |
| | |||||
* | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -0/+395 |
| | |||||
* | Simple BDD package. | Alan Mishchenko | 2018-05-23 | 1 | -0/+1 |
| | |||||
* | Fix to prevent undefined behavior. | Alan Mishchenko | 2018-05-19 | 1 | -2/+2 |
| | |||||
* | Rename new flag to ABC_USE_STDINT_H | Robert Ou | 2018-03-29 | 2 | -7/+7 |
| | |||||
* | Add an option to use C99 stdint.h | Robert Ou | 2018-03-26 | 2 | -0/+56 |
| | | | | | | | If ABC_HAVE_STDINT_H is defined, standard C99 headers will be used to define all of the platform-dependent types required. arch_flags will also no longer be required. This new define is optional and must be manually enabled by setting ARCHFLAGS. | ||||
* | Updating &mfs to support hard objects. | Alan Mishchenko | 2018-03-23 | 1 | -0/+30 |
| | |||||
* | C++ comaptibility: add namespace support to Glucose | Baruch Sterin | 2017-11-23 | 1 | -0/+6 |
| | |||||
* | Supporting XOR in EQN parser. | Alan Mishchenko | 2017-11-03 | 1 | -2/+9 |
| |