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

132 Commits

Author SHA1 Message Date
Baruch Sterin be429079b5 CMakeLists.txt: pass CXX flags from the Makefile 2015-11-05 01:23:31 -08:00
Baruch Sterin 91d8040bd6 Restoring Aaron Hurst's "fretime" command 2015-10-28 19:59:57 -07:00
Baruch Sterin 9b3a358e6f Makefile: Add a CMakeLists.txt that uses the regular Makefile to compute flags and source file. This is a ugly hack, mainly to allow the use of CLion with ABC. Include some changes in the Makefile to support that. 2015-10-21 22:56:15 -07:00
Baruch Sterin 28f2063caa Makefile: (1) split CFLAGS into OPTFLAGS, INCLUDES, and CFLAGS 2015-10-21 22:56:15 -07:00
Baruch Sterin da80a038cc Makefile: fix a typo in -fPIC flag 2015-10-21 22:56:15 -07:00
Baruch Sterin d944384d9e Makefile: add ABC_MAKE_VERBOSE flag to print the acutall commands executed. 2015-10-16 16:44:59 -07:00
Baruch Sterin 824584ff44 Makefile: make namespaces/readline/threads/cudd options easier to use 2015-10-16 16:27:59 -07:00
Alan Mishchenko eb699bbaf8 Changes to be able to compile ABC without CUDD. 2015-08-24 21:09:43 -07:00
Alan Mishchenko 9ef96ae8a6 Changes to be able to compile ABC without CUDD. 2015-08-24 20:55:07 -07:00
Alan Mishchenko 08bff52a6a Renaming Cba into Bac. 2015-07-21 17:52:38 -07:00
Alan Mishchenko 6a0566d22b Bug fix for big-endiang architectures (plus adding -lm in Makefile). 2015-04-04 16:36:11 +07:00
Alan Mishchenko c602cbe338 Scalable SOP manipulation package. 2015-03-18 19:39:22 +07:00
Alan Mishchenko 35ab8cbdad Change to Makefile to speedup compilation. 2015-02-05 14:47:07 -08:00
Alan Mishchenko b537110cce Change to Makefile to speedup compilation. 2015-02-05 14:33:02 -08:00
Alan Mishchenko c58dd06259 Fixing reported memory alignment issue. 2015-01-27 10:09:57 -08:00
Alan Mishchenko 24f1ca0703 New parser and framework. 2014-11-29 14:36:26 -08:00
Alan Mishchenko 44b79db4b8 Changing LIBS in Makefie. 2014-11-03 16:15:26 -08:00
Alan Mishchenko c556baa92e Changes to enable building external code. 2014-10-28 21:13:59 -07:00
Alan Mishchenko c0db4d2a12 Changes to enable building external code. 2014-10-27 17:56:48 -07:00
Alan Mishchenko d2e42ec081 Disabling MiniSAT 2.2 for now. 2014-10-21 20:40:50 -07:00
Alan Mishchenko 5ae8a37d9d Compiler problems. 2014-10-21 20:13:25 -07:00
Alan Mishchenko 228dbcc51e Adding code of MiniSAT 2.2. 2014-10-21 19:45:52 -07:00
Alan Mishchenko dcb7d0d3fc New word-level representation package. 2014-09-12 13:40:48 -07:00
Alan Mishchenko e6db0f1142 Adding message prefix. 2014-07-24 10:57:40 -07:00
Baruch Sterin 9c8db2830f undo an accidental change to the Makefile 2014-06-10 02:08:20 -07:00
Baruch Sterin 257cbfd25c add an option to the pyabc packaging scripts 2014-06-10 02:05:57 -07:00
Alan Mishchenko 0dd2715563 Reverting to Makefile with suppressed printouts. 2014-06-05 10:50:01 -07:00
Jiang Long 574af21208 merge unfold2 2014-06-04 21:59:03 -07:00
Alan Mishchenko e49e123bb7 Initial new interpolation code. 2014-01-28 15:46:10 +08:00
Baruch Sterin 6f1b87de1b reverting an accidental change to Makefile 2013-12-11 16:00:38 -08:00
Baruch Sterin 3c3589125d fixes for simple_livness 2013-12-07 00:44:57 -08:00
Alan Mishchenko e73e5438ca Patching ABC for Yosys. 2013-11-27 12:17:00 -08:00
Aaron Tomb 6ce69bf4ed Remove unncessary use of PWD in CPP include option. 
The use of an absolute path can sometimes leads to compile errors using
Jenkins on Windows. The form without PWD seems to build correctly on
several varieties of each of Linux, OS X, and Windows.
 2013-11-06 16:38:49 -08:00
Aaron Tomb e8301980fe Allow ARCHFLAGS and OPTFLAGS to be overridden. 2013-11-06 16:35:59 -08:00
Alan Mishchenko 7013e0b672 Small changes to compile on Mac. 2013-08-15 00:58:23 -07:00
Alan Mishchenko fba33fbba4 New technology mapper. 2013-07-12 13:02:32 -07:00
Alan Mishchenko 9eaa290b1f Limiting runtime limit checks in 'pdr'. 2013-06-22 11:54:58 -07:00
Alan Mishchenko 13dd754a8c Suggested changes to counting time in Abc_Clock() 2013-06-18 11:26:37 -07:00
Alan Mishchenko 9289d71516 Updated Makefile as suggested by Mark Jarvin. 2013-05-19 22:17:58 -07:00
Alan Mishchenko f3bab3e479 Updated Makefile as suggested by Mark Jarvin. 2013-05-19 22:15:55 -07:00
Alan Mishchenko a1ceb7617c Making changes suggested by Mark Jarvin. 2013-05-05 09:06:53 -07:00
Alan Mishchenko e3f9c4c182 Temporarily disabling one change to Makefile. 2013-05-04 11:28:08 -07:00
Alan Mishchenko 36d5ef4e62 Making changes suggested by Mark Jarvin. 2013-05-04 11:10:25 -07:00
Alan Mishchenko 486eacc542 SAT sweeping under constraints. 2013-04-25 15:32:30 -07:00
Alan Mishchenko 7e85276780 New MFS package. 2013-04-02 22:22:49 -07:00
Alan Mishchenko 2650f94598 Shrink for 6-LUTs. 2013-03-31 23:09:51 -07:00
Alan Mishchenko c9ac0a87ec Retiring old 'fpga' command and package. 2012-12-10 01:11:44 -08:00
Alan Mishchenko be7a4e4259 Isolating BMC code into a separate package. 2012-11-14 13:55:24 -08:00
Niklas Een c3168ba661 Replaced printfs with Abc_Print 2012-10-29 15:35:02 -07:00
Alan Mishchenko ad8a3f5159 New AIG optimization package. 2012-10-06 15:09:00 -07:00