Difference between revisions of "correctness"
| Line 5: | Line 5: | ||
* Planned | * Planned | ||
** NRPy+ cactusthorn.py will do bounds checking | ** NRPy+ cactusthorn.py will do bounds checking | ||
| + | ** poisoning | ||
Revision as of 16:08, 19 January 2022
- Correctness! Rules!
Previous PreSync paper: https://doi.org/10.1145/3332186.3333042
- Planned
- NRPy+ cactusthorn.py will do bounds checking
- poisoning
