Installation
About
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.
Key Metrics
Downloads
Yesterday | 7 -30% |
Last 7 days | 57 -10% |
Last 30 days | 187 +12% |
Last 90 days | 481 -30% |
Last 365 days | 2.191 +31% |