Skip to content

Re-enable Joop Leo right-recursion optimization (fixes #397)#1602

Open
erezsh wants to merge 5 commits into
masterfrom
fix_joop_leo
Open

Re-enable Joop Leo right-recursion optimization (fixes #397)#1602
erezsh wants to merge 5 commits into
masterfrom
fix_joop_leo

Address PR review comments on Joop Leo re-enable

25347a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar