Repository navigation

Commits

History for

onv1.2.0

Commits on Jun 4, 2026
- style: fix clippy type_complexity and manual_contains (#289)
  adityamukho
  committed
  c5d98f9
- style: cargo fmt (#289)
  adityamukho
  committed
  656fb80
- fix(magic-sets): clarify seed fact tx_id and any_free guard comments (#289)
  
  adityamukho
  and
  claude
  committed
  a55d8f5
- feat(magic-sets): wire rewrite() into execute_query_with_rules (#289)
  
  adityamukho
  and
  claude
  committed
  a8bb47b
- fix(magic-sets): address clippy and documentation issues in magic_sets (#289)
  
  adityamukho
  and
  claude
  committed
  e078cda
- feat(magic-sets): SCC propagation and complete rewrite() (#289)
  
  adityamukho
  and
  claude
  committed
  c0111b2
- fix(magic-sets): correct multi-bound propagation rule heads in build_propagation_rules (#289)
  
  adityamukho
  and
  claude
  committed
  e818ab4
- feat(magic-sets): magic propagation rule generation (#289)
  
  adityamukho
  and
  claude
  committed
  8920d7c
- fix(magic-sets): address code quality issues in inject_magic_guard (#289)
  
  adityamukho
  and
  claude
  committed
  93e434c
- fix(magic-sets): use adornment-driven bound-arg extraction in inject_magic_guard (#289)
  
  adityamukho
  and
  claude
  committed
  b3fee52
- feat(magic-sets): magic guard injection into positive rules (#289)
  
  adityamukho
  and
  claude
  committed
  0248ec7
- feat(magic-sets): seed fact generation (#289)
  Show description for f8c9861
  
  adityamukho
  and
  claude
  committed
  f8c9861
- feat(magic-sets): adornment classification (#289)
  
  adityamukho
  and
  claude
  committed
  2f496d7
- fix(magic-sets): clean up unused imports and add dead_code allow
  
  adityamukho
  and
  claude
  committed
  5a70e71
- feat(magic-sets): scaffold module (#289)
  adityamukho
  committed
  2a959b5
- feat(query): per-query :max-derived-facts and :max-results; raise default to 1M (#288) (#290)
  
  adityamukho
  and
  claude
  authored
  e29d4d4
Commits on Jun 2, 2026
- fix(query): include asserted flag in selective_fact_fetch dedup key (#285) (#286)
  
  adityamukho
  and
  claude
  authored
  0ee4a14
Commits on May 24, 2026
- perf(fix): restore per-pattern entity priority in selective_fact_fetch (#283)
  
  adityamukho
  and
  claude
  authored
  64ee806
Commits on May 17, 2026
- fix(api): revert QueryResult tuple variants for 1.x compat; add current_tx_count() (#261)
  
  adityamukho
  and
  claude
  authored
  43c3d30
Commits on May 16, 2026
- feat: cost-based not/or ordering (#205) (#251)
  
  adityamukho
  and
  claude
  authored
  d4bce55
Commits on May 15, 2026
- perf: predicate push-down for Expr clauses + mixed rule optimization (#207, #206) (#249)
  
  adityamukho
  and
  claude
  authored
  bb43871
- style: apply rustfmt formatting after rebase
  adityamukho
  committed
  92b2ce4
- fix: type aliases to satisfy clippy::type_complexity (#202)
  adityamukho
  committed
  447cc67
- fix: address code review issues in join_with_pattern (#204)
  
  adityamukho
  and
  claude
  committed
  d5f4915
- perf: hash-join in join_with_pattern — O(N²) → O(N) (#204)
  
  adityamukho
  and
  claude
  committed
  729b7af
- fix: add defensive guard and clarifying comment in apply_or_clauses (#203)
  adityamukho
  committed
  99171fd
- perf: empty-seed branch eval in apply_or_clauses — O(N²) → O(N) (#203)
  
  adityamukho
  and
  claude
  committed
  c38c73d
- fix: not-join underspecified binding now falls back to evaluate_not_join (#202)
  adityamukho
  committed
  5e0a3e6
- fix: address code review issues in #202 exclusion set implementation
  
  adityamukho
  and
  claude
  committed
  ae9eddc
- perf: pre-compute not/not-join exclusion sets — O(N²) → O(N) (#202)
  
  adityamukho
  and
  claude
  committed
  b390400
- feat: selective B+Tree lookup in filter_facts_for_query (#208) (#246)
  
  adityamukho
  and
  claude
  authored
  daa80a9
- feat: surface tx_count in QueryResult and REPL output
  
  adityamukho
  and
  claude
  committed
  dca007d
Commits on May 14, 2026
- fix: handle EDN semicolon comments in tokenizer and flush results immediately
  
  adityamukho
  and
  claude
  committed
  19d0991
Commits on May 8, 2026
- fix: add workspace clippy lint enforcement and fix all violations (#232)
  
  adityamukho
  and
  claude
  authored
  47abeaf
Commits on May 2, 2026
- fix: critical correctness and durability bugs from deep audit (#225)
  
  adityamukho
  and
  claude
  authored
  a51abf7

Breadcrumbs

User selector

Datepicker

Commit history

Commits on Jun 4, 2026

Commits on Jun 2, 2026

Commits on May 24, 2026

Commits on May 17, 2026

Commits on May 16, 2026

Commits on May 15, 2026

Commits on May 14, 2026

Commits on May 8, 2026

Commits on May 2, 2026