Issues

• Exception thrown when parsing malformed match statement

  error handling improvements
  SemGuS-git/Semgus-Parser#108 · Filter by author kjcjohnson opened on Nov 18, 2023
  

• Unhelpful error message for malformed datatype declarations

  error handling improvements
  SemGuS-git/Semgus-Parser#107 · Filter by author kjcjohnson opened on Nov 18, 2023
  

• Difference between term types and datatypes

  SemGuS-git/Semgus-Parser#103 · Filter by author sanpoyur opened on May 21, 2023
  

• Stack dump when function in SyGuS grammar doesn't exist

  error handling improvements
  SemGuS-git/Semgus-Parser#100 · Filter by author kjcjohnson opened on Mar 29, 2023

• --version doesn't report correct version

  SemGuS-git/Semgus-Parser#87 · Filter by author kjcjohnson opened on Sep 27, 2022

• Malformed declare-term-types structure doesn't provide a useful error message

  error handling improvements
  SemGuS-git/Semgus-Parser#45 · Filter by author kjcjohnson opened on Mar 25, 2022