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
435 Commits 25 Branches 26 Tags
verus
Commit Graph

4 Commits

Author SHA1 Message Date
Anand Krishnamoorthi ff0adf054e every: non collections should evaluate to false (#253) 
See https://github.com/open-policy-agent/opa/pull/6763

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2024-05-28 06:25:13 -07:00
Anand Krishnamoorthi 70bf371ebf crypto builtins (#57) 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-12-06 07:59:04 -08:00
Anand Krishnamoorthi 7789de41b6 Statement Scheduler Implementation 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-04-09 20:28:59 -07:00
Anand Krishnamoorthi 351483d100 Implement every statement (#4) 
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
 2023-02-28 09:38:40 +05:30