luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4,314 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

4314 Commits

Author SHA1 Message Date
Alan Mishchenko e68c6c6281 Fix to prevent undefined behavior. 2018-05-19 12:22:08 +09:00
Alan Mishchenko d9e68f60c8 Bug fix in supporting signed multiplication in NDR. 2018-05-18 09:54:06 +09:00
Alan Mishchenko eb027885ee Supporting wide MUX in NDR. 2018-05-16 15:52:08 +09:00
Alan Mishchenko 03b17916f8 Bug fix in the naming of outputs in %blast -d. 2018-05-10 18:55:46 -07:00
Alan Mishchenko cd159976a1 Bug fix in &sat -x. 2018-05-07 20:01:15 -07:00
Alan Mishchenko ccf529695d Adding &sat -x to save CEXes for multi-output combinational miters. 2018-05-06 22:13:18 -07:00
Alan Mishchenko aa313189c4 Updates to NDR format (bug fixes). 2018-05-03 22:28:21 -07:00
Alan Mishchenko f23ea8e33f Updates to NDR format (flops, memories, signed mult, etc). 2018-04-29 15:14:01 -07:00
Alan Mishchenko 89c981c6ee The ECO code (fix to the broken build). 2018-04-28 18:58:23 -07:00
Alan Mishchenko fa00219d4c Adding switch &w -p to dump AIG in a Verilog file. 2018-04-25 16:58:29 -07:00
Alan Mishchenko f093aef867 The ECO code. 2018-04-25 13:19:41 -07:00
Alan Mishchenko cce9ff2113 The ECO code. 2018-04-25 13:01:36 -07:00
Alan Mishchenko 5d1abad84d Typo in the command description. 2018-04-25 11:59:34 -07:00
Alan Mishchenko 0e15e4dd15 Memory abstraction. 2018-04-20 16:06:13 -07:00
Alan Mishchenko 1c6655578c Memory abstraction. 2018-04-19 17:05:04 -07:00
Alan Mishchenko 098103012d Memory abstraction. 2018-04-15 21:23:22 -07:00
Alan Mishchenko 37504a492a Adding adder-subtractor primitive. 2018-04-11 19:08:53 -07:00
Alan Mishchenko a8f913f75a Making sure duplicated inverters are not created. 2018-04-11 18:33:00 -07:00
sterin a41a910864
Merge pull request #8 from sterin/master 
Travis: build with namespaces enabled
 2018-04-02 16:33:52 -07:00
Baruch Sterin dc4320d7d7 Travis: build with namespaces enabled, and 
make sure src/demo.c  can be compiled under C++ and with ABC in a namespace
 2018-04-02 15:30:58 -07:00
sterin 1fc200ffac
Merge pull request #7 from sterin/master 
Makefile: add support for ABC_USE_STDINT_H
 2018-03-30 01:04:05 -07:00
Baruch Sterin 9c78efbadf Makefile: add support for ABC_USE_STDINT_H 2018-03-30 01:03:04 -07:00
sterin 4a39f3265f
Merge pull request #2 from rqou/master 
Use C99 header stdint.h to determine platform-dependent types and macros
 2018-03-30 00:48:27 -07:00
Robert Ou 8d472cd55e Rename new flag to ABC_USE_STDINT_H 2018-03-29 19:08:24 -07:00
sterin d879336fad
Merge pull request #5 from sterin/master 
README: minor updates
 2018-03-29 13:40:16 -07:00
Baruch Sterin c5aebf6f2e README: minor updates 2018-03-29 13:38:46 -07:00
sterin 2fd7ba52ba
Merge pull request #1 from gpshead/patch-1 
point to github instead of bitbucket
 2018-03-29 13:32:07 -07:00
sterin 41eb4eafb8
Merge pull request #3 from kmurray/fix_cmake_libabc_dependency 
CMake: Ensure abc executable depends on libabc
 2018-03-29 13:27:48 -07:00
kmurray c3be5dc690 CMake: Ensure abc executable depends on libabc 
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.
 2018-03-28 13:42:24 -04:00
Robert Ou 40c8a398fd Add an option to use C99 stdint.h 
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.
 2018-03-26 22:45:07 -07:00
Gregory P. Smith ce4b3cf839
point to github instead of bitbucket 2018-03-26 15:31:36 -07:00
Alan Mishchenko a2d59be3f7 Integrating SAT-based CEX minimization (bug fix). 2018-03-25 18:19:06 -07:00
Alan Mishchenko e639e8fd1b Integrating SAT-based CEX minimization. 2018-03-25 16:46:09 -07:00
Alan Mishchenko c618cee66d Adding new NPN code (compiler fix). 2018-03-25 11:52:21 -07:00
Alan Mishchenko 54813798e9 Adding new NPN code (compiler fix). 2018-03-25 11:38:13 -07:00
Alan Mishchenko 9ff7134f24 Adding new NPN code developed by XueGong Zhou at Fudan University. 2018-03-25 11:28:56 -07:00
Alan Mishchenko a6d489e7d8 Updating &mfs to support hard objects. 2018-03-23 21:32:14 -07:00
Alan Mishchenko 53e7d1f9ef Adding switch 'scorr -f' to dump inductive invariant as an AIG. 2018-03-22 10:10:09 -07:00
Alan Mishchenko 69416b7ca1 Temporary bug fix for signal names in WLC (correction). 2018-03-21 20:52:36 -07:00
Alan Mishchenko d410faf85c Temporary bug fix for signal names in WLC. 2018-03-21 20:18:17 -07:00
Baruch Sterin c339c6f7f1 Continuos integration support of both Travis CI (Linux and macOS) and Appveyor (Windows) 2018-03-11 05:08:57 -07:00
Alan Mishchenko 3d16d44cff Bug fix in blasting with boxes. 2018-03-06 23:21:49 -08:00
Alan Mishchenko 48e128aa72 Extending primitives supported by WLC. 2018-03-03 17:57:30 -08:00
Alan Mishchenko f6b9cc013d Adding parameters and improvements to %blast. 2018-02-28 19:38:55 -08:00
Alan Mishchenko 7e9f3f027b Adding parameters and improvements to %blast. 2018-02-28 18:45:44 -08:00
Alan Mishchenko 33971604cf Adding support for adders with carry-in in WLC and NDR. 2018-02-24 09:50:24 -08:00
Alan Mishchenko fe56e29d44 Bug fix in NDR handling. 2018-02-20 16:56:52 -08:00
Alan Mishchenko 836f901fca Merge two branches. 2018-02-20 16:05:08 -08:00
Alan Mishchenko b2055bd637 Improvements to circuit based solver. 2018-02-20 16:00:58 -08:00
Bruno Schmitt eb4bee3e1d Small fix in satoko. 2018-02-20 20:31:39 +01:00