1. 16 Nov, 2018 1 commit
  2. 29 Mar, 2017 1 commit
  3. 28 Mar, 2017 1 commit
  4. 24 Mar, 2017 1 commit
  5. 04 Nov, 2015 1 commit
  6. 16 Oct, 2015 1 commit
  7. 05 Oct, 2015 1 commit
  8. 20 Jul, 2015 1 commit
    • POTTIER Francois's avatar
      Removed the parameter [raw_stretch_action] of the printer, · 20e29e92
      POTTIER Francois authored
        which was always [false].
      The field [stretch_raw_content] is still required (for ocamltypes) because
      there is one place where we use it (a call to [stretch true] in printer.ml)
      and it is NOT identical to [stretch_content] (there is padding and
      parentheses). Perhaps one could find a way of removing it. For now
      I'll just be dumb and leave it alone.
      20e29e92
  9. 10 Jan, 2015 3 commits
  10. 09 Jan, 2015 1 commit
  11. 02 Jan, 2015 5 commits
  12. 01 Jan, 2015 6 commits
  13. 27 Dec, 2014 1 commit
    • POTTIER Francois's avatar
      Added the generation of the function [symbol], which has type · dd0ba5fa
      POTTIER Francois authored
      ['a lr1state -> 'a symbol] and maps a state (an abstract datum)
      to (a code for) its incoming symbol. This allows inspecting the
      semantic values stored in the stack.
      Updated the demo [calc-incremental] to display the contents of
      the stack at every token. It seems to work!
      dd0ba5fa
  14. 26 Dec, 2014 3 commits
  15. 20 Dec, 2014 1 commit
  16. 18 Dec, 2014 1 commit
  17. 16 Dec, 2014 3 commits
  18. 15 Dec, 2014 1 commit
  19. 11 Dec, 2014 3 commits
  20. 10 Dec, 2014 2 commits
  21. 09 Dec, 2014 2 commits