M
Size: a a a
2020 August 03
AZ
Идей куча, но пока что я недоизучил
иди прикручивай Z3 к rust-analyzer
M
Подгол типа раст быстрей плюсов сделали
AZ
хз зачем, но будет прикольно
M
иди прикручивай Z3 к rust-analyzer
Зачем?
M
👍
AZ
Зачем?
ну как зачем
AZ
круто
M
Круто и бесполезно
RP
Подгол типа раст быстрей плюсов сделали
как это быстрее сделали?)))
M
Да это шутка
AZ
там уже есть Symbolic Execution?
M
Забей
AZ
если нет, то иди прикручивай
M
там уже есть Symbolic Execution?
Зачем
RP
раст - это всего лишь надстройка над С++.
AZ
Зачем
помогает говно находить всякое
M
Я сидел дней 5-6 попутно написав челвм в Хуавей зачем оно в ра
AZ
мертвые ветки кода, например
M
Да могет