Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Various changes. | Alan Mishchenko | 2021-10-22 | 1 | -15/+15 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-30 | 1 | -4/+44 |
| | |||||
* | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 1 | -1/+6 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-26 | 2 | -0/+104 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-21 | 3 | -1/+103 |
| | |||||
* | Improving MiniAIG and name manager. | Alan Mishchenko | 2021-09-16 | 2 | -0/+41 |
| | |||||
* | Various changes. | Alan Mishchenko | 2021-09-02 | 2 | -0/+8 |
| | |||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-02 | 1 | -1/+55 |
| | |||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-01 | 1 | -1/+1 |
| | |||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-01 | 1 | -25/+42 |
| | |||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-06-19 | 1 | -0/+49 |
| | |||||
* | Experiments with simulation. | Alan Mishchenko | 2020-12-30 | 1 | -0/+12 |
| | |||||
* | Experimental resubstitution. | Alan Mishchenko | 2020-05-03 | 1 | -0/+146 |
| | |||||
* | Various changes. | Alan Mishchenko | 2020-03-29 | 1 | -0/+6 |
| | |||||
* | Various changes. | Alan Mishchenko | 2020-03-28 | 1 | -0/+10 |
| | |||||
* | Experiments with simulation-based engines. | Alan Mishchenko | 2020-03-25 | 1 | -0/+17 |
| | |||||
* | Experiments with simulation-based engines. | Alan Mishchenko | 2020-03-22 | 1 | -0/+10 |
| | |||||
* | 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 | 1 | -0/+7 |
| | |||||
* | Adding several new utilities. | Alan Mishchenko | 2020-01-27 | 1 | -0/+102 |
| | |||||
* | Adding macro to disable bridge output and APIs by popular demand. | Alan Mishchenko | 2019-11-09 | 1 | -10/+85 |
| | |||||
* | Updating command 'symfun' to generate symmetric functions and their NPN classes. | Alan Mishchenko | 2019-05-30 | 1 | -1/+26 |
| | |||||
* | Fixing some more warnings by adding cast from 'int' to 'size_t'. | Alan Mishchenko | 2019-03-05 | 2 | -20/+20 |
| | |||||
* | 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 | 3 | -9/+9 |
| | | | | memcpy, etc. | ||||
* | Procedure to trasnsform counter-examples. | Alan Mishchenko | 2019-01-15 | 1 | -3/+3 |
| | |||||
* | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 1 | -1/+1 |
| | |||||
* | Various usability changes (second round). | Alan Mishchenko | 2018-11-20 | 1 | -0/+3 |
| | |||||
* | New APIs of the truth table package. | Alan Mishchenko | 2018-09-21 | 1 | -0/+28 |
| | |||||
* | Adding command 'majgen'. | Alan Mishchenko | 2018-07-04 | 1 | -0/+69 |
| | |||||
* | 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 |
| | |||||
* | Another variation on exact synthesis. | Alan Mishchenko | 2017-10-11 | 1 | -1/+1 |
| | |||||
* | Improvements to truth table manipulation. | Alan Mishchenko | 2017-10-05 | 1 | -98/+37 |
| | |||||
* | Updates and bug fixes. | Alan Mishchenko | 2017-10-04 | 1 | -0/+3 |
| | |||||
* | Addressing recently reported Bitbucket Issue #72 and #73. | Alan Mishchenko | 2017-10-03 | 1 | -5/+5 |
| | |||||
* | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -8/+32 |
| | |||||
* | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -1/+214 |
| | |||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-18 | 1 | -0/+82 |
| | |||||
* | bridge relates: (1) fix netlist reader to read the latest version written by ↵ | Baruch Sterin | 2017-09-15 | 1 | -0/+11 |
| | | | | ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages | ||||
* | Using arch macro for moderns compilers | Bruno Schmitt | 2017-07-04 | 1 | -5/+5 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-04-28 | 1 | -3/+3 |
| | |||||
* | Logic restructuring after mapping. | Alan Mishchenko | 2017-04-19 | 1 | -1/+8 |
| | |||||
* | Logic restruturing after mapping. | Alan Mishchenko | 2017-04-17 | 1 | -1/+45 |
| | |||||
* | Experiments with hashing. | Alan Mishchenko | 2017-04-10 | 2 | -3/+23 |
| | |||||
* | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 1 | -0/+16 |
| | |||||
* | Movinng custom floating-point implementations, etc. | Alan Mishchenko | 2017-02-11 | 3 | -0/+450 |
| | |||||
* | Improving CEX minimization. | Alan Mishchenko | 2017-02-10 | 1 | -7/+18 |
| |