AdaCore/uwrap

Issues

• [RFC] change prefix syntax for fold () and filter ()

  #18 opened 4 years ago by QuentinOchem
  1

• Add support for p_base_types

  #9 opened 4 years ago by QuentinOchem
  0

• Adding style checks/warnings

  #2 opened 4 years ago by raph-amiard
  1

• Experiment with pretty printing

  #11 opened 4 years ago by QuentinOchem
  0

• Generalize tolerance for missing prefixes in selectors when matching.

  #10 opened 4 years ago by QuentinOchem
  0

• Use symbol instead of string for idendifiers

  #8 opened 4 years ago by QuentinOchem
  0

• Allocate frame and frame_context on the stack instead of the heap.

  #7 opened 4 years ago by QuentinOchem
  0

• Use custom and simpler container for stack based operations

  #6 opened 4 years ago by QuentinOchem
  0

• Document the analysis/eval pipeline

  #5 opened 4 years ago by raph-amiard
  2