3 ms·
LLVM goes back to 2003, and Sing# is based on Spec# which is only 2004?
by gsnedders 13y ago
LLVM goes back to 2003, and Sing# is based on Spec# which is only 2004?
- pjmlp 13y agoThe Wikipedia mentions 2003 and we can assume there was already work going on before. http://en.wikipedia.org/wiki/Singularity_%28operating_system%29 http://en.wikipedia.org/wiki/Singularity_%28operating_system... Although the first published papers are indeed from 2004.
- gsnedders 13y agoWork on LLVM started in 2000, FWIW.