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
290 Commits 25 Branches 26 Tags
ant/cs_test_example
Commit Graph

4 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 577e1aa8db More OPA conformance; in-progress: ability to trace interpreter (#63) 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-12-16 17:50:59 -08:00
Anand Krishnamoorthi ed3492fd7b Formalize concept of a Number (#55) 
Number is implemented using rust_decimal::Decimal which uses a 96 bit mantissa.
TODO:
  a) Support u64, i64 variants
  b) Determine desired semantics for floating-point
  c) Determine desired big integer length
  d) Explore other big int/big float crates

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-12-01 08:45:59 -08:00
Anand Krishnamoorthi 6b87e99fb9 Tests for numbers builtins 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-02-28 09:38:40 +05:30