Siesh1oo 0fb044a58f - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation of open_memstream()/fmemopen() for pre-POSIX.2008 systems. ... - Makefile: OSX build rules (Apple's gcc and clang have no -rdynamic option and no librt). - Makefile: Generate debugger symbols and don't optimize for size in debug target (otherwise the debugger pretty hard to use). - Makefile: Reorder target concatenation in order to avoid use-before-built problems for source-include and linker dependencies. - Makefile: On OSX/macports, qmake-qt4 is named 'qmake' (the default Qt4 installation name, unless the distribution changes it). - Makefile: For OSX/Macports, we need to pass -I/opt/local/include and -L/opt/local/lib to give GNU libraries precedence over Apple's. - Makefile: Build a local minisat copy just like abc (to avoid dependency on broken/unmaintained distribution header files). - .gitignore: Ignore minisat directory.		2014-03-10 14:38:01 +01:00
..
bitpattern.h	initial import	2013-01-05 11:13:26 +01:00
calc.cc	Strictly zero-extend unsigned A-inputs of shift operations	2014-03-06 11:53:37 +01:00
celltypes.h	Fixed const folding of $bu0 cells	2014-02-27 04:09:32 +01:00
consteval.h	Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux	2014-01-03 17:30:50 +01:00
driver.cc	- kernel/driver.cc: need to #include <cerrno> or errno.h for errno.	2014-03-10 14:36:12 +01:00
log.cc	Added -v<level> option and some minor driver cleanups	2013-11-17 13:26:31 +01:00
log.h	- kernel/log.h: add rusage()-based fallback for systems without clock_gettime().	2014-03-10 14:36:07 +01:00
posix_compatibility.cc	- Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation of open_memstream()/fmemopen() for pre-POSIX.2008 systems.	2014-03-10 14:38:01 +01:00
posix_compatibility.h	- Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation of open_memstream()/fmemopen() for pre-POSIX.2008 systems.	2014-03-10 14:38:01 +01:00
register.cc	- kernel/register.cc: need to #include <cerrno> or errno.h for errno.	2014-03-10 14:36:23 +01:00
register.h	Added "design -push" and "design -pop"	2014-02-20 23:28:59 +01:00
rtlil.cc	Fixed a typo in RTLIL::Module::addReduce...	2014-03-10 12:07:26 +01:00
rtlil.h	Added RTLIL::Module::add... helper methods	2014-03-10 03:02:27 +01:00
satgen.h	Fixed use of frozen literals in SatGen	2014-03-06 13:08:44 +01:00
sigtools.h	Some fixes to improve determinism	2013-08-09 12:42:32 +02:00