All pull requests

Pull requests

• Bugfix: Parser can enter infinite loop on cyclical references

  #709·jfenton opened Sep 25, 2026·

  ·
  1

• Add parse_line_with_limit and parse_line_with_timeout

  #708·oetiker opened Sep 24, 2026·

  ·

• Break loops between non-consuming sets

  #706·tontinton opened Sep 12, 2026·

  ·
  4

• parser fixes, 100% pass on default syntax tests

  #705·titoBouzout opened Aug 17, 2026·

  ·

• Bump plist from 1.8 to 1.10

  #703·sermuns opened Jul 12, 2026·

  ·

• Fix as_latex_escaped: correct RGB channel order and backslash escaping

  #702·teddytennant opened Jul 8, 2026·

  ·
  1

  6

• Delete the legacy op-correction engine and finish the 6.0 sweep

  #701·stefanobaghino opened Jul 4, 2026Contributor·

  ·

• Make the trail engine the default and ship the 6.0 parse-output contract

  #700·stefanobaghino opened Jul 4, 2026Contributor·

  ·

• Add trail-based branch re-execution engine behind a feature flag

  #699·stefanobaghino opened Jul 4, 2026Contributor·

  ·

• Extract the parser's pure interpreter state into Core

  #698·stefanobaghino opened Jul 4, 2026Contributor·

  ·

• Split parser.rs into a directory module

  #697·stefanobaghino opened Jul 4, 2026Contributor·

  ·

• Add scopedump differential highlighting harness

  #696·stefanobaghino opened Jul 4, 2026Contributor·

  ·

• Replace bincode with serde-wincode

  #694·SebTardif opened Jun 26, 2026·

  ·
  1

  1

• Add leaf to projects using syntect

  #693·RivoLink opened May 26, 2026·

  ·

• Bound zero-width escape fires per line to break Perl POD hang

  #692·stefanobaghino opened May 6, 2026Contributor·

  ·
  1

• Fix non-consuming multi-context push loop guard

  #691·stefanobaghino opened May 6, 2026Contributor·

  ·
  1

• Force class-members alt 5 via inline alt-5 re-run on composite discriminator

  #690·stefanobaghino opened May 6, 2026Contributor·

  ·
  1

• Substitute outer-side cross-line replay with inner correction when inner pushes a meta atom outer drops

  #689·stefanobaghino opened May 6, 2026Contributor·

  ·

• Add line-number and effective-depth discriminators for cross-line replay arbitration

  #688·stefanobaghino opened May 6, 2026Contributor·

  ·

• Distinguish pop:N+push:/branch:/embed: from pop:N+set: at MatchOperation IR

  #687·stefanobaghino opened May 6, 2026Contributor·

  ·

• Allow immediately-pop tail-extension from deeper inner BP correction

  #686·stefanobaghino opened Apr 29, 2026Contributor·

  ·

• Collapse rule scope atoms duplicating popped meta_scope

  #684·stefanobaghino opened Apr 29, 2026Contributor·

  ·

• Pop deeper popped meta_scope before pop:N+set: trigger token

  #683·stefanobaghino opened Apr 29, 2026Contributor·

  ·

• Bound prefer_inner_replay_corrections by depth_diff to substitute siblings only

  #682·stefanobaghino opened Apr 29, 2026Contributor·

  ·
  1

• Mirror same-line rewind+skip on cross-line BP exhaustion

  #681·stefanobaghino opened Apr 29, 2026Contributor·

  ·