Add native Windows support.
Extended the make files to not link to rt on Windows, by detecting Msys as
DOWNWARD_OS=win32.
Don't cast a pointer to unsigned long in src/search/landmarks/exploration, as
long is always 32bit on Windows, an alternative to size_t would be uintptr_t.
Added an implementation for double Timer::current_clock();
It is not possible to retrieve the peak memory on Windows but only the
currently used memory. There would be the possibility to at least always return
the maximum of the retrieved current memory usage.
One major issue is now, do we want to drop cygwin support completely, or add a
separate OPERATING_SYSTEM because some of the extensions probably wont work in
cygwin.
|