summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* New APIs of the truth table package.Alan Mishchenko2018-09-211-0/+28
|
* Hash table profiling.Alan Mishchenko2018-09-081-0/+14
|
* Expriments with functions (bug fixes).Alan Mishchenko2018-09-071-1/+1
|
* Updating command 'majgen'.Alan Mishchenko2018-07-041-13/+15
|
* Updating command 'majgen'.Alan Mishchenko2018-07-041-72/+21
|
* Adding command 'majgen'.Alan Mishchenko2018-07-045-0/+523
|
* Path enumeration using SAT.Alan Mishchenko2018-06-201-0/+84
|
* Experiments with path enumeration.Alan Mishchenko2018-06-101-5/+413
|
* Experiments with path enumeration.Alan Mishchenko2018-06-062-0/+116
|
* Simple BDD package.Alan Mishchenko2018-05-231-0/+395
|
* Simple BDD package.Alan Mishchenko2018-05-231-0/+1
|
* Fix to prevent undefined behavior.Alan Mishchenko2018-05-191-2/+2
|
* Rename new flag to ABC_USE_STDINT_HRobert Ou2018-03-292-7/+7
|
* Add an option to use C99 stdint.hRobert Ou2018-03-262-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 Mishchenko2018-03-231-0/+30
|
* C++ comaptibility: add namespace support to GlucoseBaruch Sterin2017-11-231-0/+6
|
* Supporting XOR in EQN parser.Alan Mishchenko2017-11-031-2/+9
|
* Another variation on exact synthesis.Alan Mishchenko2017-10-111-1/+1
|
* Improvements to truth table manipulation.Alan Mishchenko2017-10-051-98/+37
|
* Updates and bug fixes.Alan Mishchenko2017-10-041-0/+3
|
* Addressing recently reported Bitbucket Issue #72 and #73.Alan Mishchenko2017-10-031-5/+5
|
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-8/+32
|
* Exact synthesis of majority gates.Alan Mishchenko2017-10-011-1/+214
|
* Maintenance and updates.Alan Mishchenko2017-09-181-0/+82
|
* bridge relates: (1) fix netlist reader to read the latest version written by ↵Baruch Sterin2017-09-151-0/+11
| | | | ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages
* Handling corner cases in TT print-out.Alan Mishchenko2017-07-211-0/+4
|
* Using arch macro for moderns compilersBruno Schmitt2017-07-041-5/+5
|
* Compiler warnings.Alan Mishchenko2017-04-281-4/+4
|
* Compiler warnings.Alan Mishchenko2017-04-282-4/+4
|
* Experiments with support minimization.Alan Mishchenko2017-04-272-4/+4
|
* Logic restructuring after mapping.Alan Mishchenko2017-04-191-1/+8
|
* Logic restruturing after mapping.Alan Mishchenko2017-04-171-1/+45
|
* Experiments with hashing.Alan Mishchenko2017-04-111-0/+135
|
* Experiments with hashing.Alan Mishchenko2017-04-102-3/+23
|
* Experiments with hashing.Alan Mishchenko2017-04-081-1/+18
|
* Bug fix in hashing.Alan Mishchenko2017-03-311-1/+5
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-201-0/+2
|
* Experiments with SAT sweeping.Alan Mishchenko2017-02-181-0/+16
|
* Movinng custom floating-point implementations, etc.Alan Mishchenko2017-02-113-0/+450
|
* Improving CEX minimization.Alan Mishchenko2017-02-101-7/+18
|
* Autotuner for 'satoko'.Alan Mishchenko2017-02-081-22/+32
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-151-0/+12
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-142-0/+35
|
* Compiler warnings.Alan Mishchenko2017-01-011-1/+1
|
* Compiler warnings.Alan Mishchenko2016-12-312-4/+4
|
* New SAT-based optimization package.Alan Mishchenko2016-11-261-0/+28
|
* New SAT-based optimization package.Alan Mishchenko2016-11-191-0/+8
|
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-161-0/+2
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-0/+27
|
* Suggested bug fix in st__strhash().Alan Mishchenko2016-04-301-7/+6
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:16:47 +0000