summaryrefslogtreecommitdiffstats
path: root/src/misc/util
Commit message (Collapse)AuthorAgeFilesLines
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-052-20/+20
|
* Fixing several other type conversion warnings.Alan Mishchenko2019-03-051-8/+8
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-053-9/+9
| | | | memcpy, etc.
* Procedure to trasnsform counter-examples.Alan Mishchenko2019-01-151-3/+3
|
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
|
* Various usability changes (second round).Alan Mishchenko2018-11-201-0/+3
|
* New APIs of the truth table package.Alan Mishchenko2018-09-211-0/+28
|
* Adding command 'majgen'.Alan Mishchenko2018-07-041-0/+69
|
* 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
|
* 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
* Using arch macro for moderns compilersBruno Schmitt2017-07-041-5/+5
|
* Compiler warnings.Alan Mishchenko2017-04-281-3/+3
|
* 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-102-3/+23
|
* 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
|
* Compiler warnings.Alan Mishchenko2016-12-311-3/+3
|
* New SAT-based optimization package.Alan Mishchenko2016-11-261-0/+28
|
* New SAT-based optimization package.Alan Mishchenko2016-11-191-0/+8
|
* Compiler warning.Alan Mishchenko2015-12-161-7/+0
|
* add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using ↵Baruch Sterin2015-11-201-0/+3
| | | | decelaration when needed
* move namespace logic into a separate file. It is useful for users of ABC ↵Baruch Sterin2015-11-202-27/+56
| | | | that need to use symbols without the entire baggage of including abc_global.h
* Improvements to storing and reusing simulation info.Alan Mishchenko2015-11-052-2/+59
|
* pyabc: remove python integration from abc, it is moved to a separate extensionBaruch Sterin2015-11-051-4/+0
|
* Compiler warnings.Alan Mishchenko2015-10-251-14/+3
|
* Extending library handling to 8 inputs.Alan Mishchenko2015-10-251-5/+30
|
* Fix to the #include <stdlib.h> problem for Debug version on Window.Alan Mishchenko2015-10-161-8/+8
|
* make sure all of ABC and related libraries are in the same namespace (when ↵Baruch Sterin2015-10-161-0/+1
| | | | compiled with ABC_NAMESPACE) by removing extern "C" from function definitions
* Compiler warning.Alan Mishchenko2015-08-231-1/+1
|
* Experiments with mapping plus small changes.Alan Mishchenko2015-08-231-0/+69
|
* Improvements to Cba data-structure.Alan Mishchenko2015-08-091-6/+2
|
* Improvements to Cba data-structure.Alan Mishchenko2015-08-083-37/+78
|
* Adding resource limit switch -C to 'sop'.Alan Mishchenko2015-02-111-1/+1
|
* Major rehash of the CBA code.Alan Mishchenko2015-01-311-1/+1
|
* Preprocessing for multi-output PLA tables.Alan Mishchenko2015-01-312-0/+19
|
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-271-8/+19
|
* Exprimental features in tech-mapping.Alan Mishchenko2014-12-211-2/+16
|
* Adding new mapping feature.Alan Mishchenko2014-12-111-0/+266
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:35:52 +0000