]]> ]]>

gprolog 1.3.1

Версия реализации GNU Prolog языка программирования Prolog

Последняя (на декабрь 2010 года) версия компилятора GNU Prolog, выпущенная в феврале 2009 года.

Изменения:

Добавлена поддержка платформ:

  • x86_64/bsd
  • x86_64/Solaris

Исправлены ошибки:

  • выявление ошибок переполнения и потери значащих разрядов в парсере
  • утечка памяти в catch/3
  • ошибка в байткоде из-за нового максимального количества атомов
  • проблема с использованием ebx как глобального регистра (баг в gcc 4.3.2)
  • баг в is/2 с [X] (X должен быть только целым числом)
  • ошибка с атомами /*, */ и % (были без кавычек)
  • ошибка в работе со стеком для x86_64/Solaris
  • патч для sparc/solaris8
  • ошибка в арифметике (mod)
  • ошибка в решении конечных областей (на 64-битных системах)

Доработки и улучшения:

  • добавлена опция —no-mult-warn в gplc
  • добавлены флаги suspicious_warning, multifile_warning
  • увеличены лимиты (MAX_VAR_NAME_LENGTH=1024 и MAX_VAR_IN_TERM=10240)
  • в gprolog.h добавлены PL_INT_LOWEST_VALUE и PL_INT_GREATEST_VALUE
  • во все глобальные символы, константы и типы добавлен префикс Pl_ PL_ Pl
  • добавлен минимальный gprolog.h
  • отслеживает, требует ли структура sigcontext asm/sigcontext.h (на linux)
  • изменение gplc: —c-compiler также устанавливает линковщик, добавлена опция —linker
  • максимальное количество атомов увеличено до 1048576 (2^20)
  • увеличены размеры стеков по умолчанию (16Mb для кучи, 8Mb для остальных)

Ссылки:


Комментарии

]]>

blog comments powered by Disqus

]]>

Работа программистам