|
|
|
|
|
|
by dnautics
358 days ago
|
|
|
(self-promotion) in principle one should be able to implement a fairly mature pointer provenance checker for zig, without changing the language. A basic proof of concept (don't use this, branches and loops have not been implemented yet): https://www.youtube.com/watch?v=ZY_Z-aGbYm8 |
|
|