https://www.info.ucl.ac.be/~pvr/book.html - вот этот учебник?

Это очень интересный проект, как это Вы на него вышли? :) Чипы GreenArrays были созданы в компании, где я работал. Правда, я занимался не проектированием архитектуры, а инструментальными средствами и прикладной разработкой. И там я написал свой первый "коммерческий" супероптимизатор. Он был довольно просто устроен — эвристический перебор для виртуальной f18-машины. Но некоторые интересные фрагменты кода удалось синтезировать. Это было давно, где-то в 2007. А команда, которая делала Greenthumb, к сожалению, запоздала — архитекторы GreenArrays потеряли к тому времени финансирование и проект до сих пор находится в стагнации. При этом Greenthumb — первый пример серьезного компилятора, основанного на синтезе программ. Я, когда делал свой супероптимизатор, очень скептически относился к SMT-решателям, но со временем мнение свое поменял :)

Да.

я думаю в результаты мы получим ошибки компиляции )

посмотрим, какие это ошибки, расставим mut там, где это нужно - пробуем ещё раз собрать

а надо ли менять int* на int const * const или на что-то другое? )

я уже говорил - проще RIIR будет гораздо надежнее

конечно. const int*const должно стать просто int*

int const * и int const * const это _разные_ типы

нет, синтаксис и семантика должны быть сишными. Ну, можно прикрутить ещё сильную типизацию. Короче, надо typescript/cfront пилить

не видел такого в плюсах. Точнее, не видел таких примеров

Кек

Честно говоря, никак - кто-то из "друзей" на GitHub его "полайкал". 😊

последний const цепляется к указателю. А первый?

я бы начал на твоем месте с изучения предметной области тогда

И они оба отличаются от int * const 😔

хз, я всегда пишу const int*const и не испытывал проблем

это то же самое что int const * const - константный указатель на константный инт

int * const это константный указатель на мутабельный инт