A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.
GNU General Public License v3.0
3
stars
3
forks
source link
Change the integer limits constants to make the framework compile in macOS #19
The constants LONG_LONG_MAX and ULONG_LONG_MAX seem to be exclusive to gcc. The standard equivalents seem to be LLONG_MAX and ULLONG_MAX, as specified in https://en.cppreference.com/w/cpp/types/climits.
The constants
LONG_LONG_MAXandULONG_LONG_MAXseem to be exclusive togcc. The standard equivalents seem to beLLONG_MAXandULLONG_MAX, as specified in https://en.cppreference.com/w/cpp/types/climits.