3 ms·
The language is actually called ConstantC, and its implementation has just been made public on GitHub: https://github.com/PLSysSec/FaCT https://github.com/PLSys
by jedisct1 9y ago
The language is actually called ConstantC, and its implementation has just been made public on GitHub: https://github.com/PLSysSec/FaCT https://github.com/PLSysSec/FaCT