evalR
Evaluation of Unverified Code
The purpose of this package is to generate trees and validate unverified code. Trees are made by parsing a statement into a verification tree data structure. This will make it easy to port the statement into another language. Safe statement evaluations are done by executing the verification trees.
Versions across snapshots
| Version | Repository | File | Size |
|---|---|---|---|
0.0.1 |
rolling source/ R- | evalR_0.0.1.tar.gz |
113.0 KiB |
0.0.1 |
latest source/ R- | evalR_0.0.1.tar.gz |
113.0 KiB |
0.0.1 |
2026-04-23 source/ R- | evalR_0.0.1.tar.gz |
113.0 KiB |
0.0.1 |
2026-04-09 windows/windows R-4.5 | evalR_0.0.1.zip |
515.6 KiB |