m.bakhterev's activity
From 05/07/2013 to 06/05/2013
05/23/2013
- 09:38 PM Сообщество Программное обеспечение: RE: Верификация аппаратного обеспечения
- *betastat*. Мы пока Coq-ом не пользуемся, но так как процессор разрабатывается и для ответственных применений, то его...
05/22/2013
- 07:56 AM Сообщество Компилятор С99: RE: Компилятор Си 99
- *overclocker*
> Ура, ура. А билд компилятора не выложите? Не у всех есть желание самим билдить))))
Пока не выложи...
Also available in: Atom