Skip to content

Commit

Permalink
Merge pull request #700 from ucsd-progsys/semicolon
Browse files Browse the repository at this point in the history 
Use `;` for comments in SMTParse (as done in SMTLIB)
  • Loading branch information
@ranjitjhala
ranjitjhala authored Aug 6, 2024
2 parents 7fa8b7b + 530a7c1 commit ed6bda8
Show file tree
Hide file tree
Showing 4 changed files with 363 additions and 129 deletions.
Loading

0 comments on commit ed6bda8

Please sign in to comment.