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
Alan Mishchenko
a6d489e7d8
Updating &mfs to support hard objects.
2018-03-23 21:32:14 -07:00
Baruch Sterin
7bcfe64369
C++ comaptibility: add namespace support to Glucose
2017-11-23 23:32:44 -08:00
Alan Mishchenko
f61b5d8c12
Supporting XOR in EQN parser.
2017-11-03 19:05:40 -07:00
Alan Mishchenko
711ea3dfec
Another variation on exact synthesis.
2017-10-11 18:07:35 +07:00
Alan Mishchenko
02972e53c2
Improvements to truth table manipulation.
2017-10-05 22:39:38 +03:00
Alan Mishchenko
396215532c
Updates and bug fixes.
2017-10-04 12:37:38 +03:00
Alan Mishchenko
21aa0ee0e8
Addressing recently reported Bitbucket Issue #72 and #73 .
2017-10-03 16:20:10 +03:00
Alan Mishchenko
ce8dbc4ac6
Exact synthesis of majority gates.
2017-10-01 18:40:30 +03:00
Alan Mishchenko
d3152aefa7
Exact synthesis of majority gates.
2017-10-01 18:00:09 +03:00
Alan Mishchenko
3a1032c151
Maintenance and updates.
2017-09-18 08:27:05 -07:00
Baruch Sterin
adce11979f
bridge relates: (1) fix netlist reader to read the latest version written by ZZ, (2) replace printf() with Abc_Print() in pdr so that it will not interfer with bridge messages
2017-09-15 23:28:57 -07:00
Alan Mishchenko
a5e9563a0f
Handling corner cases in TT print-out.
2017-07-21 14:10:46 +07:00
Bruno Schmitt
fcf82795cd
Using arch macro for moderns compilers
2017-07-04 12:52:24 +02:00
Alan Mishchenko
534ebbc7e5
Compiler warnings.
2017-04-28 10:49:56 -07:00
Alan Mishchenko
68faa04aff
Compiler warnings.
2017-04-28 09:46:10 -07:00
Alan Mishchenko
1faab72a6c
Experiments with support minimization.
2017-04-27 22:08:17 -07:00
Alan Mishchenko
7d15b00e13
Logic restructuring after mapping.
2017-04-19 22:51:19 -07:00
Alan Mishchenko
fb12c23ad5
Logic restruturing after mapping.
2017-04-17 17:50:10 -04:00
Alan Mishchenko
000e51f323
Experiments with hashing.
2017-04-11 18:23:09 -07:00
Alan Mishchenko
175b42b48f
Experiments with hashing.
2017-04-10 14:17:03 -07:00
Alan Mishchenko
fe3d334151
Experiments with hashing.
2017-04-08 18:37:32 -07:00
Alan Mishchenko
ecbb5c4d0c
Bug fix in hashing.
2017-03-31 07:51:02 -07:00
Alan Mishchenko
d92bfbaddc
Experiments with new network data-structure.
2017-03-20 23:45:03 -07:00
Alan Mishchenko
429f52ce15
Experiments with SAT sweeping.
2017-02-18 14:20:10 -08:00
Alan Mishchenko
45f4d6c7e8
Movinng custom floating-point implementations, etc.
2017-02-11 13:55:41 -08:00
Alan Mishchenko
f2d096c9f0
Improving CEX minimization.
2017-02-10 13:20:20 -08:00
Alan Mishchenko
77e2b1ff53
Autotuner for 'satoko'.
2017-02-08 18:57:16 -08:00
Alan Mishchenko
153b71c140
Updates to arithmetic verification.
2017-01-15 20:59:59 +07:00
Alan Mishchenko
1b86911c4f
Updates to arithmetic verification.
2017-01-14 20:28:26 +07:00
Alan Mishchenko
278c00242f
Compiler warnings.
2017-01-01 00:33:06 +07:00
Alan Mishchenko
3f2899d6ea
Compiler warnings.
2016-12-31 22:00:26 +07:00
Alan Mishchenko
6b55bf0205
New SAT-based optimization package.
2016-11-26 14:28:12 -08:00
Alan Mishchenko
a703052bc5
New SAT-based optimization package.
2016-11-19 18:15:06 -08:00
Alan Mishchenko
7c089a3ac6
Factoring out library preprocessing code in &nf and putting it elsewhere.
2016-05-16 16:50:01 -07:00
Alan Mishchenko
236d412255
Experiments with CEC for arithmetic circuits.
2016-05-07 19:47:02 -07:00
Alan Mishchenko
2de8f04c0d
Suggested bug fix in st__strhash().
2016-04-30 10:40:54 -07:00
Alan Mishchenko
59f3389c9b
Experiments with arithmetic circuits.
2016-04-28 20:54:38 -07:00
Alan Mishchenko
d0a0cf6395
Command &esop to convert AIG into ESOP.
2016-04-09 17:00:46 -07:00
Alan Mishchenko
54269c7cec
Compiler warning.
2015-12-16 09:18:56 -10:00
Baruch Sterin
63fcf25aea
add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaration when needed
2015-11-20 21:07:01 -08:00
Baruch Sterin
11581ca9ee
move namespace logic into a separate file. It is useful for users of ABC that need to use symbols without the entire baggage of including abc_global.h
2015-11-20 21:06:23 -08:00
Alan Mishchenko
6b7aa389a6
Improvements to storing and reusing simulation info.
2015-11-05 15:27:33 -08:00
Baruch Sterin
c610c03661
pyabc: remove python integration from abc, it is moved to a separate extension
2015-11-05 01:24:26 -08:00
Alan Mishchenko
9b6ff10687
Compiler warnings.
2015-10-25 20:27:14 -07:00
Alan Mishchenko
9519341aaf
Extending library handling to 8 inputs.
2015-10-25 20:23:44 -07:00
Alan Mishchenko
45bf632452
Changes for delay-oriented computation.
2015-10-24 18:53:18 -07:00
Alan Mishchenko
2c37498bfb
Compiler warnings.
2015-10-21 23:53:42 -07:00
Alan Mishchenko
aa546b46d9
Fix to the #include <stdlib.h> problem for Debug version on Window.
2015-10-16 19:27:12 -07:00
Alan Mishchenko
0145b0ca72
Moving BDD-based threshold function detection to the BDD part of the code.
2015-10-16 18:34:06 -07:00
Robert Ou
Alan Mishchenko
Baruch Sterin
Bruno Schmitt