Exteor/distr/app/UpdateLog.txt

17.10.2024 Экстеор 4.9.6
• добавлена возможность использования перечисления в области определения родовой структуры
22.09.2024 Экстеор 4.9.5
• сообщения об ошибках при несоответствии выражения конституенте
30.08.2024 Экстеор 4.9.4
• исправлена загрузка файлов версий 2017-2020 годов
14.06.2024 Экстеор 4.9.3
• Грамматика: разрешено использование одного аргумента для мультифильтра - Fi1,2[X1*X1](S1)
• исправлена ошибка, приводившая к некорректному вычислению типизаций рекурсии с пустым множеством
• использование cctext без встраивания кода (через pip)
13.05.2024 Экстеор 4.9.2
• Грамматика: разрешено использование пустого множества как литерала с типизацией B(R0)
• Грамматика: разрешено объявление кортежем в императивных блоках
31.03.2024 Экстеор 4.9.1
• переход на Python 3.12.2
• обновление ядра для синхронизации с КонцептПортал
01.09.2023 Экстеор 4.9.0
• изменены горячие клавиши
• доработана установка зависимостей Python
• рефакторинг и подготовка к запуску веб-версии
01.05.2023 Экстеор 4.8.18
• исправлена ошибка, приводившая к невозможности задания операции синтеза
20.04.2023 Экстеор 4.8.17
• переработан ASCII синтаксис
• переработаны требования к содержанию файла схемы, сгенерированного сторонней программой
28.10.2022 Экстеор 4.8.16
• исправлена ошибка в проверке интерпретируемости выражений, содержащих связанные переменные в рекурсии
03.08.2022 Экстеор 4.8.15
• удалена лишняя строка в выгрузке КС в Word
• обновлен процесс установки. Требуется наличие Интернет соединения
• значительно уменьшен размер дистрибутива
• переход на Python 3.9.13
-----------------------------------------------
03.06.2022 Экстеор 4.8.14
• выгрузка в Word: конвенция теперь выгружается в столбец вместе со схемной интерпретацией
• исправлены тексты подсказок к элементам меню
• исправлена ошибка приводящая к зависанию процесса после выхода из Экстеор с открытой ОСС и РС-формой
• исправлена ошибка с флагом несохраненных изменений в документах после сохранения
• исправлена ошибка, приводившая к невозможности удалить таблицу отождествлений при изменнии типа операции на слияние
-----------------------------------------------
30.05.2022 Экстеор 4.8.13
• удален атрибут "Имя модели". Для КС и КМ используется общий набор атрибутов - Название, Краткое обозначение
• переработана структура JSON выгрузки данных
• изменен формат хранения файлов
• переработан текстовый модуль, улучшена генерация текстовых форм
-----------------------------------------------
04.11.2021 Экстеор 4.8.12
• исправлена некорректная работа ОСС с путями, содержащими кириллицу
-----------------------------------------------
04.08.2021 Экстеор 4.8.11
• исправлена ошибка, приводившая к невозможности загрузки некоторых моделей
-----------------------------------------------
19.07.2021 Экстеор 4.8.10
• добавлена 64-битная версия Экстеор, которая теперь является версией по умолчанию
• исправлен ряд ошибок, приводивших к крешу программы при отображении некоторых сообщений
• переход на 64-битную версию системных библиотек и Python3.9.5
• добавлена опция отключения автоматического переключения раскладки клавиатуры
• улучшена читаемость JSON для РС-формы КС
-----------------------------------------------
03.05.2021 Экстеор 4.7.21
• переход на Python 3.9
• конституенты в подсказке отсылки упорядочены по идентификатору в алфавитном порядке
• исправлена ошибка в генерации структуры
• исправлена ошибка в порядке вставленных конституент при вставке после последней конституенты
-----------------------------------------------
01.09.2020 Экстеор 4.7.20
• обновление ядра - повышение производительности
• исправлен ряд ошибок при проверке формальных выражений
• исправлен диалог генерации терма по терм-функции
-----------------------------------------------
01.06.2020 Экстеор 4.7.19
• значительно улучшена производительность графа связей конституент
• добавлено сообщение об ошибки в выражении при попытке перебора множества всех целых чисел
• ОСС: исправлена ошибка в переименовании файлов, названия которых содержат кириллицу
• Модель: исправлен ряд ошибок при загрузке данных из Excel, редактированных вручную
• добавлены функция сброса ширины столбцов в контекстное меню таблицы конституент
• исправлена ошибка в описании логического круга
• исправлено падение программы при вводе некорректного имени отождествляемой конституенты
-----------------------------------------------
07.02.2020 Экстеор 4.7.18
• исправлена ошибка с некорректным сохранением положения минимизированных окон
• добавлено соощбение об ошибке при попытке вставки отсылки в случае отсутствия терминов
-----------------------------------------------
01.02.2020 Экстеор 4.7.17
• добавлена поддержка константных и целочисленных множеств (проверка корректности выражений)
• добавлена частичная поддержка вычисления значений выражений, содержащих элементы константных множеств
• улучшена читаемость ASCII синтаксиса
• изменен синтаксис блока объявления императивного определения
• удалена поддержка знака бесконечности
• добавлен идентификатор "Z" для обозначения множества целых чисел
• изменен синтаксис императивного определения
• удалена поддержка устаревшего декларативного синтаксиса
• исправлена ошибка в определении аргументов функций
• исправлена ошибка, приводившая к неполному обновлению типизаций зависимых конституент
-----------------------------------------------
23.12.2019 Экстеор 4.7.16
• исправлен ряд ошибок в редакторе текстов
• мелкие правки в интерфейсе
-----------------------------------------------
01.11.2019 Экстеор 4.7.15
• добавлена поддержка предикат-функций
• API ядра переведен на использование UTF8 строк
-----------------------------------------------
01.10.2019 Экстеор 4.7.14
• добавлена проверка интерпретируемости выражения
• исправлено отображение интерфейса для пользовательского масштаба
-----------------------------------------------
19.09.2019 Экстеор 4.7.13
• символы нижних индексов заменены на форматирование в RichEdit
• переработана грамматика языка родов структур
• добавлены мультипроекции и мультифитры
• добавлена параметризация функций произвольной типизацией аргументов
• добавлено выражение рекурсивного определения
• добавлено выражение пошагового императивного определения
• изменен синтаксис декларативного определения ("выражение терма")
-----------------------------------------------
02.09.2019 Экстеор 4.7.12
• удален тип конституенты "Сокращение ступени"
• в выражении ступени теперь можно использовать любые конституенты
• переработана система экспорта/импорта
• добавлен экспорт КС в JSON и CSV
• добавлен экспорт дерева термов в TXT и CSV
• рефакторинг внутренней логики интерфейсов
-----------------------------------------------
05.07.2019 Экстеор 4.7.10.1300
• исправлен ряд ошибок в интерфейсе ОСС
-----------------------------------------------
28.05.2019 Экстеор 4.7.10.1200
• удалена возможность задания синонимов для понятий. В дальнейшем будет добавлена возможность работы с несколькими контекстами, позволяющая создавать "слои" терминов
• формат текстовых отсылок обновлен с учетом устранения синонимичности
• при отождествлении понятий удалена опция "сохранить оба термина"
• обновлены форматы хранения файлов с учетом нового формата текстовой отсылки и параметров отождествления
-----------------------------------------------
18.04.2019 Экстеор 4.7.10.1100
• переход на использование Python 3.7 в модуле обработки текстов
• исправлен баг, приводивший к отображению старой типизации при проверке выражения в редакторе
-----------------------------------------------
11.04.2019 Экстеор 4.6.10.1001
• изменена нумерация версий
• обновлен логотип
• обновлен установщик
-----------------------------------------------
20.02.2019 Экстеор 4.6 2115
• улучшена точность определения положения ошибки в РС выражении
• исправлены ошибки, приводившие к некорректному пересинтезу
• исправлена работа операции Релятивизация
-----------------------------------------------
20.02.2019 Экстеор 4.6 2058
• исправлено вычисление выражений с использованием терм-функций
• исправлено масштабирование таблицы конституент при изменении размера окна
-----------------------------------------------
29.01.2019 Экстеор 4.6 2036
• улучшена идентификация синтаксических ошибок
• переработан парсер родов структур
-----------------------------------------------
13.12.2018 Экстеор 4.6 1974
• исправлена ошибка в текстовом поле с отсылками на термины, приводившая к некорректному удалению отсылок
-----------------------------------------------
05.12.2018 Экстеор 4.6 1967
• исправлена ошибка, приводившая к потере данных при закрытии диалога редактирования конституенты
• исправлен ряд ошибок, приводивших к вылету программы при вычислении объектных интерпретаций
-----------------------------------------------
14.11.2018 Экстеор 4.6 1948
• скорректирован интерфейс ОСС
• в ОСС добавлена операция проверки операции и данных о наследуемых конституентах
• исправлены ошибки, приводившие к некорректной КС при пересинтезе
-----------------------------------------------
01.08.2018 Экстеор 4.6 1800
• переписан код с использованием библиотеки ConceptCoreLibrary
• ВНИМАНИЕ! изменены форматы хранения файлов, осуществляется поддержка старых форматов
• ВНИМАНИЕ! изменен алгоритм хеширования РС-форм в ОСС. Потребуется пересинтез после загрузки старых схем синтеза
• скорректирован интерфейс редактирования конституенты
• порядок в списке констиутент теперь не влияет на операции и корректность типизаций
• исправлены ошибки предыдущих версий
-----------------------------------------------
11.01.2018 Экстеор 4.5 1569
• исправлена ошибка при открытии файлов Экстеор 1 1992 года
-----------------------------------------------
28.06.2017 Экстеор 4.5 1562
• добавлена поддержка открытия файлов, сохраненных в Экстеор 1 (1993 год и ранее)
• при выгрузке в Word выгружаются все термины каждой конституенты (ранее в выгрузке был только первый термин)
• ОСС: исправлена ошибка, приводившая к сбрасыванию типа отождествления при пересинтезе одной из родительских схем
-----------------------------------------------
04.05.2017 Экстеор 4.5 1555
• обновлен формат хранения файлов ОСС. Файлы, сохраненные в новой версии не будут открываться в предыдущих версиях
• переработан интерфейс редактирования таблицы отождествлений
• добавлено сообщение после выгрузки в Word
• исправлена ошибка проверки типизации выражений с объявлением нескольких связанных переменных
• исправлен ряд ошибок в наследовании терминов и их вхождений при пересинтезе
-----------------------------------------------
20.04.2017 Экстеор 4.5 1550
• исправлены ошибки в интерфейсе редактирования терминов
• исправлена в навигации по структуре формального выражения, приводившая к невозможности перехода вниз по структуре из корневого узла
• исправлен ряд ошибок, приводивших к потере синонимов при пересинтезе и установке некорректных флагов наследования кониституент
• исправлена ошибка, приводившая к сбрасыванию статуса наследованной конституенты при изменении интерпретации
• исправлена ошибка, приводившая к некорректной обработке объявления связанных переменных в кванторной декларации
-----------------------------------------------
04.04.2017 Экстеор 4.5 1545
• устранена ошибка, приводившая к вылету программы при нажатии Del после удаления отсылки на термин
-----------------------------------------------
23.03.2017 Экстеор 4.5 1543
• время загрузки больших КС значительно снижено
• исправлен ряд ошибок в интерфейсе редактирования текстов
-----------------------------------------------
15.03.2017 Экстеор 4.5 1541
• ВНИМАНИЕ! Значительно изменен модуль проверки выражения ЯРС. Скобки, не несущие смысловой нагрузки считаются ошибочными
• добавлена подсветка блоков формального выражения в соответствии с деревом разбора
• добавлена навигация по формальному выражения с помощью клавишц CTRL+SHIFT+WASD
• добавлена возможность удалять текст, содержащий полностью несколько отсылок к терминам
• исправлена ошибка, приводившая к возможности редактирования ФВ наследованных констиутент
• исправлен ряд ошибок в текстовом модуле, приводивших к падению программы
-----------------------------------------------
10.03.2017 Экстеор 4.5 1536
• Внимание! Значительно ужесточена проверка "лишних" пар скобок в формальных выражениях
• наличие синонимов в КС будет отображаться "желтым" статусом
• исправлен ряд ошибок в текстовом модуле, приводившим к некорректному формированию словоформ
-----------------------------------------------
07.03.2017 Экстеор 4.5 1533
• добавлена возможность вычисления выражений с вложенными зависимыми переменными
• обновлены алгоритм и структура дерева разбора выражения ЯРС
• исправлена ошибка при проверке выражений с вложенными зависимыми переменными
• исправлена ошибка, приводившая к вылету при вызове операции в ОСС при совпадении имен файлов связанных пиктограмм
• исправлена ошибка, приводившая к удалению файла при попытке перезаписать его с помощью "Сохранить как"
• исправлено некорректное обновление выражений терм-функций при отождествлении
-----------------------------------------------
21.11.2016 Экстеор 4.5 1528
• добавлена операция "Релятивизация"
• добавлена операция "Отождествление понятий"
• расширен синтаксис ЯРС: добавлены символы для присваивания и добавления элемента / подмножества
• расширена грамматика ЯРС: добавлено объявление связанных переменных при определении терма
• добавлено перемещение конституент в списке по нажатию Ctrl + клавиши
• добавлена автоматическое распознавание уже созданных термов при порождении термов из структуры понятия
-----------------------------------------------
22.09.2016 Экстеор 4.5 1516
• исправлена ошибка, из-за которой текстовый модуль вызывал сбой в РС-модели
-----------------------------------------------
22.09.2016 Экстеор 4.5 1514
• обновлен интерфейс навигации по терминам
• обновлен интерфейс вставки отсылки
• добавлен выбор конституент по имени при добавлении в формальное выражение
-----------------------------------------------
16.09.2016 Экстеор 4.5 1505
• добавлен выбор конституент при добавлении отсылок в формальное выражение
• исправлен ряд ошибок текстового модуля
• изменены горячие клавиши для добавления отсылок
-----------------------------------------------
31.08.2016 Экстеор 4.5 1490
• добавлен Текстовый модуль, позволяющий вставлять отсылки на термины в тексты интерпретаций и других терминов
• добавлена функция поиска конституенты по вхождению подстроки в текст термина или интерпретации
• добавлены сохранение (экспорт) данных концептуальной модели в Excel и их загрузка (импорт)
• добавлена возможность указывать несколько терминов для одной конституенты
• при отождествлении теперь необходимо выбирать что делать с вхождениями терминов удаляемого понятия: объединять с терминами отождествляемого понятия в качестве синонимов, либо заменять на вхождения отождествляемого понятия
• исправлен ряд ошибок в интерфейсе
• Внимание! Изменены форматы хранения файлов. Файлы, сохраненные в версии 1490 и выше не будут открываться в более ранних версиях
-----------------------------------------------
26.05.2016 Экстеор 4.0a 1404
• исправлена ошибка синтезе с отождествлением терма с РС. От порядка операндов зависел результат операции
-----------------------------------------------
22.01.2016 Экстеор 4.0a 1403
• исправлены ошибки при вычислении выражений
• изменен тип установочного файла с .exe на .msi
• теперь при установке новой версии не нужно вручную деинсталлировать старую
-----------------------------------------------
26.08.2015 Экстеор 4.0a 1399
• файлы РС-форм автоматически открываются в уже открытом Экстеор 4
• исправлен баг при вставке скопированных конституент
• переработан диалог экспорта РС-формы
-----------------------------------------------
04.06.2015 Экстеор 4.0a 1392
• исправлен баг в сравнении типизаций, полученных путём взятия проекции
• исправлены пути для запуска с сетевого ресурса
• исправлен ряд опечаток
-----------------------------------------------
09.06.2014 Экстеор 4.0а 1369
• В ОСС добавлена функция создания резервной копии ОСС
• Доработан интерфейс стартовой страницы. Добавлена "Памятка" пользователя.
• Исправлен порядок переносимых конституент при отождествлении БМ и Терма
• Исправлен ряд ошибок, возникавших при работе со списком конституент
• Доработана логика интерфейса редактирования конституенты
-----------------------------------------------
02.06.2014 Экстеор 4.0а 1362
• Доработана логика прокрутки списка конституент при работе с диалогом редактирования конституент
• Исправлена ошибка, приводившая к некорректному сохранению таблицы отождествлений в пиктограмме ОСС
• Исправлена ошибка, приводившая к отображению ложных сообщений об ошибках при отождествления БМ и Терма
• Исправлена некорректная обработка терм-функций при вычислении. Теперь вложенные терм-функции вычисляются штатно
-----------------------------------------------
04.04.2014 Экстеор 4.0а 1354
• Исправлена ошибка, приводившая к некорректной работе экспорта в Word при работе с двумя мониторами
• Исправлена ошибка в модуле КМ, приводившая к невозможности использования данных для типизаций вида (X1xX1)xX1
• Исправлена критическая ошибка, приводившая к сбою программы при открытии диалога редактирования конституенты
• Добавлено автоматическое сохранение документа при нажатии кнопки "Применить" в диалоге редактирования конституенты
-----------------------------------------------
31.01.2014 Экстеор 4.0а 1337
• Отменено ограничение на длины короткого и длинного имен схемы
• Редизайн диалога редактирования конституенты: добавлено меню
• Добавлена возможность добавления новых конституент из диалога редактировани конституенты
• Добавлено масштабирование ОСС с помощью колеса мыши при зажатом Ctrl
• Комментарий пиктограммы добавлен во всплывающую подсказку в ОСС
-----------------------------------------------
20.01.2014 Экстеор 4.0а 1330
• Исправлена ошибка при создании документа РС-формы из ОСС, приводившая к необходимости повторно вводить имя РС-формы
• Исправлен ряд опечаток
• Исправлена ошибка при экспорте текста РС-формы в грамматике Тищенко
-----------------------------------------------
10.12.2013 Экстеор 4.0а 1313
• Переработан шаблон экспорта РС-формы в MS Word
• Добавлена поддержка Копирования / Вставки / Отмены во все текстовые поля
• Переботан механизм пересинтеза: теперь изменения в таблице отождествлений минимально затрагивают протаскиваемые изменения конституент
• Исправлен ряд ошибок в модуле ОСС, приводивших к потере дописанных конституент и интерпретаций при пересинтезе
-----------------------------------------------
03.12.2013 Экстеор 4.0а 1294
• добавлена поддержка Portable версии
• исправлен ряд ошибок в модуле ОСС
• улучшен интерфейс редактирования конституенты
-----------------------------------------------
25.11.2013 Релиз Экстеор 4.0a
1. Улучшено взаимодействие пользователя с программой.
• Внедрена процедура установки и удаления программы с помощью стандартного установщика Windows.
• В выражениях родов структур используется стандартная кодировка вместо специфического шрифта Boolean (можно копировать текст формального выражения из окна Экстеор 4 в любой другой текстовый редактор).
• Добавлена встроенная справка по нажатию на клавишу F1.
• Во все интерфейсы добавлены контекстные меню, дублирующие часть функций основного меню.
• Переработаны панели инструментов.
• Расширен перечень регулируемых параметров, доступных для подстройки программы под индивидуальные предпочтения каждого пользователя.
• Добавлена возможность написать письмо разработчикам с описанием ошибки.
• Добавлена система версий форматов файлов Экстеор 4, обеспечивающая полную поддержку работы с файлами, сохраненными в предыдущих версиях.
• Устранено множество ошибок и опечаток.
2. Расширены возможности работы с РС-формой КС:
• добавлены атрибуты конституенты комментарий и термин;
• реализовано создание конституент на основе существующих:
• создание терм-функции,
• использование терм-функции для создания термов,
• создание термов, составляющих структуру выражения с заданной типизацией;
• контроль индексации конституент;
• редактирование списка конституент;
• цветовая индикация статусов конституент;
• синтаксический и семантический контроль выражения ЯРС;
• идентификация ошибок в некорректном выражении ЯРС;
• реализовано автоматическое вычисление типизаций конституент;
• осуществляется контроль корректности РС-формы КС.
3. Добавлена возможность работы с концептуальной моделью:
• сохранение и загрузка файла КМ;
• редактирование интерпретации базовых понятий КС;
• вычисление теоретико-множественных интерпретаций термов;
• вычисление значений аксиом и теорем;
• вычисление мощностей множеств, интерпретирующих понятия КС;
• осуществляется контроль корректности КМ.
4. Существенно улучшен интерфейс работы с операционной схемы синтеза:
• переработана система статусов пиктограмм;
• внедрено автоматическое выполнение операций;
• реализовано сквозное внесение изменений в пиктограммы ОСС;
• добавлено сохранение графа ОСС в файл PNG;
• новый набор иконок позволяет четко различать статусы пиктограмм;
• существенно расширены возможности графического интерфейса ОСС:
• добавлена возможность прикрепления гиперссылки к пиктограмме;
• скроллинг в окне графа ОСС;
• иконка наличия связанного с пиктограммой файла;
• выбор активной пиктограммы с помощью клавиш курсора на клавиатуре;
• переработан лог операций ОСС;
• добавлена возможность сохранения лога ОСС в текстовом документе.