iuppiter

3 ms·

1. 1.▲
   by iuppiter 4y ago

   so cool
2. 2.▲
   by iuppiter 8y ago

   http://cis198-2016s.github.io/
3. 3.▲
   by iuppiter 8y ago

   Thank you for pointing it out. I just used all the codes in the official test suite to test KRust, but it only passed a small fragment.
4. 4.▲
   by iuppiter 8y ago

   I am the author of this paper. The semantics is far from complete and I am still working it. It is not a easy to formalize Rust completely. KRust is now just very very small step towards that. It may be not "useful" currently, but