Skip to content
Snippets Groups Projects
Commit 9939815f authored by Jan Gruteser's avatar Jan Gruteser
Browse files

refactor AST generation of (B) built-in predicates/expressions

merge duplicate cases and more simplifications
parent 64730c30
No related branches found
No related tags found
Loading
Checking pipeline status
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment