kata-containers/regorus
1
0
Fork 0
mirror of https://github.com/microsoft/regorus.git synced 2026-08-05 02:16:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
474 Commits 25 Branches 26 Tags
copilot/code-review-pr-708
Commit Graph

2 Commits

Author SHA1 Message Date
Anand Krishnamoorthi
f6140b6be5 More builtins and semantic improvements (#66) 
- base64 builtins
- base64url builtins
- jsonschema builtins
- json.remove builtin
- handle composite index variables
- use dashu_float since rust_decimal has lesser precision

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-12-21 13:34:48 -08:00
Anand Krishnamoorthi
4db2270dcf More library functions (#51) 
- units.parse, units.parse_bytes
- json.is_valid, json.marshal, json.unmarshal
- yaml.is_valid, yaml.marshal, yaml.unmarshal
- object.subset
- set_diff

* Also print number of errors due to each missing function
* Also lock down fully passing OPA suites

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-11-22 14:19:23 -08:00