summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Memory abstraction.Alan Mishchenko2018-04-194-154/+284
|
* Memory abstraction.Alan Mishchenko2018-04-159-84/+1090
|
* Adding adder-subtractor primitive.Alan Mishchenko2018-04-111-1/+3
|
* Making sure duplicated inverters are not created.Alan Mishchenko2018-04-111-3/+9
|
* Merge pull request #8 from sterin/mastersterin2018-04-022-8/+34
|\ | | | | Travis: build with namespaces enabled
| * Travis: build with namespaces enabled, andBaruch Sterin2018-04-022-8/+34
| | | | | | | | make sure src/demo.c can be compiled under C++ and with ABC in a namespace
* | Merge pull request #7 from sterin/mastersterin2018-03-301-1/+7
|\| | | | | Makefile: add support for ABC_USE_STDINT_H
| * Makefile: add support for ABC_USE_STDINT_HBaruch Sterin2018-03-301-1/+7
|/
* Merge pull request #2 from rqou/mastersterin2018-03-302-0/+56
|\ | | | | Use C99 header stdint.h to determine platform-dependent types and macros
| * 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.
* | Merge pull request #5 from sterin/mastersterin2018-03-291-4/+2
|\ \ | | | | | | README: minor updates
| * | README: minor updatesBaruch Sterin2018-03-291-4/+2
|/ /
* | Merge pull request #1 from gpshead/patch-1sterin2018-03-291-1/+1
|\ \ | | | | | | point to github instead of bitbucket
| * | point to github instead of bitbucketGregory P. Smith2018-03-261-1/+1
| |/
* | Merge pull request #3 from kmurray/fix_cmake_libabc_dependencysterin2018-03-291-4/+6
|\ \ | |/ |/| CMake: Ensure abc executable depends on libabc
| * CMake: Ensure abc executable depends on libabckmurray2018-03-281-4/+6
|/ | | | | | | This ensures that libabc is built only once. Previously the code for libabc was being built twice: once for the abc executable target, and again for the libabc target.
* Integrating SAT-based CEX minimization (bug fix).Alan Mishchenko2018-03-253-11/+11
|
* Integrating SAT-based CEX minimization.Alan Mishchenko2018-03-254-10/+145
|
* Adding new NPN code (compiler fix).Alan Mishchenko2018-03-251-9/+9
|
* Adding new NPN code (compiler fix).Alan Mishchenko2018-03-251-1/+1
|
* Adding new NPN code developed by XueGong Zhou at Fudan University.Alan Mishchenko2018-03-254-144/+1098
|
* Updating &mfs to support hard objects.Alan Mishchenko2018-03-232-2/+55
|
* Adding switch 'scorr -f' to dump inductive invariant as an AIG.Alan Mishchenko2018-03-227-20/+36
|
* Temporary bug fix for signal names in WLC (correction).Alan Mishchenko2018-03-211-2/+5
|
* Temporary bug fix for signal names in WLC.Alan Mishchenko2018-03-211-0/+2
|
* Continuos integration support of both Travis CI (Linux and macOS) and ↵Baruch Sterin2018-03-113-1/+69
| | | | Appveyor (Windows)
* Bug fix in blasting with boxes.Alan Mishchenko2018-03-061-1/+1
|
* Extending primitives supported by WLC.Alan Mishchenko2018-03-033-5/+85
|
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-286-1/+20
|
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-2813-101/+319
|
* Adding support for adders with carry-in in WLC and NDR.Alan Mishchenko2018-02-245-5/+113
|
* Bug fix in NDR handling.Alan Mishchenko2018-02-201-6/+38
|
* Merge two branches.Alan Mishchenko2018-02-201-33/+81
|\
| * Improvements to circuit based solver.Alan Mishchenko2018-02-201-33/+81
| |
* | Small fix in satoko.Bruno Schmitt2018-02-202-3/+1
|/
* Compilation problem with pow().Alan Mishchenko2018-02-194-7/+7
|
* Improvements to circuit based solver.Alan Mishchenko2018-02-171-193/+490
|
* Extending MiniLUT to return attributes.Alan Mishchenko2018-02-112-0/+20
|
* Experiments with LUT mapping.Alan Mishchenko2018-02-103-14/+65
|
* Fixing input swapping issue in MUXes derived from NDR.Alan Mishchenko2018-02-072-0/+4
|
* Suggested fix to compile on FreeBSD.Alan Mishchenko2018-02-051-2/+11
|
* Improvements to NDR to represent hierarchical designs.Alan Mishchenko2018-02-051-2/+2
|
* Improvements to NDR to represent hierarchical designs.Alan Mishchenko2018-02-052-3/+2
|
* Improvements to NDR to represent hierarchical designs.Alan Mishchenko2018-02-054-66/+219
|
* Suggested fix to compile on FreeBSD.Alan Mishchenko2018-02-041-1/+3
|
* Adding support of reading and writing designs using a new internal format ↵Alan Mishchenko2018-01-291-18/+76
| | | | (bug fix).
* Adding support of reading and writing designs using a new internal format.Alan Mishchenko2018-01-286-5/+368
|
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-26/+225
|
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-132/+94
|