Skip to content
Snippets Groups Projects
  1. Feb 21, 2020
  2. 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
  3. Feb 17, 2020
  4. Sep 17, 2015
  5. Sep 16, 2015
  6. Sep 05, 2015
  7. Sep 04, 2015
  8. Apr 20, 2014
  9. Apr 13, 2014
  10. Mar 24, 2014
  11. Jun 21, 2013
  12. Jun 15, 2013
  13. Jun 13, 2013
  14. Jun 07, 2013
  15. Jun 04, 2013
  16. May 25, 2013
  17. May 24, 2013
  18. May 23, 2013
  19. May 22, 2013
Loading