summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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, andBaruch Sterin2018-04-022-8/+34
* | Merge pull request #7 from sterin/mastersterin2018-03-301-1/+7
|\|
| * Makefile: add support for ABC_USE_STDINT_HBaruch Sterin2018-03-301-1/+7
|/
* Merge pull request #2 from rqou/mastersterin2018-03-302-0/+56
|\
| * 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
* | Merge pull request #5 from sterin/mastersterin2018-03-291-4/+2
|\ \
| * | 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 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 libabckmurray2018-03-281-4/+6
|/
* 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 Appveyo...Baruch Sterin2018-03-113-1/+69
* 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 (bu...Alan Mishchenko2018-01-291-18/+76
* 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
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-271-31/+38
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-272-130/+165
* Experiments with circuit-based SAT.Alan Mishchenko2018-01-276-5/+1309
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-20 19:55:44 +0000