Commit Graph

69 Commits

Author SHA1 Message Date
kevin zhao
a2890e2ca7 adding a line after early return block 2025-11-13 22:07:39 -05:00
kevin zhao
230cb2e3e2 best -> strictest 2025-11-13 22:07:39 -05:00
kevin zhao
90411d6e90 [parser.rs] match token vector on length 2025-11-13 22:07:39 -05:00
zhao-oai
1b09f32cd5 Update codex-rs/execpolicy2/src/parser.rs
Co-authored-by: Michael Bolin <mbolin@openai.com>
2025-11-13 22:07:39 -05:00
kevin zhao
b405a8c812 refactor parse_pattern to use iterator chain 2025-11-13 22:07:39 -05:00
kevin zhao
bc375db0ab using parking_lot mutex + AtomicU64 for auto id 2025-11-13 22:07:38 -05:00
kevin zhao
73cbf5a83e add docstrings to decision struct 2025-11-13 22:07:38 -05:00
kevin zhao
072f5c28fc using clap for execpolicy v2 cli 2025-11-13 22:07:38 -05:00
kevin zhao
2952c14719 implementing PartialOrd for Decision instead of defining custom is_stricter_than func 2025-11-13 22:07:38 -05:00
kevin zhao
270abdc0c4 use camelCase in Decision' 2025-11-13 22:07:38 -05:00
kevin zhao
ca9e61497d README 2025-11-13 22:07:38 -05:00
kevin zhao
687a8c38ff introduce variant typing to policy result 2025-11-13 22:07:38 -05:00
kevin zhao
0bac9939af better default policy + lint 2025-11-13 22:07:38 -05:00
kevin zhao
64e786caad simplify 2025-11-13 22:07:37 -05:00
kevin zhao
9aea52efb1 simplify logic 2025-11-13 22:07:37 -05:00
kevin zhao
7e79c4dc5b refactor rules so no more cartesian product 2025-11-13 22:07:37 -05:00
kevin zhao
eea9bff1fb remove tokenize_command use cases 2025-11-13 22:07:37 -05:00
kevin zhao
71ea7edca4 update shape of RuleMatch and Evaluation 2025-11-13 22:07:37 -05:00
kevin zhao
773177ec8b first pass at prefix rules 2025-11-13 22:07:37 -05:00