abc/src/bdd at 1faab72a6c4433027e691fb8547a994f56993f67 - abc - Gitea: Git with a cup of tea

luke/abc

mirror of https://github.com/YosysHQ/abc.git synced 2026-09-03 08:25:20 +02:00

Files

T

History

Alan Mishchenko 1faab72a6c Experiments with support minimization.

2017-04-27 22:08:17 -07:00

..

Changes to be able to compile ABC without CUDD.

2015-08-24 21:09:50 -07:00

Changes to be able to compile ABC without CUDD.

2015-08-24 20:55:07 -07:00

make sure all of ABC and related libraries are in the same namespace (when compiled with ABC_NAMESPACE) by removing extern "C" from function definitions

2015-10-16 14:02:38 -07:00

Changes to be able to compile ABC without CUDD.

2015-08-24 20:55:07 -07:00

Updating project settings to have simpler include paths.

2012-07-07 20:14:12 -07:00

Experiments with support minimization.

2017-04-27 22:08:17 -07:00

Changes to be able to compile ABC without CUDD.

2015-08-24 21:09:50 -07:00

Commenting out useless macro which causes failure on VS 2012.

2014-10-30 10:19:54 -07:00

Changes to be able to compile ABC without CUDD.

2015-08-24 20:55:07 -07:00