Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
developers:gsoc:2016:ideas [2016/02/22 05:56] – Removed the idea template and table of mentors nurupo | developers:gsoc:2016:ideas [2016/02/24 19:57] (current) – [Language-independent Tox Core implementation tests] iphydf | ||
---|---|---|---|
Line 9: | Line 9: | ||
==== Website improvements ==== | ==== Website improvements ==== | ||
- | **Brief explanation**: | + | **Brief explanation**: |
* Prefer static content generation. | * Prefer static content generation. | ||
* All dynamic information provided in HTML should have machine-readable (e.g. JSON) alternatives. | * All dynamic information provided in HTML should have machine-readable (e.g. JSON) alternatives. | ||
Line 32: | Line 32: | ||
===== Tox Core ===== | ===== Tox Core ===== | ||
- | [[users: | + | [[users: |
==== Language-independent Tox Core implementation tests ==== | ==== Language-independent Tox Core implementation tests ==== | ||
Line 44: | Line 44: | ||
**Expected results**: | **Expected results**: | ||
* Design document and interface specification. | * Design document and interface specification. | ||
- | * A complete set of functional tests for every component of Tox Core as specified in its [[https:// | + | * A complete set of functional tests for every component of Tox Core as specified in its [[https://toktok.github.io/spec|specification]]. |
* Optionally, but highly recommended as a means for self-validation: | * Optionally, but highly recommended as a means for self-validation: | ||
* Optionally: a testing interface for multiple nodes with different (or the same) implementations to run in a simulated environment. | * Optionally: a testing interface for multiple nodes with different (or the same) implementations to run in a simulated environment. | ||
Line 56: | Line 56: | ||
==== Implement Tox protocol in another language ==== | ==== Implement Tox protocol in another language ==== | ||
- | **Brief explanation**: | + | **Brief explanation**: |
Language choices are currently: | Language choices are currently: | ||
- | ^ Language | + | ^ Language |
- | | C# | [[iphydf@gmail.com|iphy]] | + | | C# | [[iphydf@gmail.com|iphy]] |
- | | Coq | [[iphydf@gmail.com|iphy]] | + | | Coq | [[iphydf@gmail.com|iphy]] |
- | | Cyclone | + | | Cyclone |
- | | F# | [[iphydf@gmail.com|iphy]] | + | | F# | [[iphydf@gmail.com|iphy]] |
- | | **Go** | + | | **Go** |
- | | **Haskell** | + | | **Haskell** |
- | | JX-Objective C | [[sagem.tox@gmail.com|JX7P]] | + | | JX-Objective C | [[sagem.tox@gmail.com|JX7P]] |
- | | MISRA-C/ | + | | MISRA-C/ |
- | | OCaml | [[iphydf@gmail.com|iphy]] | + | | OCaml | [[iphydf@gmail.com|iphy]] |
- | | **Rust** | + | | **Rust** |
- | | Safe-D | + | | Safe-D |
- | | **Scala** | + | | **Scala** |
- | | SML | [[iphydf@gmail.com|iphy]] | + | | SML | [[iphydf@gmail.com|iphy]] |
- | | Swift | [[d@dvor.me|dvor]], | + | | Swift | [[d@dvor.me|dvor]], |
Safe-D is D where all public entry points are @safe and no internal functions are @trusted. **Bold** languages are ones that have a beginning of an implementation. | Safe-D is D where all public entry points are @safe and no internal functions are @trusted. **Bold** languages are ones that have a beginning of an implementation. |