Skip to content
Snippets Groups Projects
  1. Sep 21, 2022
  2. Aug 11, 2022
  3. Aug 09, 2022
  4. Aug 08, 2022
  5. Apr 15, 2022
  6. Oct 06, 2021
  7. Sep 09, 2021
  8. Oct 27, 2020
  9. Sep 29, 2020
  10. Sep 28, 2020
  11. Aug 11, 2020
  12. Jul 31, 2020
  13. Jul 22, 2020
  14. Apr 23, 2020
  15. Mar 12, 2020
  16. Mar 10, 2020
  17. Mar 09, 2020
  18. Feb 26, 2020
  19. Feb 23, 2020
  20. Feb 21, 2020
  21. Feb 20, 2020
    • Sven M. Hallberg's avatar
      "taint" memoized follow sets that came from intermediate results · 62f651cd
      Sven M. Hallberg authored
      tentative commit. this should solve issue 92, but isn't working, yet.
      
      the idea is to taint any memoized follow set that hit a recursive loop,
      directly or indirectly. the recursive calls (h_follow_rec) are allowed to use
      these intermediates, but propagate the taint. the top-level routine (h_follow)
      places the original taint on its result and may remove it at the end. it will
      not return memoized results that are tainted (but compute them afresh).
      62f651cd
Loading