|
Failed to load latest commit information. |
|
litmus_tests
|
Fix compile error in compare_dangling_pointers
|
Aug 24, 2016
|
|
|
optimizations
|
revise example
|
Jul 28, 2016
|
|
|
specification
|
nits
|
Sep 15, 2016
|
|
|
.gitignore
|
add the first litmus test, and a template
|
Feb 19, 2016
|
|
|
LICENSE-APACHE
|
Copy over licensing from Rust
|
Feb 19, 2016
|
|
|
LICENSE-MIT
|
Copy over licensing from Rust
|
Feb 19, 2016
|
|
|
README.md
|
Describe the K-Related-Work tag
|
Sep 21, 2016
|
|
|
template.md
|
specify rust language so that browsing on github is prettier
|
Feb 19, 2016
|
|
|
template.py
|
Introduce a python script to apply template
|
Feb 19, 2016
|